v Добавить материал
v Справочник по математике
v Головоломки со спичками
v Вопросы посетителям

Главная

ЕГЭ 2015

ЧАТ

ПРИМЕРЫ

RSS
МАТЕРИАЛЫ

ОГЭ 2015

ТЕСТЫ

Связь



Привет, Гость

Ваша группа: Гости
Вход на сайт | Регистрация
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Занимательная
математика
Высшая
математика
Школьная
математика
История
математики
Математика
для малышей
Реклама
Здесь может быть Ваша реклама, подробнее...

Разное

Парадокс узника

«Появился великолепный новый парадокс», — так начиналась мало понятная для непосвященного статья Майкла Скривена в июльском номере британского философского журнала Мind за 1951 год. Скривен занимал кафедру философии науки в Университете штата Индиана, и в подобных вопросах с его мнением нельзя было не считаться. Парадокс действительно оказался великолепным. Достаточное тому подтверждение — более двадцати статей о нем в различных научных журналах. Авторы, среди которых были известные философы, сильно разошлись во мнениях относительно того, что следует считать решением парадокса. За многие годы ни к какому соглашению прийти не удалось, так что парадокс и поныне является предметом горячих споров.

 Неизвестно, кому первому пришла в голову идея парадокса. Согласно У. В. Куайну, логику из Гарвардского университета, автору одной из упоминавшихся выше статей, впервые об этом парадоксе заговорили в начале сороковых годов нашего века, нередко формулируя его в виде головоломки о человеке, приговоренном к смертной казни через повешение.

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

— Неужели не понятно? — воскликнул он. — Ведь приговор судьи нельзя привести в исполнение!
— Как? Ничего не понимаю, — пробормотал узник.
— Сейчас объясню. Очевидно, что в следующую субботу тебя не могут повесить: суббота — последний день недели, и в пятницу днем ты бы уже знал наверняка, что тебя повесят в субботу. Таким образом, о дне казни тебе бы стало известно до официального уведомления в субботу утром, следовательно, приказ судьи был бы нарушен.
— Верно, — согласился заключенный.
Казнь врасплох

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

Короче говоря, приговор внутренне противоречив. С одной стороны, в двух утверждениях, из которых он состоит, нет ничего логически противоречивого, а с другой — привести его в исполнение, оказывается, невозможно. Именно так представлял себе парадокс Д. Дж. 0'Коннор, философ из Эксетерского университета, первым опубликовавший статью об этом парадоксе (Mind, July 1948). В формулировке 0'Коннора фигурировал офицер, объявляющий своим подчиненным о том, что на следующей неделе должна состояться тревога, о которой никто не должен знать заранее вплоть до 18.00 того дня, на который она назначена.

«Как легко видеть, — писал 0'Коннор, — из самого определения следует, что никакой тревоги вообще быть не может». 0'Коннор, по-видимому, имел в виду, что объявить тревогу, не нарушив при этом вышеприведенного условия, невозможно. Аналогичного мнения придерживаются и авторы более поздних статей.

Если бы парадокс этим исчерпывался, то можно было бы присоединиться к мнению 0'Коннора, которому вся проблема показалась «сущим пустяком». Однако Скривен первым заметил нечто, ускользнувшее от внимания остальных авторов и делающее проблему далеко не такой простой. Чтобы уяснить суть замечания Скривена, вернемся к истории с человеком, брошенным в тюрьму. Безупречными логическими рассуждениями его, казалось бы, убедили в том, что, не нарушив приговора, казнь совершить невозможно. И вдруг, к немалому удивлению осужденного, в четверг утром в камеру является палач. Осужденный, конечно, этого не ждал, но самое удивительное, что приговор оказался совершенно точным — его можно привести в исполнение в полном соответствии с формулировкой. «Мне кажется, — пишет Скривен,—что именно грубое вторжение внешнего мира, разрушающее тонкие логические построения, придает парадоксу особую пикантность. Логик с трогательным постоянством произносит заклинания, которые в прошлом приводили к нужному результату, но чудовище — реальность — на этот раз отказывается повиноваться и продолжает следовать своим путем».

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

