Kurt Gödel: Matematiksel Mantığın Sınırını Çizen Dahi

Brünn'lü çocuk

Kurt Friedrich Gödel 28 Nisan 1906'da o zamanlar Avusturya-Macaristan imparatorluğunun Brünn kentinde (bugünkü Brno, Çek Cumhuriyeti) doğdu. Babası bir tekstil fabrikası müdürüydü; aile orta sınıf Alman konuşan Lutherci bir aileydi.

Çocukluğunda çok meraklıydı; ailesi ona "Herr Warum" ("Bay Niçin") lakabını taktı — her şeye "niçin?" diye soruyordu. 6 yaşında romatizmal ateş geçirdi; bu çocuk hastalığı hayatı boyunca onu kovalayacak kalp problemleri ve paranoyak takıntıları bıraktı.

Viyana Üniversitesi ve Viyana Çevresi

1924'te Viyana Üniversitesi'ne fizik okumak için girdi. Ama hızla matematik felsefesi ve mantık'a yöneldi. Moritz Schlick ve Hans Hahn gibi filozofların başında olduğu Viyana Çevresi (Wiener Kreis) — mantıksal pozitivizm hareketi — toplantılarına katıldı.

Viyana Çevresi'nde Russell, Whitehead, Wittgenstein tartışılırdı. Mantıksal pozitivizm felsefesinin ana iddiası: matematik tamamen mantıktan türetilebilir; tüm bilgi formel kanıtla doğrulanabilir.

Gödel bu çevrenin başlangıçta üyesiydi ama sessiz bir muhalifti. Sonradan onların hayalini yıkacak teoremleri yazacaktı.

1931: Eksiklik teoremleri

25 yaşında, 1931'de Gödel hayatını tanımlayan makaleyi yayımladı: "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (Principia Mathematica ve İlgili Sistemlerin Formel Olarak Kararlaştırılamaz Önermeleri Üzerine).

İçinde iki bomba:

Birinci Eksiklik Teoremi

"Aritmetiği içeren her tutarlı formel sistemde, sistemin içinde ne kanıtlanabilir ne çürütülebilir bir önerme vardır."

Yani matematiğin formel temellerinin mükemmel olamayacağı: her güçlü sistem bilinçli olarak kararsızdır.

İkinci Eksiklik Teoremi

"Tutarlı bir formel sistem kendi tutarlılığını kanıtlayamaz."

Yani matematik kendi sağlamlığını içeriden ispatlayamaz.

Hilbert'in programının sonu

1900'lerden itibaren David Hilbert matematiğin "formel temellerden eksiksiz aksiyomatize edilebileceği" programını savunuyordu. Whitehead ve Russell'in Principia Mathematica'sı (1910-1913) bu yönde dev bir çabaydı.

Gödel'in teoremleri Hilbert'in programını kalıcı olarak çürüttü. Matematik, kendi tabanının üzerinde tam ve tutarlı bir biçimde duramaz. Bu, matematik felsefesi tarihinin en büyük dönüm noktalarından biri.

Kanıtın özü: "kendi kendine referans"

Gödel'in kanıtı kendi kendine referans veren önermeler kullanır. Klasik yalancı paradoksuna ("Bu cümle yanlıştır") matematiksel kılığını giydirir:

"Bu önerme kanıtlanamaz."

Eğer kanıtlanırsa — o zaman doğru. Ama önerme "kanıtlanamaz" diyor, çelişki.
Eğer kanıtlanamazsa — o zaman ifade ettiği şey gerçek. Ama o zaman doğru bir önerme kanıtlanamaz demektir; sistem eksiktir.

Gödel bu önermeyi aritmetik dilinde kodlamayı başardı (Gödel numaralandırması). Her formel mantıksal ifade tek bir doğal sayıya karşılık gelir; "kanıtlanabilirlik" bir aritmetik özellik haline getirilir.

Princeton'a kaçış

1933'te Hitler iktidara geldi. Gödel Yahudi değildi ama Viyana Çevresi'nin başı Moritz Schlick 1936'da bir nazi sempatizan tarafından öldürüldü. Avusturya 1938'de Almanya tarafından ilhak edildi (Anschluss).

