クルト・ゲーデル
」との懇願にもかかわらず、ライプニッツによる「神の存在証明」を洗練させたゲーデルの神の存在証明(英語版)として知られる論文を知人に配布した。しかし、その目的が、神学論争への加担ではなく、あくまで論理学的な興味の追求にあったため、ゲーデルは、誤解を恐れて生前は公表しなかった。その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。この論文は、ゲーデルが没してから9年後の1987年にデイナ・スコットの手によって初めて出版された。
晩年は、非常に内向的となった。また、精神にも失調をきたしており、毒殺されることを恐れるあまり、妻アデーレが作った食事以外は、自分が調理した食事すら口にしなかった。その他にも、毒ガスによる暗殺を恐れたために、冬でも家の窓を開け放っていた。また、人前に出ることはほとんどなく、自宅に籠って哲学と論理学の研究を続けていた。最終的には、アデーレが病院に入院して自宅を離れていた期間に、絶食による飢餓状態となった。すぐに病院に搬送されたが、プリンストン病院で死去した。このとき、ゲーデルの体重は、65ポンド(約29.5kg)しかなかった。
彼の遺稿は、大学時代までに修得した英語、ドイツ語、およびガベルスベルガー式速記(ドイツ語版)と呼ばれるドイツの古い速記法で書かれている。その速記法はドイツ統一速記法(ドイツ語版)に取って代わられたために淘汰され、解読が困難であることで知られている。幸い、彼が潔癖で几帳面であったため、遺稿のほぼすべてが残されている。