Рассмотрим первый вариант парадокса, предложенный Скривеном,—парадокс с яйцом-сюрпризом.

Представьте себе, что перед вами стоят десять коробок, перенумерованных числами от 1 до 10. Вы отворачиваетесь, а ваш приятель кладет в одну из коробок яйцо и просит вас повернуться обратно. «Открывай все коробки по очереди, — говорит он, — сначала первую, потом вторую и так по порядку до десятой. Гарантирую, что в одной из них лежит яйцо-сюрприз. Назвав яйцо сюрпризом, я имею в виду, что ты не сможешь узнать номер коробки с яйцом до тех пор, пока не откроешь эту коробку и сам не увидишь яйца».

Предположим, что ваш приятель всегда говорит только правду. Выполнимо ли тогда его предсказание? Очевидно, нет. Он наверняка не положит яйцо в коробку 10, потому что, открыв первые девять коробок и ничего в них не обнаружив, вы сможете с уверенностью утверждать, что яйцо лежит в единственной оставшейся коробке. Это противоречило бы предсказанию вашего приятеля, поэтому десятая коробка исключается. Рассмотрим теперь, что получилось бы, если бы ваш приятель по несообразительности спрятал яйцо в девятую коробку. Первые восемь коробок тогда окажутся пустыми, и перед вами останутся две закрытые коробки: девятая и десятая. В десятой коробке яйца быть не может, следовательно, оно лежит в коробке 9. Вы открываете девятую коробку, и яйцо, конечно, оказывается там. Однако ясно, что яйцо нельзя считать сюрпризом. Таким образом, мы опять доказали, что ваш приятель неправ. Коробка 9 тоже исключается. Но именно в этот самый момент вы и «отрываетесь от реальности»: с помощью аналогичных рассуждений можно исключить сначала восьмую коробку, затем седьмую и так далее, вплоть до первой! Наконец, будучи абсолютно уверенным в том, что все десять коробок пустые, вы начинаете их по очереди открывать и... Что это белеет в коробке 5? Яйцо-сюрприз! Итак, вопреки всем вашим рассуждениям предсказание вашего друга оправдалось. Значит, ошиблись вы, но в чем?

Чтобы придать парадоксу еще более «парадоксальную» форму, рассмотрим третий вариант его формулировки, который можно назвать парадоксом с непредсказуемой картой. Представьте себе, что за столиком напротив вас сидит ваш приятель и держит в руках тринадцать карт масти пик. Перетасовав эти карты и расправив их в руке веером, картинками к себе, он выкладывает на стол одну закрытую карту. Вы должны медленно перечислить по порядку все тринадцать карт, начиная с туза (Туз соответствует 1, валет — 11, дама — 12 и король - 13 очкам) и кончая королем. Когда вы назовете лежащую на столе карту, ваш приятель должен сказать «да», во всех остальных случаях он говорит «нет».
— Ставлю тысячу долларов против десяти центов, — говорит он, — что ты не сможешь определить эту карту до тех пор, пока я не скажу «да». Предположим, что ваш приятель сделает все от него зависящее, чтобы не лишиться денег. Может ли он при этом условии положить на стол короля пик? Очевидно, что нет. После того как вы перечислите первые двенадцать карт, останется только король, и вы с полной уверенностью его назовете. Может быть, перевернутая карта—дама? Нет, потому что после того, как будет назван валет, останутся лишь две карты: король и дама. Поскольку короля вы уже исключили, неизвестная карта может быть только дамой. Казалось бы, все правильно, и вы опять выигрываете 1000 долларов. Аналогично исключаются и все остальные возможности. Выходит, что независимо от карты вы ее знаете наперед. Приведенная выше цепочка умозаключений кажется неуязвимой. С другой стороны, очевидно, что, глядя на оборотную сторону перевернутой карты, вы не имеете ни малейшего представления о том, что это за карта!

