Bilinmezliğin Matematiksel Manifestosu
Bilim tarihinde, Kurt Gödel (1906–1978) gibi, yüzyıllardır süregelen kesinlik ve mükemmellik arayışını temelden sarsan çok az figür vardır. Mantık ve matematik dünyasının sessiz, içine kapanık bu dehası, 1931 yılında yayımladığı tek bir makaleyle, matematiğin eksiksiz ve çelişkisiz olabileceği inancına ölümcül bir darbe vurdu.
Erken Yaşam ve Viyana Çevresi
Kurt Gödel, 28 Nisan 1906'da, o zamanlar Avusturya-Macaristan İmparatorluğu'nun bir parçası olan Brno'da (bugünkü Çek Cumhuriyeti) doğdu. Çok zeki bir çocuktu; ailesi ona "Herr Warum" (Bay Neden) adını takmıştı, çünkü her şeyi sürekli sorguluyordu.
Viyana Üniversitesi'nde eğitim gördüğü yıllarda, matematiksel mantık ve felsefeye olan tutkusu pekişti. Kısa sürede, dönemin en parlak beyinlerinden oluşan ve bilim felsefesini tartışan ünlü "Viyana Çevresi"nin (Wiener Kreis) önemli bir üyesi oldu.
Bu topluluk, bilginin sadece mantık ve ampirik gözlem yoluyla elde edilebileceği fikri etrafında toplanmıştı. Onların en büyük hedefi, tüm matematiğin çelişkisiz ve eksiksiz bir aksiyom sistemi üzerine inşa edilebileceğini göstermekti. Gödel'in daha sonra yapacağı şey ise, bu hedefin imkansız olduğunu kanıtlamaktı.
Eksiklik Teoremleri: Matematiğin Sınırları
Gödel, henüz 25 yaşındayken, 1931 yılında yayımladığı makalesinde Eksiklik Teoremlerini (Incompleteness Theorems) ortaya koydu. Bu teorem, modern bilimin en derin ve en şaşırtıcı sonuçlarından biridir. İki ana teoremden oluşur:
1. Birinci Eksiklik Teoremi
Yeterince güçlü ve tutarlı (çelişkisiz) olan her matematiksel sistem (sayı teorisi gibi), doğru olduğu halde sistemin aksiyomları kullanılarak kanıtlanamayacak ifadeler içerir.
Basitleştirilmiş Anlamı: Matematikte her şey ispatlanamaz. Her zaman, sistemin kendisi içindeki kurallarla "yakalanamayan" veya ispatlanamayan doğru önermeler olacaktır. Bu, matematiğin, insanın akıl yürütme yeteneği gibi, tamamen kapalı bir sistem olamayacağını gösterdi.
2. İkinci Eksiklik Teoremi
Yeterince güçlü olan bir matematiksel sistemin, kendi tutarlılığını (çelişkisizliğini) yine kendi içinde kanıtlaması imkansızdır.
Basitleştirilmiş Anlamı: Bir sistemin sağlamlığını kanıtlamak için, daima daha güçlü bir dış sisteme ihtiyacımız vardır. Tıpkı bir merdiveni, merdivenin üzerinde dururken kaldıramamanız gibi.
Gödel'in bu çalışması, David Hilbert'in (mantığın ve matematiğin mükemmel bir şekilde kapsanabilirliği hedefi olan) Hilbert Programına son darbeyi vurdu.
Princeton'daki Dostluk ve Gizli Bir Tutku
1930'lu yılların başında Avrupa'daki siyasi durum kötüleşince, Gödel Amerika Birleşik Devletleri'ne göç etti ve Princeton'daki İleri Araştırmalar Enstitüsü'ne (Institute for Advanced Study) katıldı.
Burada, bir diğer efsanevi bilim insanı olan Albert Einstein ile yakın bir arkadaşlık kurdu.
Einstein ve Gödel: İki deha, Enstitü'ye giderken genellikle yan yana yürürlerdi ve herkes onların soyut konular üzerine tartışmalarını izlerdi. Einstein, ilerleyen yıllarında, Enstitü'deki tek gerçek arkadaşının Gödel olduğunu söylemiştir.
Gizli Bir Tutku: Gödel, fizik ve felsefeye de büyük ilgi duyuyordu. Hatta Genel Görelilik Teorisi üzerinde çalışarak, kapalı, zamana benzer eğrilerin (yani, zamanda geriye yolculuk yapılabilen yörüngelerin) mümkün olduğu matematiksel çözümler buldu. Bu "Gödel evreni" olarak bilinir ve Einstein'ı şaşkına çevirmiştir.
Yaşamının Son Yılları ve Paranoya
Gödel'in parlak zekası, maalesef hayatının son dönemlerinde onu yalnızlığa ve paranoyaya sürükledi.
İzolasyon: Giderek artan bir şekilde münzevi bir yaşam sürmeye başladı. Enstitü'ye bile nadiren geliyordu.
Paranoya: Gödel, kendisine karşı bir komplo kurulduğuna ve yiyeceklerinin zehirlendiğine dair paranoyalar geliştirdi. Sadece karısının tadına baktığı veya hazırladığı yiyecekleri yiyordu.
Trajik Son: Karısının hastaneye yatırılmasıyla, Gödel'in yemek yeme korkusu kontrolden çıktı. Açlıktan ölene kadar yemek yemeyi reddetti. Ölüm belgesinde ölüm nedeni olarak "yetersiz beslenme ve vücudun tükenmesi" yazıyordu.
Kurt Gödel'in yaşamı, zeka ve kırılganlığın iç içe geçtiği trajik bir hikayedir. Eksiklik Teoremleri, sadece matematiksel mantığı değil, aynı zamanda bilgi, gerçeklik ve insan aklının sınırları hakkındaki düşüncelerimizi de sonsuza dek değiştirmiştir. O, kesinliğin imkansız olduğunu kanıtlayarak, mantıkta bir devrim yaratan sessiz dahiydi.
Bir sonraki makalede, bilgisayarın ve oyun teorisinin mimarı John von Neumann’ı ele alacağız. Hazırsan, strateji, yapay zekâ ve nükleer çağın matematikçisine birlikte göz atalım.