L'indovinello pi difficile del mondo
L'indovinello più difficile del mondo è la traduzione apparsa su La Repubblica nel 1992 del seguente indovinello di logica proposto da George Boolos col titolo "The Hardest Logic Puzzle Ever" e ispirato da Raymond Smullyan:
Tre oracoli divini A, B, e C sono chiamati, in un qualche ordine, Verace, Mendace e Imprevedibile.
Verace dice sempre il vero, Mendace dice sempre il falso, mentre Imprevedibile decide se essere sincero o meno in modo completamente casuale.
L'obiettivo del gioco è determinare le identità di A, B, e C ponendo loro tre domande a cui è possibile rispondere con un "sì" o con un "no".
Ogni domanda deve essere posta ad uno solo degli oracoli, che, pur comprendendo l'italiano, risponderà sempre nella propria lingua con le parole "da" o "ja". Non si sa quale di questi termini corrisponda a "sì" e quale a "no".