Даже в упрощенном варианте этого парадокса (с двумя днями, с двумя коробками или всего с двумя картами) трудно отделаться от ощущения какой-то весьма своеобразной неясности. Пусть у вашего приятеля есть только туз и двойка. Если он положит на стол двойку, то вы действительно выигрываете. Назвав туза, вы его тем самым исключили и с полной уверенностью можете заявить: «Я пришел к выводу, что на столе лежит двойка». Делая такое заключение, вы исходите из предположения, что справедливо следующее утверждение: «Лежащая передо мной карта должна быть либо тузом пик, либо двойкой пик». (В трех соответствующих вариантах парадокса предполагается, что осужденный будет повешен, карты будут только такими, какие назвал ваш приятель, и что в одной из коробок непременно лежит яйцо.) Вы ни в чем не погрешили против логики и вправе надеяться, что вам удастся выиграть у вашего приятеля 1000 долларов.

Предположим, однако, что ваш приятель положил на стол туза пик. Можете ли вы сразу сообразить, что выложенная им карта — именно туз? Безусловно, ваш приятель не стал бы рисковать 1000 долларов, положив двойку. Поэтому неизвестная карта должна быть тузом. Вы произносите эти слова вслух и слышите в ответ «да». Есть ли у вас основания считать, что вы выиграли пари?

Как ни странно, но таких оснований у вас нет. Пытаясь разобраться в причинах столь странного утверждения, мы подходим к самой сути нашего парадокса. Ваше предыдущее заключение основывалось на том, что карта может быть либо тузом, либо двойкой, поэтому если неизвестная карта не является тузом, то она обязательно должна быть двойкой. Однако здесь вы использовали еще одно дополнительное предположение: вы считаете, что ваш приятель говорит правду или, попросту говоря, делает все от него зависящее, чтобы не потерять 1000 долларов. Но если вы путем логических рассуждений установите, что на столе лежит именно туз, то спасти свои 1000 долларов ваш приятель не сможет, даже если он выложит не двойку, а туза. Поскольку ваш приятель в любом случае лишается своих денег, у него нет оснований предпочитать одну карту другой. Стоит это понять, как ваша уверенность в том, что на столе лежит туз, сразу становится весьма шаткой. Правда, вы поступаете вполне разумно, держа пари, что неизвестная карта — туз, потому что она на самом деле может оказаться тузом. Но ведь для выигрыша требуется гораздо больше: вы должны доказать, что пришли к своему выводу с помощью «железной» логики, а это невозможно. Таким образом, в ваших рассуждениях содержится порочный круг. Сначала вы предполагаете, что ваш приятель предсказал событие правильно, и, опираясь на свое предположение, делаете вывод, согласно которому неизвестная карта должна быть тузом. Но если на столе лежит туз, то ваш приятель ошибся в своем предсказании и, следовательно, вам не на что опереться при отгадывании перевернутой карты. Но и это еще не все. Раз вы не можете определить карту, то предсказание вашего друга верно. Следовательно, вы вернулись в исходную точку, и весь круг начинается сначала.

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

Вся необоснованность ваших умозаключений становится особенно наглядной на примере с десятью коробками. Сначала вы «делаете вывод», что яйцо лежит в коробке 1, но эта коробка оказывается пустой. Отсюда вы заключаете, что яйцо положено в коробку 2, но и в ней не находите ничего. Это наталкивает вас на мысль, что яйцо лежит в коробке 3, и т. д. (Все происходит так, словно за секунду до того, как вы заглянете в коробку, где, по вашему мнению, должно лежать яйцо, кто-то совершенно непонятным образом перекладывает его в коробку с большим номером.) Наконец вы находите долгожданное яйцо в коробке 8. Можно ли теперь назвать это событий заранее предвиденным, а все ваши рассуждения считать безупречными с точки зрения логики? Безусловно, нет, потому что вы восемь раз воспользовались одним и тем же методом и в семи случаях получили неверный результат. Легко понять, что яйцо может быть в любой коробке, в том числе и в самой последней.

