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.
|