1384 : 4 - так как первая из четырёх цифр меньше 4, то в частном не более 3 цифр
1384 | 4
12 | 346
18
16
24
24
0
48006 : 6 - так как первая из пяти цифр меньше 6, то в частном не более 4 цифр
48006 | 6
48 | 8001
006
6
0
9306 : 9 - так как первая из четырёх цифр равна 9, то в частном не более 4 цифр
9306 | 9
9 | 1034
30
27
36
36
0
50250 : 5 - так как первая из пяти цифр равна 5, то в частном не более 5 цифр
50250 | 5
5 | 10050
025
25
0
ja-да,da-нет
что первым вопросом мы должны найти бога, который не является богом случая, то есть является либо богом правды, либо богом лжи. Есть множество вопросов, которые могут быть заданы для достижения этой цели. Одна из стратегий — использование сложных логических связей в самом вопросе.
Вопрос Булоса: «Означает ли „da“ „да“, только если ты бог правды, а бог B — бог случая?». Другой вариант вопроса: «Правдивы ли нечётные утверждения в следующем списке: ты — бог лжи, „ja“ обозначает „да“, B — бог случая?»
Решение задачи может быть упрощено, если использовать условные высказывания, противоречащие фактам. Идея этого решения состоит в том, что на любой вопрос Q, требующий ответа «да» либо «нет», заданный богу правды или богу лжи:
• Если я с тебя Q, ты ответишь «ja»?
результат будет «ja», если верный ответ на вопрос Q это «да» и «da», если верный ответ «нет». Для доказательства этогоможно рассмотреть восемь возможных вариантов:Используя этот факт можно задавать вопросы:
• Спросим бога B: «Если я с у тебя „Бог А — бог случая?“, ты ответишь „ja“?». Если бог B отвечает «ja», значит, либо он бог случая (и отвечает случайным образом), либо он не бог случая, а на самом деле бог A — бог случая. В любом варианте, бог C — это не бог случая. Если же B отвечает «da», то либо он бог случая (и отвечает случайным образом), либо B не бог случая, что означает, что бог А — тоже не бог случая. В любом варианте, бог A — это не бог случая.
• Спросим у бога, который не является богом случая (по результатам предыдущего вопроса, либо A, либо C): «Если я с у тебя: „ты бог правды?“, ты ответишь „ja“?». Поскольку он не бог случая, ответ «ja» обозначает, что он бог правды, а ответ «da» обозначает, что он бог лжи.
• Спросим у этого же бога «Если я у тебя с Бог B — бог случая?“, ответишь ли ты „ja“?». Если ответ «ja» — бог B является богом случая, если ответ «da», то бог, с которым ещё не говорили, является богом случая.
Оставшийся бог определяется методом исключения.
