Gelmiş geçmiş en zor mantık bulmacası
L'indovinello più difficile del mondo (Gelmiş geçmiş en zor mantık bulmacası), Raymond Smullyan'dan esinlenilmiş ve İtalya'nın başlıca gazetelerinden La Repubblicada yer almış şu mantık bulmacasına Amerikalı filozof ve mantıkçı George Boolos tarafından verilen ad:
Boolos şu açıklamaları yapar: Boolos bulmacanın yaratıcısının mantıkçı Raymond Smullyan olduğunu ve 'da' ve 'ja' sözcüklerinin hangi anlama geldiğinin bilinmemesi kuralını ekleyerek bulmacayı zorlaştıranın John McCarthy olduğunu belirtir. Smullyan'ın eserlerinde benzer örnekleri bulmak mümkündür. Örneğin What is the Name of This Book? eserinde yerlilerinin yarısı (her zaman yalan söyleyen) zombilerden, yarısı ise (her zaman doğruyu söyleyen) insanlardan oluşan bir Haiti adasını tarif eder.