Даже после того как вы открыли 9 пустых коробок, вопрос о том, можно ли логическим путем прийти к заключению о местонахождении яйца (находится ли оно в коробке 10 или нет), остается открытым. Приняв лишь одно предположение («Одна из коробок непременно содержит яйцо»), вы, разумеется, будете вправе утверждать, не вступая в противоречие с законами логики, что яйцо находится в коробке 10. В этом случае обнаружение яйца в коробке 10 — событие, предсказуемое заранее, а утверждение о том, что будто его нельзя предсказать, ложно.

Приняв еще одно предположение (что ваш приятель говорит правду, когда утверждает, что «координаты» яйца, то есть номер коробки с яйцом, нельзя предсказать заранее), вы лишите себя возможности делать какие-либо логические выводы, ибо, согласно первому предположению, яйцо должно находиться в коробке 10 (и вы можете утверждать это заранее), а согласно второму — вы должны обнаружить яйцо внезапно для себя. Поскольку прийти к какому-либо заключению нельзя, обнаружение яйца в коробке 10 следует считать непредсказуемым заранее событием, а оба предположения — правильными, но их «реабилитация» наступит не раньше, чем вы откроете последнюю коробку и обнаружите в ней яйцо.

Проследим еще раз решение парадокса, придав ему на этот раз форму парадокса о человеке, приговоренном к повешению. Теперь мы знаем, что судья сформулировал приговор правильно, а узник рассуждал неверно. Ошибочным являлся самый первый шаг в его рассуждении, когда он полагал, будто его не могут повесить в последний день недели. На самом же деле у осужденного нет оснований делать какие бы то ни было заключения о своей судьбе даже в вечер накануне казни (ситуация здесь та же, что и в парадоксе с яйцом, когда остается закрытой одна последняя коробка). Эта мысль играет решающую роль в работе известного логика Куайна, написанной им в 1953 году.

Куайн сообщает, как бы он рассуждал на месте узника. Следует различать четыре случая: первый — меня повесят завтра днем, и я знаю об этом уже сейчас (но на самом деле я этого не знаю); второй — меня не повесят завтра днем, и я знаю об этом уже сейчас (но на самом деле я этого не знаю); третий — меня не повесят завтра днем, но сейчас я об этом не знаю и, наконец, четвертый — меня повесят завтра днем, но сейчас я об этом не знаю.

Два последних случая являются возможными, последний из них означал бы приведение приговора в исполнение. В такой ситуации незачем загадывать вперед и ловить судью на противоречиях. Остаётся лишь ждать, надеясь на лучшее.

Шотландский математик Томас Г. 0'Бейрн в статье с несколько парадоксальным названием «Может ли неожиданное никогда не произойти?» (The New Scientist, May 25, 1961) дает великолепный анализ обсуждаемого парадокса.

Как показывает 0'Бейрн, ключ к решению парадокса лежит в осознании одного довольно простого обстоятельства: один человек располагает сведениями, которые позволяют ему считать правильным предсказание какого-то события в будущем, другой ничего не может сказать о правильности предсказания до тех пор, пока это событие не произойдет. Нетрудно привести простые примеры, подтверждающие мысль 0'Бейрна. Пусть кто-нибудь, протягивая вам коробку, говорит: «Откройте ее — внутри яйцо». Он-то знает, что его предсказание верно, вы же не знаете этого до тех пор, пока не откроете коробки.

То же самое можно сказать о нашем парадоксе. И судья, и человек, кладущий яйцо в одну из коробок, и наш приятель с тринадцатью картами — каждый из них знает, что его предсказание должно исполниться. Однако их слова с предсказанием не могут служить основанием для цепочки рассуждений, приводящей в конечном счете к опровержению самого предсказания. Именно здесь кроется то бесконечное блуждание по кругу, которое, подобно фразе на лицевой стороне карточки из парадокса Журдена, обрекает на неудачу все попытки доказать ошибочность предсказания.

