Saharon Shelah: 1000+ Makaleli Canlı Matematik Dahisi

Kudüs'lü matematikçi

Saharon Shelah 3 Temmuz 1945'te Kudüs, İngiliz Mandalı Filistin'de (sonradan İsrail) işsiz Yahudi göçmen bir ailenin oğlu olarak doğdu. Babası Yonatan Ratosh, Yahudi-Kanaaniyt kültürel hareketin önde gelen şairi.

Çocukluğundan beri matematik harikası. Yüksek lisans yapmak için Hebrew University of Jerusalem'a gitti; doktorasını 1969'da, 24 yaşında verdi. Hocası Michael Rabin (Türing Ödüllü bilgisayar bilimcisi).

Hebrew University: hayat boyu ev

Shelah hayatının tamamını Hebrew University'de geçirdi. Tek kısa istisna: ABD üniversitelerinde misafir profesörlükler.

Rutgers University (ABD)'de de Bonnie Distinguished Visiting Professor olarak yıllarca görevli. Yarı zamanlı iki ülkede çalışır.

"Sınıflandırma teorisi" (1970'ler-80'ler)

Shelah'ın matematikteki en büyük katkısı: sınıflandırma teorisi (classification theory). Model teorisi'nin bir devrimsel dönüşümü.

Model teorisi: soyut yapıların (gruplar, halkalar, alanlar) matematiksel mantık çerçevesinde sınıflandırılması.

Shelah'ın 1978'de "Classification Theory and the Number of Non-Isomorphic Models" kitabı bu alanı kurdu. Sonsuz boyutlu modellerin sayılarının matematiksel sınıflandırması.

Devasa teknik karmaşıklık içerir — pek çok matematikçi bile tam olarak anlayamaz.

"Mutlak üretkenlik": 1200+ makale

Shelah'ın çalışma ritmi efsanevidir:

• 1200+ araştırma makalesi (2024 itibarıyla, hâlâ devam ediyor).
• 40+ kitap.
• Yılda 30-50 makale yayımlama hızı.
• Tek başına veya az ortakla yazar.

Bu, matematik tarihinin en üretken yazarıdır — Paul Erdős (1525 makale) ile yarışır.

Çalışma tarzı

Shelah'ın çalışma tarzı sıradışı:

• Hızlı yazar: çoğu makale ilk taslakla yayımlanır.
• Karmaşık notasyon: kendi sembol sistemi var; başka matematikçiler için zor.
• Çok yönlü: küme teorisi, model teorisi, cebir, topoloji — pek çok alanda makale.
• Açık problemleri çözer: yıllardır beklenen büyük açık problemleri sürekli çözüyor.

Önemli teorem ve sonuçlar

• Shelah'ın PCF teorisi (1980'ler): kardinal aritmetik için yeni araç.
• Whitehead problemine çözüm (1974): "her Whitehead grup serbest mi?" sorusu ZFC'den bağımsız — Shelah kanıtladı.
• Possible cofinalities theory: küme teorisinin temellerini değiştirdi.
• Stable theories ve dependent theories: modern model teorisinin temel çatıları.
• Singular cardinals problem: kısmi çözümler.

Forcing teknolojisi

Shelah, Paul Cohen'in forcing tekniğini olağanüstü geliştirdi. Modern küme teorisinin pek çok bağımsızlık sonucu Shelah'ın forcing yöntemleri ile.

Iteration of forcing (forcing'in tekrar uygulanması) modern set teorisinin en güçlü araçlarından; Shelah bunu sistematik hale getirdi.

Ödüller

• Erdős Prize (1977)
• Karp Prize (1983)
• George Pólya Prize (1992)
• Bolyai Prize (2000)
• Wolf Prize in Mathematics (2001) — matematikteki en yüksek "Nobel benzeri" ödüllerden.
• Israel Prize (1998) — İsrail'in en yüksek ödülü.
• EMET Prize (2011)

"İsrail matematik okulu"

Shelah, Israelli matematik camiasının önde gelen figürlerinden. Hebrew University Mathematics Institute İsrail matematik araştırmasının kalbi; Shelah'ın varlığı buranın uluslararası tanınmasını sağladı.

Pek çok İsrailli matematikçi onun öğrencisi veya etkisi altında yetişti. Ehud Hrushovski, Adi Jarden, Itay Neeman gibi isimler.

Türkiye ile bağı

Shelah'ın Türk matematikçi öğrencileri vardır. Türkiye'deki mantık ve model teorisi çevreleri Shelah'ın çalışmalarından beslenir. ODTÜ, Bilkent, Boğaziçi gibi üniversitelerin mantık grupları onunla doğrudan veya dolaylı bağlantı içindedir.

Çağdaş etkisi

Shelah'ın karmaşık ve teknik makaleleri matematik tarihinin en zor çalışmalarındandır. Pek çok matematikçi onun yöntemlerini tam anlayamaz.

Ama etkisi büyük: modern model teorisi, küme teorisi, matematik mantığı — hepsinde Shelah'ın yöntemleri standart.

Erdős sayısı: Shelah'ın Erdős sayısı 2 (Paul Erdős ile bir makale yazmamış ama ortak yazarları olmuş).

Kişisel hayat

Shelah'ın hayatı sade ve akademik. Eşi Yael (matematikçi) ile evli; çocukları var. Bilim adamı yaşamı: araştırma, makale yazma, ders verme.

Hâlâ aktif: 2024 itibarıyla 79 yaşında ama her hafta makale yayımlıyor. Hebrew University ofisinde her gün bulunur.

"Matematiksel sınır arasında"

Shelah'ın çalışmalarının çoğu lay reader için anlaşılamaz seviyededir. Modern matematik mantığı, soyutluğun en uçtaki örneği:

• Sonsuz kardinaller (sayılamaz çok büyük sonsuzluklar).
• Forcing modelleri — gerçek-dışı görünen küme teorik dünyalar.
• Stability hierarchy — modellerin karmaşıklık sınıflandırması.

Ama bu soyut sonuçların dolaylı etkileri çoktur: modern matematiksel analiz, modern istatistik, modern teorik bilgisayar bilimleri — hepsinde Shelah'ın yöntemlerinin izi vardır.

"Yaşayan en üretken matematikçi"

Saharon Shelah modern matematik dünyasının en üretken yaşayan figürü. Onun varlığı, 20. yüzyıl matematiksel mantığının İsrail'deki en derin yansıması.

Bir adamın 1200+ makale yazabilmesi — kendi başına matematik tarihinin bir mucizesi. Hâlâ aktif olarak yazıyor; bilim hayatı boyunca ne kadar matematik ürettiği bilim tarihinin sayısal ölçütlerinden biri olarak ileride yeniden tartışılacak.

Saharon Shelah: 21. yüzyıl matematik mantığının ve model teorisinin canlı efsanesi.