«El acertijo lógico más difícil del mundo» es un título que acuñó George Boolos en "La República" (1992) bajo el título «L'indovinello più difficile del mondo» para el siguiente acertijo lógico inspirado en Raymond Smullyan: