«El acertijo lógico más difícil del mundo» es un título que acuñó George Boolos en La Repubblica (1992) bajo el título «L'indovinello più difficile del mondo» para el siguiente acertijo lógico inspirado en Raymond Smullyan:
Tres dioses A, B, y C son llamados, en algún orden, Verdad, Falso, y Aleatorio. Verdad siempre habla expresando la verdad, Falso siempre habla expresando algo falso, pero la respuesta de Aleatorio es completamente aleatoria pudiendo ser verdadera o falsa. Su tarea es determinar las identidades de A, B, y C preguntando tres preguntas cuya respuesta es sí o no; cada pregunta...