Kurt Gödel Kimdir?

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.

Kurt Gödel (d. 28 Nisan 1906 - ö. 14 Ocak 1978), Avusturyalı-Amerikan 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 metot 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.

1940'larda Princeton Üniversitesi İleri Araştırmalar Enstitüsünde Kurt Gödel, Einstein’ın kütle çekimi alanı denklemlerine, ekseni etrafında dönen bir evreni tanımlayan bir çözüm getirdi. Evrenin dönüşü ışığı (ve dolayısıyla cisimler arsındaki nedensellik bağlarını da) birlikte sürükleyecekti. Dolayısıyla maddi cisimde, ışık hızını aşmaya gerek kalmaksızın uzayda ve zamanda kapalı bir halka çizecekti.Gödel’in modeli, zamanda geriye gitmenin görelilik kuramınca yasaklanmadığını ortaya koydu. Kurt Gödel, Einstein'ın alan denklemlerini kullanarak, bir evren modeli tasarladı. Tasarım Einstein'ınkine benziyordu ama Gödel'in yaklaşımında kozmolojik sabitlere negatif bir değer veriliyordu. Einstein da kuramının bazı durumlarda geçmişe yolculuğa izin verdiği düşüncesinden rahatsızlık duyduğunu ifade etmiştir. Yalnız Gödel'in bu modeli gökbilimcilerin gözlemlediği kütle çekimsel kızıla kayma tarafından yanlışlaşmaktadır.