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