Kurt Gödel, Avusturya asıllı bir Amerikan mantıkçısı ve matematikçisidir. Bugün Brno diye bilinen kentte 1906 yılında doğdu 1938 yılında Amerika'ya geldi. 1948 yılında Amerikan vatandaşlığına geçti. 1953 yılında Princeton Üniversitesinde profesör oldu. "Principia Mathematica" nın "Benzeri Sistemlerin Formel Hükme Bağlanamayan Önermeleri Üstüne" yazılar yazdı. Burada, iki teoremin yazarıdır. Bu önermelere göre, çelişmesiz bir aritmetik eksiksiz olamaz. Çünkü, çelişmezlik bu sistemde kararsızlığa yol açan bir önermedir. Modern mantığın kurucusudur. 14 Ocak 1978 yılında Amerika'nın New Jersey eyaletinde Princeton'da ölmüştür.