Принцесса или тигр?

Принцесса или тигр?

Авторы:

Жанр: Математика

Цикл: Математическая мозаика №21

Формат: Полный

Всего в книге 73 страницы. Год издания книги - 1985.

Книга известного американского математика и логика профессора Р. Смаллиана, продолжающая серию книг по занимательной математике, посвящена логическим парадоксам и головоломкам, логико-арифметическим задачам и проблемам разрешимости, связанным с теоремой Геделя. Рассчитана на интересующихся занимательной математикой.

Читать онлайн Принцесса или тигр?


От редактора перевода

В 30-х годах этого века психолог Дж. Струп, языковед Э. Бенвенист и логик К. Гёдель примерно в одно время выполнили три исследования, с разных сторон освещающие одно и то же явление. Друг о друге эти ученые едва ли знали. Все три работы впоследствии стали классикой для профессионалов — психологов, лингвистов и математиков соответственно, — но за пределами этих узких кругов стала известной разве что теорема Гёделя (современный немецкий поэт Ганс Магнус Энценсбергер даже посвятил ей стихотворение).

В экспериментах Струпа испытуемому предъявляли слово, написанное цветными чернилами, и просили быстро назвать цвет чернил. Оказалось, что если красными чернилами написано слово СИНИЙ, то время реакции увеличивается. Смысл слова как бы мешает названию цвета, поскольку не совпадает с ним.

Бенвенист изучал свойство некоторых речевых высказываний, которое можно назвать аутореферентностью — ссылкой на себя. Этим свойством обладают те высказывания, при описании смысла которых следует учитывать сами эти высказывания как элемент действительности. Например, в описание смысла фразы «Приказываю открыть парад» должно входить указание на то, что само произнесение этой фразы является сигналом к открытию парада. Почти все военные команды обладают аутореферентностью. Иногда это разделение смысла команды на две части — содержание команды и приказ к ее исполнению — может быть явным. В строевой команде, произносимой «Нале-во!», часть «нале-» указывает направление поворота, а «-во» является сигналом к исполнению; здесь первая часть перестает быть аутореферентной. Важно отметить, что, как и в опыте Струпа, аутореферентное высказывание может быть внутренне конфликтным. В нашем примере, если приказ отдается лицом, не имеющим на это права, то часть интерпретации «это есть приказ к исполнению» оказывается ложной.

Гёдель исследовал программу аксиоматизации математики. Существует ли, например, такая явная система постулатов о свойствах целых чисел (вроде аксиом евклидовой геометрии), из которой чисто логически можно вывести все истинные теоремы о них? (Ложные при этом не должны выводиться.) Объяснить точно содержание этой задачи не очень легко даже математику, который специально логикой не занимался. Трудность состоит в описании смысла слов «все» и «вывести» — сначала приходится построить целую теорию, формальную систему, внутри которой этими словами можно пользоваться как математическими терминами. Как бы то ни было, Гёдель показал — вопреки некоторым ожиданиям, — что ответ на поставленный вопрос отрицателен, полной системы аксиом арифметики нет. Причина же этого лежит в странных свойствах аутореферентных высказываний, тех же, что и выше. Старинный парадокс лжеца (лжет ли человек, говорящий «я лгу»?) выявляет такую же внутренне конфликтную ситуацию, как слово «синий», написанное красным цветом. Такой конфликт можно имитировать внутри любой достаточно богатой формальной системы, и в рамках этой системы он окажется неразрешимым.

В построении такой имитации и состоит главное техническое достижение Гёделя. Читатель этой книжки, сумевший продумать содержащуюся в ней версию теоремы Гёделя, вероятно, оценит остроумие разных конструкций, которые приходится изобретать. При этом стоит поразмыслить и над тем, почему в опытах Струпа и в парадоксе лжеца внутренне конфликтное аутореферентное высказывание организуется гораздо проще, чем в рассуждении Гёделя. Кажется, ответ связан с тем, что в человеческом сознании «речевая» система, воспринимающая сигнал, отделена от «образной», оценивающей его содержание. В гёделевской же ситуации их приходится реализовывать общими средствами.

Рэймонд М. Смаллиан всю свою профессиональную жизнь занимается вещами, так или иначе связанными с логикой вообще и гёделевой теоремой в частности. В своих математических работах он предложил несколько вариантов формальных систем, в которых идея Гёделя реализуется, по мнению коллег, особенно красиво. В своих же популярных книжках, как эта и предыдущая (Как же называется эта книга? — М.: Мир, 1981), он, подобно каждому писателю, пользуется неведомыми свойствами нашего мозга, чтобы заставить любого терпеливого читателя изумляться, застывать в ожидании, радостно предвкушать и вообще волноваться по поводу вещей, довольно сухих по меркам здравого смысла. Иногда профессор Смаллиан слегка перебарщивает — я не смог заставить себя решать задачки про упырей. Но в лучших головоломках книга заставляет работать речевую и образную системы восприятия так, что они смешно мешают друг другу, вроде ног сороконожки в известной истории.

