Američki filozof i logičar Džordž Bulos predstavio je najtežu logičku zagonetku na svetu 1996. godine u članku "The Harvard Review od Philosophy". Skoro niko nije mogao da odgovori tačno iz prvog puta, a i najvećim naučnicima je pronalazak rešenja zadavao velike glavobolje.
Bulos je istakao da postoji nekoliko načina da se reči ovaj logički problem.
ZAGONETKA GLASI:
Tri boga - A, B i C, zovu se, po redu, Istina, Laž i Nasumičnost. Istina uvek govori istinu, Laž neistinu, ali Nasumičnost potpuno proizvoljno bira da li će reći istinu ili laž. Vi morate da odredite identitet bogova A, B i C postavljanjem tri pitanja sa DA ili NE odgovorima i svakog boga možete pitati samo jedno pitanje. Bogovi razumeju jezik kojim se služite, ali će vam dati odgovore ne svom jeziku. U njemu se za ‘DA’ i ‘NE’ koriste ‘da’ i ‘ja’, ali vi ne znate šta koja od ove dve reči znači.
Koje pitanje ćete postaviti da utvrdite ko je koji bog?
Tri opcije:
1. Za boga A: Da li ‘da’ znači ‘DA’ ako i samo ako si ti Istina i ako je B Nasumičnost? (pretpostavimo da je A rekao ‘ja’ i da je time potvrdio da je B Istina ili Nasumičnost).
2. Za boga B: Da li ‘da’ znači ‘DA’ ako i samo ako je Pluton najmanja planeta? (prepostavimo da je B odgovorio ‘da’, što ga čini Istinom).
3. Pitanje opet za B, odnosno Istinu: Da li ‘da’ znači ‘DA’ ako i samo ako je A Nasumičnost? Kako je B Istina, mora reći ‘da’, što znači da je A Nasumičnost, a C time postaje Laž.