Можно ли с помощью компа решить эту самую сложную задачу?

«Самая сложная логическая головоломка» [1] (итал. L'indovinello più difficile del mondo) — название логической задачи, предложенной американским философом и логиком Джорджем Булосом в итальянской газете «la Repubblica» в 1992 году:

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

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

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

Нельзя задавать вопросы-«парадоксы», на которые можно ответить и «da» и «ja», или никак нельзя ответить. К примеру, «Ты сейчас ответишь „da“»?