|
Gödel
(1906 - 1978)
|
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.
|
