Masterok (Валерий) (masterok) wrote,
Masterok (Валерий)
masterok

Category:

Самая сложная логическая головоломка



Есть три бога, A, B, и C, один из которых бог истины, другой бог лжи и третий бог случая, причём неясно, кто из них кто. Бог истины всегда говорит правду, бог лжи обманывает, а бог случая может сказать и то, и другое в произвольном порядке. Необходимо определить, кем является каждый из богов, задав три вопроса, на которые можно ответить «да» или «нет», при этом каждый вопрос задаётся только одному богу. Боги понимают вопросы, но отвечают на своём языке, в котором есть слова «da» и «ja», но неизвестно, какое слово обозначает «да», а какое «нет».

Эта логическая задача за авторством американского философа и логика Джорджа Булоса была впервые опубликована в итальянской газете «la Repubblica» в 1992-м году.



Булос также разъясняет некоторые моменты задачи:

- Можно задавать одному богу более чем один вопрос (поэтому другим богам может быть не задано ни одного вопроса вообще).
- Каков будет следующий вопрос и кому он будет задан, может зависеть от ответа на предыдущий вопрос.
- Бог случая отвечает случайным образом, зависящим от подбрасываний монетки, спрятанной в его голове: если выпадет аверс, то отвечает правдиво, если реверс — то врёт.
- Бог случая отвечает «da» или «ja» на любой вопрос, на который можно ответить «да» либо «нет».
- Нельзя задавать вопросы-«парадоксы», на которые можно ответить и «da» и «ja», или никак нельзя ответить. К примеру, «Ты сейчас ответишь „da“»?

Вот собственно решение:

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

Вопрос Булоса: «Означает ли „da“ „да“, если и только если ты бог правды, а бог B — бог случая?». Другой вариант вопроса: «Является ли нечётным число истинных утверждений в следующем списке: ты — бог лжи, „ja“ означает „да“, B — бог случая?»

Решение задачи может быть упрощено, если использовать условные высказывания, противоречащие фактам (counterfactuals). Идея этого решения состоит в том, что на любой вопрос Q, требующий ответа «да» либо «нет», заданный богу правды или богу лжи:

Если я спрошу тебя Q, ты ответишь «ja»?

Ответом будет «ja», если верный ответ на вопрос Q это «да», и «da», если верный ответ «нет». Для доказательства этого можно рассмотреть восемь возможных вариантов, предложенных самим Булосом.

Предположим, что «ja» обозначает «да», а «da» обозначает «нет»:
- Мы спрашивали у бога правды, и он ответил «ja». Поскольку он говорит правду и верный ответ на вопрос Q — «ja», оно обозначает «да».
- Мы спрашивали у бога правды, и он ответил «da». Поскольку он говорит правду и верный ответ на вопрос Q — «da», оно обозначает «нет».
- Мы спрашивали у бога лжи, и он ответил «ja». Поскольку он всегда лжёт, поэтому на вопрос Q он ответит «da». То есть правильный ответ на вопрос «ja», который обозначает «да».
- Мы спрашивали у бога лжи, и он ответил «da». Поскольку он всегда лжёт, поэтому на вопрос Q он ответит «ja». То есть правильный ответ на вопрос «da», который обозначает «нет».

Предположим, что «ja» обозначает «нет», а «da» обозначает «да» , получим :
- Мы спрашивали у бога правды, и он ответил «ja». Поскольку он говорит правду и верный ответ на вопрос Q — «da», оно обозначает «да».
- Мы спрашивали у бога правды, и он ответил «da». Поскольку он говорит правду и верный ответ на вопрос Q — «ja», оно обозначает «нет».
- Мы спрашивали у бога лжи, и он ответил «ja». Поскольку он всегда лжёт, поэтому на вопрос Q он отвечает «ja». Но, так как он лжёт, верный ответ на вопрос Q — «da», что означает «да».
- Мы спрашивали у бога лжи, и он ответил «da». Поскольку он всегда лжёт, поэтому на вопрос Q он отвечает «da». Но, так как он лжёт, верный ответ на вопрос Q — «ja», что означает «нет».


Используя этот факт, можно задавать вопросы:

Спросим бога B: «Если я спрошу у тебя „Бог А — бог случая?“, ты ответишь „ja“?». Если бог B отвечает «ja», значит, либо он бог случая (и отвечает случайным образом), либо он не бог случая, а на самом деле бог A — бог случая. В любом варианте, бог C — это не бог случая. Если же B отвечает «da», то либо он бог случая (и отвечает случайным образом), либо B не бог случая, что означает, что бог А — тоже не бог случая. В любом варианте, бог A — это не бог случая.

Спросим у бога, который не является богом случая (по результатам предыдущего вопроса, либо A, либо C): «Если я спрошу у тебя: „ты - бог лжи?“, ты ответишь „ja“?». Поскольку он не бог случая, ответ «da» обозначает, что он бог правды, а ответ «ja» обозначает, что он бог лжи.

Спросим у этого же бога «Если я у тебя спрошу: „Бог B — бог случая?“, ответишь ли ты „ja“?». Если ответ «ja» — бог B является богом случая, если ответ «da», то бог, с которым ещё не говорили, является богом случая.

Оставшийся бог определяется методом исключения.





Tags: Задача, СамыйСамый
Subscribe

Posts from This Journal “Задача” Tag

  • Перепутанные таблетки

    В течение месяца человек должен принимать два вида исключительно полезных таблеток. Назовем их как-нибудь просто — (А) и (Б). Есть два крайне…

  • Задачка для дошкольников

    Помните, пару лет назад эта задачка бродила по интернету. Нужно слову в левой колонке поставить в соответствие фигуру из правой колонки и…

  • Эту задачу смогут решить всего 2% людей

    Загадка Эйнштейна — известная логическая задача, по легенде созданная Альбертом Эйнштейном в годы его детства. Также бытует мнение, что она…

promo masterok january 2, 2018 12:00 47
Buy for 300 tokens
Вот так выглядит трафик в блоге 2020 год по месяцам. Это более ТРЕХ МИЛЛИОНОВ просмотров в месяц, среди которых не только залогиненные в ЖЖ , но и любые просмотры из поисковых систем. При этом за месяц приходит около МИЛЛИОНА посетителей. Статистика Google Analytics за месяц 2020 года (…
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 10 comments