Суть нашего парадокса станет особенно ясной, если воспользоваться одной идеей, высказанной в статье Скривена. Предположим, что муж говорит своей жене: «Я сделаю тебе ко дню рождения сюрприз. Ты ни за что не догадаешься, какой подарок тебя ожидает. Это тот самый золотой браслет, который ты видела на прошлой неделе в витрине ювелирного магазина».

Что же теперь делать его несчастной жене? С одной стороны, она знает, что муж никогда не лжет и всегда выполняет свои обещания. Однако если он все же подарит ей золотой браслет, то это уже не будет сюрпризом и тогда обещание окажется невыполненным, то есть муж сказал ей неправду. А. если это так, то к каким выводам может она прийти, рассуждая логически? Не исключено, что муж сдержит слово и подарит ей браслет, нарушив обещание удивить ее неожиданным подарком. С другой стороны, он может сдержать свое слово, что подарок будет неожиданным, но нарушить второе обещание и вместо золотого браслета подарит ей, например, новый пылесос. Поскольку муж своим утверждением сам себе противоречит, у нее нет никаких разумных оснований предпочесть одну из этих возможностей другой, следовательно, у нее нет оснований надеяться на золотой браслет. Нетрудно догадаться, что будет дальше: когда в день рождения муж преподнесет ей браслет, подарок мужа окажется для нее приятным сюрпризом, поскольку его нельзя предсказать заранее никакими логическими рассуждениями. Муж все время знал, что может сдержать слово и сдержит его.

Жена же этого не знала до тех пор, пока обещанное событие не произошло. Утверждение мужа, которое еще вчера казалось ей чепухой и ввергло ее в запутаннейший клубок логических противоречий, сегодня вдруг стало абсолютно правильным и непротиворечивым благодаря появлению долгожданного золотого браслета. На примере рассмотренных парадоксов мы ясно ощутили волшебную силу слова (или, точнее, если воспользоваться выражением Бурбаки, силу «вольности речи»). Она-то и делает парадоксы столь сложными и вместе с тем столь привлекательными.
Мартин Гарднер


Просмотров: 19205 | Добавил: Antil (20.09.2010) | Коментариев: 4

Похожий материал

0  
1 Ray   (20.09.2010 12:43) [Материал]
вот почитал... первый вариант парадокса (с повешенным) действительно в тупик меня поставил, а когда прочитал второй вариант (с яйцом), то все сразу встало на свои места. Все просто: после предположения, что яйцо нельзя положить в коробку номер 10 следует высказывание, что точно так же можно отбросить коробку номер 9. А вот тут-то и кроется ошибка - при рассмотрении коробки 9, что лежит в коробке номер 10 нам не известно, поэтому коробки 1-9 отбросить нельзя... Да и десятую коробку можно отбрасывать только при условии, что остальные коробки уже открыты. А все дальнейшее описание в статье - только путает мысли.

0  
2 DIR   (20.09.2010 12:44) [Материал]
Многа букав.

0  
3 DIR   (20.09.2010 12:44) [Материал]
Лучше так:
"Муж говорит жене: на день рождения тебя ждёт подарок - совершеннейший сюрприз! Это то золотое колье, о котором ты мечтала". Размышления жены: если подарит колье - значит не сюрприз, если не подарит, значит соврал во второй части. Однако он подарил ей колье и это был сюрприз.

wink


0  
4 SAVA   (06.11.2011 10:40) [Материал]
Ну, а если бы жена и вовсе не задумалась над словами мужа, а приняла бы их за данное, то получается что муж соврал ...

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Главная | Заработать | Авторские права | Наши партнеры | Обратная связь
Яндекс цитирования Яндекс.Метрика
http://free-math.ru (с) 2010-2024 гг. Дизайн от MirPS. Хостинг от uCoz.
Свободная Mатематика - сайт о математике, математиках и для математиков.
Олимпиады по математике, справочники по математике, занимательная математика, школьная математика, высшая математика, история математики, математика для малышей, математический форум для учащихся и преподавателей.