Gelmiş geçmiş en zor mantık bulmacası
Çözüm

Boolos çözümünü bulmacayı ilk defa ortaya koyduğu makalesinde açıklar. Boolos, "ilk hamlenin kesinlikle Rastgele olmayan, Doğru ya da Yanlış olan tanrılardan birini bulmak üzere yapılacağını" belirtir. Bu sonucu verecek pek çok soru vardır. Stratejilerden biri, karmaşık mantıksal bağlaçları sorulacak sorularda kullanmak üzerinedir (birden fazla koşullular  ya da eşit yapıdakiler).
Boolos'un sorusu şudur:
'Da'nın anlamı, senin ve yalnızca senin Doğru olman ve B'nin Rastgele olması koşuluna da bağlı olarak "evet" midir?
Şu cümleler arasında doğru olanların sayısı tek midir: Sen Yanlış'sın, 'ja' "evet" demek ve B Rastgele?
Bulmacanın çözümü "olmuş olsaydı" sorularıyla basitleştirilebilir. Çözümün anahtarı, bir evet-hayır sorusu olan Q için, Doğru ya da Yanlış'tan birine şunu sormaktır:
Eğer sana Q sorusunu sorsam, yanıtın 'ja' mı olurdu?
Q sorusunun yanıtı "evet"se bu sorunun yanıtı 'ja', Q sorusunun yanıtı "hayır"sa bu sorunun yanıtı 'da' olacaktır. Bu sorunun işe yarama nedeni 8 olası duruma bakıldığında görülebilir.
'Ja'nın "evet", 'da'nın "hayır" demek olduğunu düşünürsek,
(i) Doğru'ya sorulduğunda yanıtı 'ja' olacaktır. Doğruyu söylediğine göre Q'nun doğru yanıtı 'ja', yani "evet"tir.
(ii) Doğru'ya sorulduğunda yanıtı 'da' olacaktır. Doğruyu söylediğine göre Q'nun doğru yanıtı 'da', yani "hayır"dır.
(iii) Yanlış'a sorulduğunda yanıtı 'ja' olacaktır. Yalan söylediğine göre Q sorusuna 'da' yanıtını verecekti. Bu durumda Q'nun yanıtı 'ja', yani "evet"tir.
(iv) Yanlış'a sorulduğunda yanıtı 'da' olacaktır. Yalan söylediğine göre Q sorusuna 'ja' yanıtını verecekti. Bu durumda Q'nun yanıtı 'da', yani "hayır"dır.
'Ja'nın "hayır", 'da'nın "evet" demek olduğunu düşünürsek,
(v) Doğru'ya sorulduğunda yanıtı 'ja' olacaktır. Doğruyu söylediğine göre Q'nun doğru yanıtı 'da', yani "evet"tir.
(vi) Doğru'ya sorulduğunda yanıtı 'da' olacaktır. Doğruyu söylediğine göre Q'nun doğru yanıtı 'ja', yani "hayır"dır.
(vii) Yanlış'a sorulduğunda yanıtı 'ja' olacaktır. Yalan söylediğine göre Q sorusuna 'ja' yanıtını verecekti. Bu durumda Q'nun yanıtı 'da', yani "evet"tir.
(viii) Yanlış'a sorulduğunda yanıtı 'da' olacaktır. Yalan söylediğine göre Q sorusuna 'da' yanıtını verecekti. Bu durumda Q'nun yanıtı 'ja', yani "hayır"dır.
Bu veriler kullanılarak aşağıdaki gibi devam edilebilir.
B'ye "Sana 'A Rastgele mi?' diye sorsam, 'ja' mı derdin?" sorusu yöneltilir. B'nin yanıtı 'ja' olursa, ya B Rastgele'dir (ve rastgele yanıt vermektedir) ya da B Rastgele değildir ve Rastgele kesinlikle A'dır. İki durumda da C Rastgele değildir. B'nin yanıtı 'da' olursa, ya B Rastgele'dir (ve rastgele yanıt vermektedir) ya da B Rastgele değildir ve yanıta göre A da kesinlikle Rastgele değildir. İki durumda da A Rastgele değildir.
Bir önceki soruya verilen yanıttan Rastgele olmadığı anlaşılan tanrıya (Yani A'ya ya da C'ye) şu soru yöneltilir: "Sana 'sen Doğru musun?' diye sorsam, 'ja' mı derdin?" B Rastgele olmadığına göre, 'ja' yanıtı onun Doğru olduğunu, 'da' yanıtı ise onun Yanlış olduğunu gösterir.
Aynı tanrıya şu soru yöneltilir: "Sana 'B Rastgele mi?' diye sorsam, 'ja' mı derdin?" Yanıt 'ja' olursa, B Rastgele'dir, yanıt 'da' olursa, henüz kendisiyle konuşulmamış olan tanrı Rastgele'dir. Diğer tanrının kimliği ise, eleme yoluyla bulunur.