Принцесса или тигр? - [13]
Случай 1. Билл доверяет самому себе.
Тогда у Билла имеется по крайней мере один наставник, назовем его Питер, который должен быть пациентом. Поскольку Питер является наставником Билла, то Питер уверен, что Билл доверяет самому себе (согласно условию 3). Но Билл действительно доверяет самому себе, и потому убеждение Питера истинно, а значит, он нормальный человек. Стало быть, Питер — находящийся в здравом уме пациент, и ему никак не место в данной лечебнице.
Случай 2. Билл не доверяет самому себе.
В этой ситуации ни один из наставников Билла не является пациентом. Однако у Билла, как и у любого другого обитателя лечебницы, имеется по крайней мере один наставник, назовем его Ричардом; при этом ясно, что Ричард должен быть врачом. Кроме того, поскольку Ричард является наставником Билла, то, значит, Ричард полагает, что Билл доверяет самому себе. Однако его уверенность в этом оказывается ложной, и, следовательно, Ричард находится не в своем уме. Итак, Ричард является лишившимся рассудка врачом и никак не должен пребывать в штате этой лечебницы.
Подведем итоги: если Билл доверяет самому себе, то тогда по крайней мере один из пациентов данной лечебницы оказывается нормальным человеком. Если же Билл не доверяет самому себе, тогда по крайней мере один из врачей должен оказаться не в своем уме. Но так как нам не известно, доверяет ли Билл самому себе или нет, то мы не можем сказать точно, что же неладно в этой больнице — то ли туда помещен находящийся в здравом уме пациент, то ли там работает лишившийся рассудка врач.
9. Прежде всего покажем, что обитатели С и В обязательно должны быть одинаковы с точки зрения их психического состояния. Допустим сначала, что А и В являются нормальными людьми. Тогда по условию психическое состояние пары В и С (точно так же, как и пары А и D) должно быть одинаковым. Это означает, что все четверо будут находиться в здравом уме. Следовательно, в этом случае С и D будут оба нормальными людьми. Предположим теперь, что оба обитателя А и В безумны. Тогда психическое состояние пар В и С. а также А и D будет различным. Таким образом, С и D снова оказываются нормальными людьми и тем самым их психическое состояние опять будет одинаковым. Далее допустим, что А — нормальный человек, а В лишился рассудка.
Тогда, поскольку психика пары В и С одинакова, то С обязательно должен оказаться безумным, а так как психическое состояние пары А и D различно, то это означает, что D также будет безумным. Наконец. предположим, что А безумен, а В — нормальный человек. Поскольку пара В и С по условию различается по своему психическому состоянию, а пара А и D не различается, то отсюда следует, что и С, и D непременно должны быть безумными.
Резюмируя, можно сказать, что если у пары А и В состояние психики оказывается идентичным, то С и D будут нормальными людьми, если же психическое состояние А и В будет неодинаковым, то С и D обязательно должны оказаться не в своем уме.
Таким образом, мы установили, что С и D должны быть одновременно либо нормальными людьми, либо лишившимися рассудка. Предположим, к примеру, что оба они находятся в здравом уме. Тогда утверждение С, что он и D не являются оба врачами, будет истинным, откуда следует, что по крайней мере один из них является пациентом, и к тому же пациентом, находящимся в здравом уме. Если же С и D безумны, то заявление С оказывается ложным и, значит, оба они должны быть врачами, причем врачами, лишенными рассудка.
Итак, в обследованной Крейгом лечебнице содержится по крайней мере один находящийся в здравом уме пациент или работают двое лишившихся рассудка врачей.
10, 11, 12. Поначалу мы обратимся к задачам 11 и 12, поскольку самый легкий путь к решению задачи 10 состоит в том, чтобы сначала рассмотреть решение задачи 12.
Прежде чем приступить к их решению, позвольте мне сформулировать полезное правило. Пусть мы имеем два конкретных утверждения, например X и V, про которые нам известно, что они либо оба истинны, либо оба ложны. Тогда любой обитатель лечебницы, верящий в одно из этих утверждений, должен поверить также и другому. Основание: если оба утверждения истинны, то любой обитатель, который поверит одному из них, должен находиться в здравом уме, а значит, сразу должен поверить и другому утверждению, так как оно также является истинным. Если же оба утверждения ложны, тогда обитатель лечебницы, который примет за истину одно из них, непременно должен оказаться безумным, а значит, обязательно должен поверить и другому утверждению, поскольку оно тоже будет ложным.
Обратимся теперь к решению задачи 12. Рассмотрим два произвольных комитета — комитет 1 и комитет 2. Обозначим через U множество всех тех обитателей лечебницы, чьи злейшие враги объединены в комитет 1, а через V — множество всех тех обитателей, чьи лучшие друзья принадлежат комитету 2. Согласно утверждению 4, множества U и V представляют собой комитеты. Тогда в соответствии с утверждением 5 некий обитатель, назовем его Дэн, близкий друг которого, назовем его Эдвард, полагает, что Дэн входит в группу U, а злейший враг которого, назовем его Фрэд, считает, что Дэн состоит в V. Итак, Эдвард считает, что Дэн принадлежит комитету U, а Фрэд уверен, что Дэн входит в комитет V. Наконец, по определению множества U утверждение о том, что Дэн входит в U, равносильно утверждению о том, что его злейший враг Фрэд состоит в комитете 1. Другими словами, утверждения «Дэн входит в U» и «Фрэд состоит в комитете 1» либо оба истинны, либо оба ложны. Поскольку Эдвард принимает за истину одно из них, а именно, что Дэн входит в U, то он должен также принять на веру и другое, а именно что Фрэд состоит в комитете I (вспомним тут наше вспомогательное правило). Итак, Эдвард считает, что Фрэд состоит в комитете 1.
Книга американского профессора Р. Смаллиана, написанная в увлекательной форме, продолжает серию книг по занимательной математике и представляет собой популярное введение в некоторые проблемы математической логики. Сюда входят более 200 новых головоломок, созданных необычайно изобретательным автором. Задачи перемежаются математическими шутками, анекдотами из повседневной жизни и неожиданными парадоксами. Завершает книгу замечательная серия беллетризованных задач, которые вводят читателя в самую суть теоремы Курта Гёделя о неполноте, — одного из замечательнейших результатов математической логики 20 века. Можно сказать — вероятно, самый увлекательный сборник задач по логике.
Рэймонд Смаллиан счастливо сочетает в одном лице философа, логика, математика, музыканта, фокусника, юмориста, писателя и составителя великолепных задач-головоломок. Искусный писатель и великолепный юморист, Смаллиан любит облекать свои задачи в литературную форму, нередко пародирующую какие-нибудь известные произведения. Делает он это настолько хорошо, что его книги, изобилующие всякого рода парадоксами, курьезами и задачами, с удовольствием читают и те, кто даже не пытается решать задачи.В книге, которую вы держите сейчас в руках, кэрролловская Алиса из Страны Чудес и ее друзья раскрывают перед читателем нескончаемую вереницу задач-головоломок.
Логические головоломки, парадоксы и курьезы, вошедшие в этот сборник, построены на материале знаменитой «Алисы в Стране Чудес» Л. Кэрролла. Известный американский математик и логик P.M. Смаллиан приглашает читателей последовать за Алисой в Страну Головоломок и вместе с ней решить множество увлекательных задач.
В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.
Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике.
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.
Книга известного американского популяризатора науки М. Гарднера содержит множество занимательных задач и головоломок из самых различных областей математики. Благодаря удачному подбору материла, необычной форме его подачи и тонкому юмору автора она не только доставит удовольствие любителям математики, желающим с пользой провести свой досуг, но и может быть полезной преподавателям математики школ и колледжей в их работе.