Cette énigme est une des plus difficile à  résoudre

Raymond Smullyan, mathématicien passionné par la logique, a conçu de nombreuses énigmes pour familiariser le grand public aux concepts mathématiques avancés. L'une d'elles, initialement peu connue, a été popularisée par George Stephen Boolos au MIT et reste célèbre aujourd'hui : vous êtes échoué sur une planète et devez identifier trois seigneurs extraterrestres (Tee, Eff et Arr) en posant au maximum trois questions.

Le défi réside dans les contraintes imposées : les réponses ne peuvent être que « ulu » ou « ozo » (oui ou non, mais vous ne savez pas lequel signifie quoi), Tee dit toujours la vérité, Eff ment toujours, et Arr répond aléatoirement. Chaque question doit cibler un seul extraterrestre, et les trois questions ne peuvent être posées simultanément. Cette énigme est devenue populaire précisément parce qu'elle pousse les résolveurs aux limites de la logique et du raisonnement stratégique.