Gödel

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 .