Gödel Institute for Advanced Study (IAS) Princeton tarafından davet edildi. 1940'ta eşi Adele ile birlikte Sibirya üzerinden (Almanya askeri yaş için onu alabilirdi) Amerika'ya kaçtılar. Gödel hayatının son 38 yılını Princeton'da geçirecekti.

Einstein ile dostluk

Princeton'da Gödel Albert Einstein ile çok yakın dost oldu. Her gün birlikte yürürlerdi (Einstein evinden IAS'a, sonra dönüş). Einstein, Gödel'i "düşünce yoldaşım" olarak nitelerdi. Ölmeden önce: "Sadece Gödel ile yürümek için işe giderim" demiş.

İki adam çok farklıydı — Einstein dış-yönelimli, sosyal; Gödel içe kapanık, paranoyak. Ama matematik felsefesi konularında dakikalarca konuşurlardı. Gödel, Einstein'ın görelilik denklemlerinde zamanda geri gitmenin mümkün olduğunu gösteren bir çözüm buldu (Gödel evren modeli, 1949). Einstein'a doğum günü hediyesi olarak verdi.

ABD vatandaşlığı (1947): trajik komedi

1947'de Gödel ABD vatandaşlığı için sınava girdi. Sınava hazırlanırken ABD Anayasası'ndaki mantıksal bir tutarsızlığı keşfetti — bir diktatörlüğe yasal yolla geçiş için bir boşluk olduğunu fark etti. Mahkemede bunu anlatmak istedi.

Einstein ve Oscar Morgenstern (oyun teorisinin bir kurucusu) onun arkadaşları ve şahitleriydi. Yargıç: "Almanya gibi bir diktatörlüğün burada olamayacağını biliyorsunuz, değil mi?" Gödel atıldı: "Aksine, anayasada bir boşluk var, gösterebilirim..." Einstein ve Morgenstern müdahale edip durdurdu; vatandaşlık onaylandı.

Gödel'in keşfettiği boşluk hâlâ akademik tartışmaların konusudur.

Paranoyak yıllar ve trajik son

Gödel hayatı boyunca paranoyak takıntılarla mücadele etti. Özellikle zehirlenmekten korkuyordu; sadece eşi Adele'in pişirdiği yemekleri yiyordu.

1977'de Adele hastaneye yatırıldı; aylarca Gödel'i besleyecek kimse yoktu. Gödel başka kimseden yemek almayı reddetti — zehirleneceğine inanıyordu. Birkaç ay boyunca kendi kendini aç bıraktı.

14 Ocak 1978'de Princeton'da öldü. Ölüm sertifikası: "Inanition (kişiliği bozucu açlık) bağlı olarak malnütrisyon ve halsizlik". 71 yaşındaydı; vücut ağırlığı sadece 30 kg.

Mirası

Gödel'in matematikteki yeri benzersizdir. 20. yüzyıl mantığının en derin figürü; Aristoteles'ten sonra en önemli mantıkçı olarak nitelenir. Eksiklik teoremleri:

• Matematiğin felsefi temellerini sonsuza dek değiştirdi.
• Bilgisayar bilimleri'nin doğum belgesinin bir parçası (Turing'in halt problemi Gödel'in akrabasıdır).
• Yapay zekâ tartışmasında merkezi: AI'nin sınırları Gödel teoremleri ile ilişkili mi?
• Kuantum mekaniği yorumları, bilinç problemleri — hepsinde adı geçer.

Princeton'daki Gödel'in masası hala IAS'ta ziyaret edilir. John von Neumann ona "dünyada gerçekten anlayan bir tek kişi varsa o Gödel'di" demiş.

"Niçin?" diye soran çocuk

Brünn'lü "Herr Warum" çocuk, 25 yaşında matematiğin tanrısallığını yıktı; 71 yaşında zehirlenme korkusundan açlıktan öldü. Sıradışı bir hayat, sıradışı bir akıl, sıradışı bir trajedi.

Gödel'in dersi: bilgi sistemleri kendi sınırlarını çizemez. Matematik bile, mükemmel olduğu varsayılan o eşsiz disiplin bile, kendisinden eksiktir. Bu, hem alçakgönüllülük dersi hem de derin matematiksel gerçektir.