-можно задавать одному богу более чем один вопрос (поэтому другим богам может быть не задано ни одного вопроса вообще).
-каков будет следующий вопрос и кому он будет задан, может зависеть от ответа на предыдущий вопрос.
-бог случая отвечает случайным образом, зависящим от подбрасываний монетки, спрятанной в его голове: если выпадет аверс, то отвечает правдиво, если реверс — то врёт.
-бог случая отвечает «da» или «ja» на любой вопрос, на который можно ответить «да» либо «нет».
-нельзя задавать вопросы - "парадоксы", на которые можно ответить и "da" и "ja", или никак нельзя ответить. к примеру, "ты сейчас ответишь "da"?
Поделитесь своими знаниями, ответьте на вопрос:
другой вариант вопроса: «является ли нечётным число истинных утверждений в следующем списке: ты — бог лжи, „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», то бог, с которым ещё не говорили, является богом случая.
оставшийся бог определяется методом исключения.