Kurt Gödel (28 Nisan 1906 - 14 Ocak 1978),Mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel' in Eksiklik Teoremi ile tanınır.
Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır. Bunun için ise Gödel numaralandırması ismi verilen bir metod geliştirmiştir. Meşhur teoremini Viyana Üniversitesindeki doktora çalışması sırasında 1931 yılında ispatlamış, bununla 20. yüzyıl matematiğinin yönünü değiştirmiştir.
İçine kapanık bir kişiliği olan Gödel, son yıllarında zehirleneceği paranoyasına kapılarak hiçbir şey yememeye başlamış, bunun sonucunda beslenme eksikliğinden 14 Ocak 1978'de Princeton'da ölü bulunduğunda cenin pozisyonundaydı ve sadece 29.5 kiloydu.
Gödel, K. (2004) Cantor'un süreklilik problemi nedir? .
Türkçeye çevrilmiş tek eseridir.
Hiç yorum yok:
Yorum Gönder