Kurt Gödel
Kısaca: 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. ...devamı ☟
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ırılması 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ışlanmaktadı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 ölmüştür.
Bu konuda henüz görüş yok.
Gödel'in Eksiklik Teoremi
5 yıl önceda bu aksiyom yapılarından elde edebilecekti. Hilbert'in çağdaşı olan Kurt Gödel bunun olanaksızlığını gösterdi. Bunu kısaca şu şekilde yaptı: Bu önerme...
Gödel'in Eksiklik Teoremi, Eksiklik Teoremi, Eksiksizlik (Mantık), Gödel, Hilbert, AksiyomatikGödel, Escher, Bach: Bir Ebedi Gökçe Belik
2 yıl öncebetimlenmiştir. By exploring common themes in the lives and works Kitap, mantıkçı Kurt Gödel, artist M. C. Escher ve besteci Johann Sebastian Bach'ın hayatı ve eserlerindeki...
Gödel, Escher, Bach: Bir Ebedi Gökçe Belik, 2001, Bilim kitapları, Douglas R. Hofstadter, ISBN, Kitap, Taslak, Türkçe, Kabalcı YayıneviKümeler teorisi
2 yıl önce1895 yılları arasında geliştirilen ve daha sonrasında, Ernst Zermelo, Kurt Gödel gibi 20. yüzyılın oldukça tanınmış matematikçileri tarafından aksiyomatikleştirilen...
Kümeler Kuramı, Belit, Bulanık mantık, Kuram, Küme, Mantık, Zermelo-Freankel küme kuramı, Bulanık küme, Müziksel kümeler kuramı, Basit kümeler kuramı, Russel paradoksuIgnoramus et ignorabimus
6 yıl önceiçin bu cümleyi kendisine slogan olarak seçmiştir. Ancak 1931 yılında Kurt Gödel tarafından, "Sonlu sayıda kompleks olmayan aksiyomların yardımı ile, aritmetik...
Ignoramus et ignorabimus, David Hilbert, Kurt Gödel, 8 Eylül 1930, Emil du Bois-ReymondSüreklilik Hipotezi
2 yıl öncemertebelerde sonsuzluk olup olmadığı sorusunu sorar. Avusturyalı matematikçi Kurt Gödel bu soruya verilecek negatif bir cevabın kümeler teorisi ile tutarlı olduğunu...
Süreklilik Hipotezi, Cantor'un Diagonal Yöntemi, Doğal sayılar, Kurt Gödel, Kümeler Kuramı, Reel sayılar, Paul CohenModel Teorisi
2 yıl öncetespiti modeller kuramından doğan en ünlü sonuçlardır (Paul Cohen ve Kurt Gödel tarafından tanıtlanmıştır). Hem seçim aksiyomunun hem de seçim aksiyomu...
Model Teorisi, Kompleks Sayılar, Kurt Gödel, Matematik, Matematiksel sistem, Reel Sayılar, Taslak, Tersine Matematik, Aksiyomatik küme kuramı, Tanıtlama kuramı, Zermelo-Fraenkel aksiyomlarıylaEksiklik Teoremi
6 yıl önceKurt Gödel'in 1931 yılında doktorasında verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı...
Eksiklik Teoremi, Douglas R. Hofstadter, Elementler, Gauss, Gödel'in Eksiklik Teoremi, Kendine-göndergeli önerme, Kurt Gödel, Matematik, Taslak, Yinelgen, Sayı KuramıMantıksal Pozitivizm
2 yıl öncesayılmış olan belli başlı filozoflar şöyledir: Ernest Nagel, Hans Hahn, Kurt Gödel, Felix Kaufmann, Philipp Frank, Bertrand Russell, Whitehead, A.J.Ayer...
Mantıksal pozitivizm, Mantıksal pozitivizm