Matematikçiler iki yeni sonsuzluk türü keşfetti: “Düzenli evren” fikrine meydan okuyor

Sonsuzluk tek değil: Doğal sayılardan reel sayılara uzanan merdiven

Günlük dilde “sonsuz” dediğimizde tek bir kavramdan söz ediyormuşuz gibi görünse de modern matematik çok daha karmaşık bir tablo çiziyor.

Doğal sayılar kümesi (1, 2, 3, 4, …) bir tür sonsuzluk oluşturuyor.
Reel sayılar (arasına sayı sıkıştıramadığımız bir boşluk olmayan sürekli doğru) ise çok daha “büyük” bir sonsuzluk.
Bu fark, matematikte “kardinal” adı verilen büyüklük kavramıyla ifade ediliyor. Doğal sayıların sonsuzluğu en altta “alef-sıfır”, üst basamaklara çıktıkça ölçülebilir kardinal, süper kompakt kardinal gibi giderek güçlenen, çoğu yalnızca soyut aksiyomlarla varlığı kabul edilen dev sonsuzluk türleri karşımıza çıkıyor.

Bu yapı, kabaca “sonsuzlukların merdiveni” gibi düşünülebilir: Her basamak, bir öncekinden daha kapsamlı, daha güçlü ve daha zor anlaşılır.

Yeni oyuncular: “Exacting” ve “ultra-exacting” sonsuzluklar

Son çalışmada, Avusturya Teknoloji Üniversitesi ile Barselona Üniversitesi’nden matematikçiler bu merdivenin en üst basamaklarına “exacting” (zorlu) ve “ultra-exacting” (ultra zorlu) adı verilen iki yeni sonsuzluk türü eklediklerini ileri sürüyor.

Bu kardinal türleri:

Büyük kardinal aksiyomları kapsamında, bilinen pek çok güçlü sonsuzluktan “daha üst düzeyde” konumlanıyor.

Modern kümeler kuramının omurgasını oluşturan ZFC sistemi (Zermelo–Fraenkel + Seçim Aksiyomu) ile çelişmeden var olabiliyor.

Matematikçilerin “büyük kardinal” dediği, evrenin yapısını derinden etkileyen sonsuzluk ailelerinin arasına yeni halkalar olarak ekleniyor.

Exacting kardinal, kendisinden önce tanımlanmış birçok büyük sonsuzluğun özelliklerini “ceplerinde taşıyan”, onları aşan bir güçte tanımlanıyor.

Ultra-exacting kardinal ise exacting yapının daha da sıkılaştırılmış, kısıtları ağırlaştırılmış, adeta “turbo versiyonu” gibi düşünülebilir.

Matematik evreni kütüphane mi, vahşi bir orman mı?

Matematikte uzun süredir tartışılan sorulardan biri şu:

“Sonsuzlukların oluşturduğu evren, temelde düzenli ve tanımlanabilir midir, yoksa doğası gereği vahşi ve parçalı mı?”
Bu bağlamda ortaya atılan önemli yaklaşımlardan biri HOD varsayımı. Türkçeye kabaca “kalıtsal olarak tanımlanabilir evren” diye çevrilebilecek bu bakış açısı, en büyük sonsuzlukların bile sonuçta belli bir düzen içinde tarif edilebileceğini öne sürüyor.

Yeni tanımlanan exacting ve ultra-exacting kardinal türleri ise bu düzen fikrine ciddi şekilde meydan okuyor:

Bu sonsuzluklar, diğer büyük kardinal türleriyle alışılagelmiş kalıpların dışında etkileşiyor.
Evrenin her noktasının “güzelce raflara dizilmiş” kitaplar gibi tanımlanabilir olduğu fikrine karşı, “bazı bölgelerin yapısal olarak kontrol edilemez” olabileceğini ima ediyor.
Çalışmanın yazarlarından biri, ultra-exacting kardinalin diğer sonsuzluklarla “çok alışılmadık bir şekilde etkileştiğini” vurgulayarak, matematik evrenine dair klasik sezgilerin artık yeterli olmayabileceğini ifade ediyor.

Bu tablo, matematik evrenini düzenli bir kütüphaneden çok, geniş bir kısmı sisli ve keşfedilmemiş bir ormana benzetmemize yol açıyor.

ZFC’nin sınırları ve “kanıtlanamaz” gerçekler

Modern matematiğin büyük bölümü, temel taş olarak ZFC kümeler kuramını kullanıyor. Ancak büyük kardinal aksiyomları içeren sonsuzlukların çoğu, bu sistemin sınırlarını zorluyor:

Bazı sonsuzluk türlerinin gerçekten var olup olmadığı ZFC içinde kanıtlanamıyor.
Yani, “ne var diyebiliyoruz, ne de yok” diyebiliyoruz; bu noktada matematik, bir anlamda aksiyom tercihi üzerinden farklı evrenler kuruyor.
Exacting ve ultra-exacting kardinal türleri, tam da bu hassas bölgede yer alıyor. ZFC ve Seçim Aksiyomu ile çelişmeden tanımlanabilmeleri, ama aynı zamanda klasik düzen varsayımlarını bozabilmeleri, matematikçilere şu soruyu yeniden sordurtuyor:

“Hangi sonsuzluklar gerçekten var ve biz hangi evrende çalışıyoruz?”

Bu soru, yalnızca “felsefi bir merak” değil; hangi teoremlerin kanıtlanabilir olduğu, hangi problemlerin prensipte asla çözülemeyeceği gibi konuları da doğrudan etkiliyor.

Neden önemli? Sadece yeni bir isim değil, yeni bir bakış

Bu keşif, yalnızca “sonsuzluk sözlüğüne iki yeni terim eklendi” şeklinde okunacak bir gelişme değil.

Temel matematik ve mantık: Büyük kardinal aksiyomları, hangi matematiksel önermelerin kanıtlanabilir ya da kanıtlanamaz olduğunu anlamada kritik rol oynuyor. Yeni sonsuzluk türleri, bu sınır çizgilerini yeniden gözden geçirmeyi gerektiriyor.

Bilgisayar bilimi ve hesaplanabilirlik: Hangi problemlerin “doğası gereği” çözülemez olduğu, hangi algoritmaların asla var olamayacağı gibi konular, kümeler kuramının ve sonsuzluk hiyerarşisinin derinlikleriyle yakından ilişkili.

Matematik felsefesi: “Matematik keşfedilen mi, icat edilen mi?” tartışması, büyük kardinal aksiyomlarıyla birlikte daha da karmaşık hale geliyor. Exacting ve ultra-exacting türleri, bu tartışmaya yeni malzeme taşıyor.

Kısacası; bu çalışma, sonsuzluk kavramının yalnızca büyüklük değil, yapı ve düzen açısından da ne kadar zengin ve şaşırtıcı olabileceğini gösteriyor. Matematikçiler için bu, hem zorlayıcı hem de heyecan verici bir çağrı anlamına geliyor:

Evrenin en tepelerinde, henüz adını bile yeni koyduğumuz, çok daha tuhaf sonsuzluklar bizi bekliyor olabilir.