Kurt Gödel (1906-1978); Aristo, Tarski ve Gottlob Frege ile beraber, tüm zamanların en önemli mantıkçıları arasında gösterilir. Gödel, mantıkta yapılan en önemli çalışma olarak gösterilen ve adını taşıyan eksiklik teoremlerini ispatladı, seçim aksiyomu ile süreklilik hipotezinin kümeler teorisi ile tutarlı olduğunu gösterdi. 2. Dünya Savaşı’nda Princeton’a kaçan Gödel, burada Einstein’la çok yakın dost oldu. İki dost her gün uzun yürüyüşlere çıkardı. Einstein’ın 70. doğum gününde ona hediye olarak, Einstein’ın kendi ismini taşıyan denklemlerinde, zamanda geriye doğru yolculuğu içeren bir çözüm bulup hediye etti. Bu çözüm Einstein’ı mutlu etmek yerine, teorisinin doğruluğunun sorgulamasına yol açtı. ABD vatandaşlığı başvurusu sırasında Einstein, Gödel’in kefili oldu. Gödel, ABD anayasasını incelediğinde, anayasanın tutarsız olduğu ve diktatörlüğe yol açacak bir açık olduğu kanaatine varmıştı. Vatandaşlık mülakatında kendisine, ABD’nin Nazi rejimi gibi bir diktatörlük olup olamayacağı sorulduğunda, politik davranmayı bilmeyen Gödel, anayasa ile ilgili kanaatini anlatmaya kalktı. Einstein’ın tanıdığı olan yargıç, Einstein’ın hatırına konuyu geçiştirdi ve Gödel’in vatandaş olmasına sorun çıkarmadı. Gödel, dindar bir insandı. Allah ve ahiret inancının akılcılığını hep savunurdu. Ölmeden önce “Gödel’in ontolojik argümanı” olarak bilinen Allah’ın varlığının mantıksal bir ispatını yapmaya çalıştı. Gödel, İslam’a sempatisi ile de bilinirdi. Bütün hayatını sistemlerin tutarlılığı üstüne çalışmaya adamış olan Gödel, İslam’la ilgili takdirini şöyle özetledi: “İslam’ı severim: O, tutarlı bir dindir ve açık fikirlidir”.