Логика, оторванная от своего естественного носителя — человеческого мозга, заморожена в микросхемах современных компьютеров. В человеческой голове она живет совершенно иначе, и вечные попытки человечества понять самое себя постоянно возвращают нас к раздумьям, которым посвящена эта книжка. Модели, которые в ней предлагаются, бывают смешны то своей простотой, то эксцентричностью. Смех от души над собственной логикой целителен во многих конфликтах.

Ю. И. Минин


С этой книгой читают
Математические головоломки и развлечения

Книга известного американского популяризатора науки М. Гарднера содержит множество занимательных задач и головоломок из самых различных областей математики. Благодаря удачному подбору материла, необычной форме его подачи и тонкому юмору автора она не только доставит удовольствие любителям математики, желающим с пользой провести свой досуг, но и может быть полезной преподавателям математики школ и колледжей в их работе.


Флатландия. Сферландия

Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.


Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике.


Истина и красота: Всемирная история симметрии
Автор: Йэн Стюарт

На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.


Жар холодных числ и пафос бесстрастной логики

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.


Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.


Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.


Урожаи и посевы

Первый перевод с французского книги «Recoltes et Semailles» выдающегося математика современности Александра Гротендика. Автор пытается проанализировать природу математического открытия, отношения учителя и учеников, роль математики в жизни и обществе. Текст книги является философски глубоким и нетривиальным и носит характер воспоминаний и размышлений. Книга будет интересна широкому кругу читателей — математикам, физикам, философам и всем интересующимся историческими, методическими и нравственными вопросами, связанными с процессом математического открытия и возникновения новых теорий.


Голос любви

Ричард Довейл, владелец алмазной корпорации, встретив Шалис Фокс, диджея молодежной радиостанции, по обыкновению решил, что и эта девица проявляет к нему интерес лишь из-за его денег. Но все оказалось гораздо сложнее…


Всё позволено
Автор: Джеки Браун

У Каролин не складываются отношения с мужем. Она даже решила уйти от него, но тот пригрозил, что отнимет у нее их общего ребенка. Ситуация почти безнадежная, и что делать, Каролин не знает. К тому же она попадает в дорожное происшествие, из которого ее выручает угрюмый незнакомец…


Монстр живет внутри

Не все сказки добрые, и не все они заканчиваются хорошо. Сказки очень похожи на реальную жизнь, в которой не все всегда гладко. Это история о Генрихе, парне которого собирались казнить. Стоя на эшафоте рядом с палачом у него есть последний шанс рассказать окружающей толпе зевак свою жуткую, но правдивую историю. Историю любви, которой больше нет.


Недостойные ЖИТЬ

Заблудившись, Андрей и Юля оказываются в необычном городе. Вместо людей его населяют свиньи. Большие хрюшки находятся повсюду, и в церкви, и на главной площади. Они ведут себя так своенравно, что начинается казаться, будто это место посетил черный маг, который и превратил всех его жителей в жирных, неотесанных свиней. Это кажется абсурдом, но правда еще абсурднее. Ее знают двое детей, которых и встречает молодая пара с наступлением ночи. Эти дети молят, чтобы их забрали и увезли, как можно дальше, в большой город, где много людей.


Другие книги автора
Алиса в Стране Смекалки

Рэймонд Смаллиан счастливо сочетает в одном лице философа, логика, математика, музыканта, фокусника, юмориста, писателя и составителя великолепных задач-головоломок. Искусный писатель и великолепный юморист, Смаллиан любит облекать свои задачи в литературную форму, нередко пародирующую какие-нибудь известные произведения. Делает он это настолько хорошо, что его книги, изобилующие всякого рода парадоксами, курьезами и задачами, с удовольствием читают и те, кто даже не пытается решать задачи.В книге, которую вы держите сейчас в руках, кэрролловская Алиса из Страны Чудес и ее друзья раскрывают перед читателем нескончаемую вереницу задач-головоломок.


Как же называется эта книга?

Книга американского профессора Р. Смаллиана, написанная в увлекательной форме, продолжает серию книг по занимательной математике и представляет собой популярное введение в некоторые проблемы математической логики. Сюда входят более 200 новых головоломок, созданных необычайно изобретательным автором. Задачи перемежаются математическими шутками, анекдотами из повседневной жизни и неожиданными парадоксами. Завершает книгу замечательная серия беллетризованных задач, которые вводят читателя в самую суть теоремы Курта Гёделя о неполноте, — одного из замечательнейших результатов математической логики 20 века. Можно сказать — вероятно, самый увлекательный сборник задач по логике.


Приключения Алисы в Стране Головоломок

Логические головоломки, парадоксы и курьезы, вошедшие в этот сборник, построены на материале знаменитой «Алисы в Стране Чудес» Л. Кэрролла. Известный американский математик и логик P.M. Смаллиан приглашает читателей последовать за Алисой в Страну Головоломок и вместе с ней решить множество увлекательных задач.