Süreklilik Hipotezi: Matematiğin Cevaplanamayan Sorusu

Sonsuzluk türleri

Georg Cantor 19. yüzyıl sonunda matematiğe bomba düşürdü: sonsuzluk tek tip değildir, farklı "büyüklüklerde" sonsuzluklar vardır.

Cantor'un tanımları:

• $\aleph_0$ (alef-sıfır): sayılabilir sonsuz — doğal sayıların ($\mathbb{N}$) sayısı. Tam sayılar ($\mathbb{Z}$), rasyonel sayılar ($\mathbb{Q}$), cebrik sayılar — hepsi $\aleph_0$ büyüklüğünde.
• $\mathfrak{c}$ (kontinuum): reel sayıların ($\mathbb{R}$) sayısı. $2^{\aleph_0}$'a eşit. Cantor kanıtladı: $\mathfrak{c} > \aleph_0$. Yani reel sayılar doğal sayılardan strictly more'dur.

Cantor sonra şu soruyu sordu:

"$\aleph_0$ ile $\mathfrak{c}$ arasında bir sonsuzluk var mı?" Yani, doğal sayılardan büyük ama reel sayılardan küçük bir kümenin büyüklüğü mevcut mu?

Cantor'un cevabı: Hayır. İddiası: $\mathfrak{c} = \aleph_1$ (alef-sıfırdan sonraki sonsuzluk). Bu, süreklilik hipotezi (Continuum Hypothesis, CH).

Hilbert'in 1. problemi

David Hilbert 1900'de Paris'teki Uluslararası Matematikçiler Kongresi'nde 20. yüzyıl matematiğine yol gösterici 23 problem sundu. Birinci problem: Süreklilik hipotezini kanıtla veya çürüt.

Bu, Hilbert'in en önemli sorusuydu. 30 yıl boyunca dünya çapında matematikçiler bu konuda çalıştı. Ama hiç kimse ne kanıtlayabildi ne çürütebildi.

Gödel'in 1940 sonucu

Kurt Gödel 1940'ta yayımladığı çalışmada şunu kanıtladı:

"Süreklilik hipotezi, Zermelo-Fraenkel küme teorisi + seçim aksiyomu (ZFC) ile tutarlıdır."

Yani: ZFC ile çelişmez; eğer ZFC tutarlıysa, "süreklilik hipotezi doğru" demek de tutarlıdır.

Bunu inşa edilebilir evren ($L$) kavramı ile yaptı: matematiksel olarak inşa edilebilir tüm kümeler. Bu evrende süreklilik hipotezi doğrudur.

Bu büyük bir adımdı ama tam çözüm değildi. Soru hâlâ açıktı: CH kanıtlanabilir mi?

Cohen'in 1963 sonucu: tam cevap

Paul Cohen 1963'te yayımladığı çığır açan çalışmada karşı yönde sonucu kanıtladı:

"Süreklilik hipotezinin değili de ZFC ile tutarlıdır."

Yani: Hem CH doğru olabilir hem de değil. ZFC, CH hakkında karar veremez. CH bağımsızdır ZFC'den.

Cohen bunu forcing (zorlama) adlı yeni bir teknikle kanıtladı — modern küme teorisinin en güçlü araçlarından biri. Bu çalışma için 1966'da Fields Madalyası aldı.

"Karar verilemez" — sorunun anlamı

Süreklilik hipotezi karar verilemez (undecidable): mevcut matematik aksiyomları ne kanıtlayabilir ne çürütebilir. Hilbert'in birinci problemine cevap:

"Cevap yoktur, mevcut aksiyomlarla."

Bu, Gödel'in eksiklik teoremlerinin bir somut örneğidir. Yeterince güçlü herhangi bir aksiyom sistemi, içinde kararsız önermelere sahip olmak zorundadır. CH böyle bir önermedir.

Yeni aksiyomlar?

Bazı matematikçiler şu yaklaşımı önerdi: "Yeni aksiyomlar ekleyelim, CH karar verilsin." Adaylar:

