Mantıkçı ve matematikçi, Moravya, Brünn (şimdi Brno, Çek Cumhuriyeti) doğumlu. Viyana'da çalıştı ve ders verdi, ardından 1940'ta ABD'ye göç etti ve Princeton'daki İleri Araştırmalar Enstitüsü'ne katıldı. 1948'de ABD vatandaşı oldu. Matematiksel mantıkta önemli çalışmaları teşvik etti ve modern matematiğin en önemli kanıtlarından birini ortaya koydu: Gödel'in kanıtı, 1931'de Russell'ın Principia Mathemetica'ya atıfta bulunarak yayınlandı ve sayılar teorisine uygun herhangi bir formal mantıksal sistemde, o sistemin ispat edilemeyen önermeler içermesi gerektiğini gösterdi.