Gregory Chaitin: 18 Yaşında Mantığın En Derin Sayısını Bulan Arjantinli

18 yaşında bir lise öğrencisi mantığı yeniden çiziyor

1965 yılı, Buenos Aires. Bir Arjantinli lise öğrencisi — Gregorio Jorge Chaitin — bir bilgisayar dergisi için makale yazıyor. Konu: "bir dizginin algoritmik karmaşıklığı". Önerdiği fikir: bir dizi sembolün bilgi içeriği, onu üreten en kısa programın uzunluğudur.

Aynı yıl Andrey Kolmogorov (66 yaşında, dünyanın en saygın olasılık matematikçisi) aynı fikri Moskova'da yayımlıyor. Ray Solomonoff (Boston) 5 yıl önce farklı bir motivasyonla yayımlamış.

18 yaşındaki Chaitin, sadece modern algoritmik bilgi teorisini bağımsız bulmadı — aynı zamanda Gödel'in eksiklik teoremlerini modern bilgi-teorik dile çevirdi. Bu, akademik tarihte ender bir başarı.

Erken yaşam

• Doğum: 25 Kasım 1947, Buenos Aires (anne ve baba Arjantinli, ama akademik bağlantılarla ABD'ye gidip gelen aile).
• Aile: Akademisyenler. Babası Benjamin Chaitin, Buenos Aires Üniversitesi'nde tıp profesörü.
• Lise: Bronx High School of Science (New York), kısa süre. Sonra Buenos Aires Üniversitesi.

Aile Buenos Aires ↔ New York arasında gidip geldiği için, Chaitin iki dilli ve iki kültürlü büyüdü. Erken yaşta IBM bilgisayar laboratuvarına davet edildi.

İlk makaleler — 1965-66

• 1965: 18 yaşında ilk önemli makaleler.
• 1966: ACM dergisinde "Bilgisayar programları üzerinde bir uzunluk işlevi" — algoritmik karmaşıklığın klasiği.

Chaitin tezisi: bir nesnenin "gerçek bilgi içeriği" = onu üreten en kısa program uzunluğu. Bu, Kolmogorov ve Solomonoff'un yaptığı keşfin aynısı.

İlginç şey: Chaitin akademik makaleleri okumadan bağımsız buldu. Sadece Turing makineleri ve hesaplanabilirlik teorisi üzerine kendi başına öğrendiği konulardan yola çıkarak.

IBM kariyeri (1966-2010)

IBM Yorktown Heights (NY) ve Buenos Aires araştırma merkezlerinde 44 yıl. Pozisyon: araştırma görevlisi, akademik özgürlük.

IBM'in Watson Research Center'da pek çok büyük matematikçi-bilgisayar bilimci çalışmıştı: Knuth, Backus, Cooley, Hartmanis... Chaitin bu geleneğin canlı bir üyesi oldu.

Chaitin sabiti $\Omega$ (1975)

En ünlü buluşu. Tanım:

$\Omega = \sum_{p \text{ duran program}} 2^{-|p|}$

Burada her duran program $2^{-uzunluk}$ olasılıkla katkıda bulunur. Halting probability.

Özellikleri

• $\Omega \in (0, 1)$ — gerçek sayı.
• Hesaplanamaz: ilk $n$ basamağı bulan algoritma yok.
• Algoritmik olarak rastgele: her dizgi sayım Kolmogorov karmaşıklığı maksimum.
• Bilgi yoğun: $\Omega$'nın ilk $n$ basamağı bilinirse, $n$ uzunluğundaki tüm halting problemlerini çözebilirsiniz.

$\Omega$ matematikteki en garip sayılardan biridir: somut tanım, hesaplanamaz değer.

Eksiklik teoreminin modernleştirilmesi

Chaitin'in felsefi katkısı: Gödel'in eksiklik teoremini "bilgi" terimleriyle yeniden ifade etti.

Chaitin teoremi (1971): Bir aksiyom sistemi $S$ ($n$ bit bilgi içeren) sadece $K(x) < n + c$ olan dizgilerin Kolmogorov karmaşıklığını ispatlayabilir.

Yani küçük bir aksiyom sistemi, büyük rastgeleliği ispatlayamaz. Gödel'in "ispatlanamayan doğrular var" sonucunun modern bilgi-teorik halidir.

Sonuç: matematik kendi sınırlarını dilbilim ya da mantık olarak değil, bilgi miktarı olarak görür. Bir teoremi ispatlamak için "yeterince bilgi" gerekir.

"Metabiyoloji" felsefesi

Chaitin son yıllarda alışılmadık bir alana yöneldi: algoritmik bilgi teorisini evrim biyolojisine uygulamak. "Proving Darwin: Making Biology Mathematical" (2012) kitabı:

• Evrim, algoritmik karmaşıklığın artırılmasıdır.
• DNA dizilerinin K karmaşıklığı gerçek bir biyolojik miktardır.
• Adaptasyon ⟺ bilgisel yetkinlik.

Bu, akademik dünyada tartışmalı. Bazı biyologlar destekledi; bazıları "matematik fanatizmi" diye eleştirdi. Chaitin tartışmadan korkmuyor — aksine provokatif olmayı seviyor.

Kişilik

Chaitin açık sözlü, polemik, felsefi tartışmaları sever. Bazı özellikleri:

• Çevirim yazıları yazar: matematik felsefesi, dil teorisi.
• Heisenberg ve Gödel'i beraber tartışmaya bayılır.
• "Matematik kesin değildir" iddiası: $\Omega$'nın varlığı, matematik gerçeklerinin algoritmik temele dayandığını gösterir.
• Şampanya ve iyi yemek ile bilinen bir akademisyen.

İlginç biyografik nokta: Chaitin PhD almadı. Sadece bilgisayar bilimi alanında onur dereceleri (honorary). Modern matematiğin en derin sonuçlarından birini üretmiş bir insan, resmi doktora derecesi olmadan akademik kariyer yaptı. Bu istisna her zaman vurgular.

Akademik kariyer

• IBM Watson Research (1966-2010): kıdemli araştırma görevlisi, akademik özgürlük.
• University of Maine (1995-): fahri profesör.
• University of Buenos Aires: misafir profesör.
• Federal University of Rio de Janeiro: misafir profesör.
• NYU: misafir.

Buenos Aires-New York-Brezilya-Maine arasında dolaşan kosmopolit kariyer.

Etki

Chaitin'in fikirleri akademik dünya dışına da yayıldı:

• Stephen Wolfram: A New Kind of Science kitabında Chaitin'in fikirlerini sıkça referans verir.
• Marcus Hutter: AIXI yapay zekası, Solomonoff-Chaitin temellerinde.
• Doug Hofstadter: Gödel, Escher, Bach sonra Chaitin'in eksiklik modernleştirmesini detaylı tartışır.

Chaitin pop bilim kitapları yazdı: Meta Math! (2005), The Limits of Mathematics (1998), Conversations with a Mathematician (2002). Erişilebilir matematik felsefesi.

Ödüller

• Leibniz Medal (2001): Berlin-Brandenburg Bilim Akademisi.
• Honorary doctorate: Universidad Nacional de Córdoba, Universidad de Buenos Aires.
• Excellence in Computing Award (1995, IBM).

Turing Ödülü almadı — algoritmik bilgi teorisi bilgisayar bilimi içinde "felsefi" sayılır, "pratik" değil.

Mirası

• Chaitin sabiti $\Omega$: matematik mantığının en derin somut nesnesi.
• Chaitin eksiklik teoremi: Gödel'in bilgi-teorik modernleştirmesi.
• Algoritmik bilgi teorisi: Solomonoff-Kolmogorov ile birlikte kurucu.
• Metabiyoloji: matematiksel evrim teorisinin yeni çerçevesi.
• Felsefi etki: matematik gerçeklerinin algoritmik temele dayandığı tezi.

77 yaşında, hâlâ aktif: Buenos Aires'te yaşıyor, ABD-Avrupa konferanslarına katılıyor, gençlerle tartışıyor.

Bir tek 18 yaşındaki lise öğrencisinin Buenos Aires'te yazdığı makalelerden, modern matematik felsefesinin canlı kurucusuna 60 yıllık zarif kariyer. Akademik PhD'siz, akademik bürokrasiden uzak, ama akademik etkide olağanüstü.

$\Omega$: matematiğin görünmez sayısı. Tanımı belirli, değeri ulaşılmaz, etkisi sonsuz. Chaitin'in kendi tanımıyla: "Matematik gerçekten ilginç olan yer, ölçülemez olanın ölçülmeye çalışıldığı yerdir."