• Constructibility axiom ($V = L$): Gödel'in yaklaşımı. Doğru olursa CH doğrudur. Ama bu aksiyom sezgisel değil.
• Büyük kardinal aksiyomları: çok büyük sonsuzlukların varlığını varsayan ek aksiyomlar. Genellikle CH'ye karar veremez veya CH'nin yanlışlığını ima eder.
• Forcing aksiyomları: Cohen'in tekniğini standart hale getirenler.

Bugün matematik camiasında konsensüs yok. Bazı küme teorisyenleri "CH yanlıştır" görüşüne yaklaşıyor (örn. Hugh Woodin); diğerleri "CH zaten doğru" diyor; pek çoğu "bu, gerçek bir soru bile mi?" diye soruyor.

Felsefi sonuçlar

Süreklilik hipotezi matematiğin doğası hakkında derin sorular doğurur:

Matematiksel realizm vs. formalizm

• Realist: matematiksel nesneler gerçek'tir; CH'nin gerçek bir cevabı vardır, biz onu henüz bulmadık.
• Formalist: matematik sadece sembol manipulasyonu; CH "doğru" veya "yanlış" değil, aksiyomlar seçiminin sonucu'dur.

"Çoklu evrenler"

Modern küme teorisinde çoklu küme evreni görüşü: CH doğru olan ve CH yanlış olan iki ayrı matematiksel evren vardır; ikisi de tutarlıdır. Hangisini seçeceğiz?

Modern matematiğin sınırı

CH, matematik aksiyomlarının eksikliğinin somut bir örneği. Modern matematik sonsuzu ele alırken kararsız sorularla yüzleşmek zorundadır.

Pratik etki: az ama önemli

CH'nin pratik matematik için doğrudan etkisi azdır. Çoğu klasik matematik problemi CH'den bağımsızdır. Ama:

• Fonksiyonel analiz ve topoloji içindeki bazı egzotik sonuçlar CH'ye bağlı.
• Ölçü teorisi'nin bazı problemleri CH'ye bağlı.
• Model teorisi ve küme teorisi araştırmalarında CH merkezi.

Bugünkü durum

2024'te CH hâlâ resmen açık bir problem. Pek çok matematikçi onun "en uygun matematik dünyasında" karar verilebileceğine inanır. Hugh Woodin'in Ultimate-L projesi bu yönde önemli bir girişim.

Diğerleri Cohen-sonrası dönemi kabul ediyor: "CH yapısal olarak karar verilemez; iki cevap da doğrudur, kullanmaya göre seçiyoruz."

Cantor'un mirası

Georg Cantor 1918'de bir akıl hastanesinde öldü. CH sorusu onu hayatı boyunca takip etti; hiçbir zaman cevap bulamadı (çünkü cevap yoktu!). Onun fikirleri başlangıçta matematik dünyası tarafından dirençli karşılandı; Henri Poincaré, Leopold Kronecker gibi büyük isimler Cantor'a sert eleştiri yapmışlardı.

100 yıl sonra Cantor'un kümeler teorisi modern matematiğin temeli olarak kabul edildi. Hilbert ünlü "Cantor'un yarattığı cennetten kimse bizi atamaz" sözünü söyledi.

Bir cümleyle özet

Süreklilik hipotezi, matematiğin kendi sınırlarıyla yüzleşmesinin somut örneğidir. Soru basit: doğal ile reel arasında bir ara sonsuzluk var mı? Cevap, sezgisel olarak ulaşılabilir değildir: bu, mevcut matematik aksiyomlarımızın karar verebileceği bir şey değil.

Bir matematikçi için bu hem büyük bir yenilgi, hem büyük bir keşif. Hilbert'in birinci problemi, başka bir problem değil, "matematiğin kendisini" sorgulayan bir problem olduğu için cevapsız kaldı.

Cantor'un 130 yıl önceki merakı, hâlâ matematiğin en derin sorularından biri olarak yaşıyor. Belki bir gün yeni bir aksiyom sistemi, belki yeni bir bakış açısı — belki de hiç. Süreklilik hipotezi, modern matematik sınırının sessiz koruyucusu.