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.
Kurt Gödel (d. 28 Nisan 1906 - ö. 14 Ocak 1978), Avusturyalı-Amerikan mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılanGö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.
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.
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.
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.
İç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.
KAYNAK|Wikipedia
KAYNAK|http://gelisenbeyin.net/ den alıntıdır
KAYNAK|http://gelisenbeyin.net/ den alıntıdır
0 yorum:
Yorum Gönder