Cantor’un diyagonal argümanı, modern düşüncenin hem matematiksel hem felsefi ufkunu keskin bir hamleyle genişleten olağanüstü bir yöntemdir. Yöntemin çarpıcılığı, yalnızca belirli bir kümenin (örneğin 0 ile 1 arasındaki reel sayıların) “çıkarılamaz bir liste” olduğunu göstermesinde değil; aynı zamanda “bütün”ü kapatma, yani bütün olasıları bir defter sayfasına geçirip üstünü çizerek kontrol altına alma arzusunu yapısal bir imkânsızlıkla yüzleştirmesinde yatar. Diyagonal, insana şu terbiyeyi verir: Ne kadar iyi niyetli, ne kadar sistematik olursan ol, “tam liste” miti her seferinde seni bir sayı, bir örnek, bir olasılık, bir desen eksik bırakmaya mahkûm eder. Bu metin, önce sayılabilirlik fikrini berraklaştıracak; ardından diyagonal argümanı adım adım kuracak; sonrasında da sayılamazlığın felsefi ve metodolojik sonuçlarını—özellikle “evrensel olasılık muhasebesi” iştahı karşısındaki sınır bilincini—ele alacaktır.
Sayılabilirliğin anlamı: İnce sonsuz ve kalın sonsuz
Sayılabilirlik, kabaca, bir kümenin elemanlarını doğal sayılarla bire bir eşleştirebilme başarısı demektir. Doğal sayılar, tamsayılar, rasyoneller—sonsuz olmalarına rağmen—sayılabilirdirler. Bu, sezgiye aykırı görünebilir: Rasyonel sayılar o kadar çok ki iki tam sayı arasına sonsuz tane sığar; ama yine de akıllıca bir eşleme ile hepsi bir “liste”ye dizilebilir. “Liste” fikri burada ciddidir: Birinci, ikinci, üçüncü… diye numaralandırabildiğimiz sürece “ince bir sonsuz”la meşgulüzdür.
Diyagonal argümanın gösterdiği şey, reel sayıların bu “ince sonsuzluk” kalıbına sığmadığıdır. Reel doğruda 0 ile 1 arasındaki sayılar, ne kadar zeki bir numaralandırma yaparsak yapalım, tek tek bir sıraya dizilemez; çünkü her liste, ilke gereği eksik olacaktır. İşte bu yüzden, reel sayılar yalnızca “çok” değil, başka türden çoktur.
Diyagonal argüman: Adım adım inşa
Düşünce deneyi kurulsun: 0 ile 1 arasındaki tüm reel sayıları, ondalık açılım biçiminde bir listeye koyduğumuzu varsayalım. Birinci satırda ilk sayı, ikinci satırda ikinci sayı, böyle devam ediyor. Cantor’un manevrası, listedeki her sayının “diyagonal” konumundaki basamağına bakıp bu basamakları sistemli biçimde değiştirmek ve elde edilen yeni sayının listeye ait olamayacağını göstermektir.
Şöyle: Birinci sayının 1. basamağına bak, diyelim 3; onu 4’e çevir. İkinci sayının 2. basamağına bak, diyelim 7; onu 6’ya çevir. Üçüncü sayının 3. basamağına bak, diyelim 0; onu 1’e çevir… Böylece, listedeki n’inci sayının n’inci basamağını değiştire değiştire yeni bir dizilim kurarsın. Sonuçtaki sayı, tanımı gereği, her n için listedeki n’inci sayıdan en az bir basamakta farklıdır. Dolayısıyla yeni sayı listede yoktur.
Bu yokluk, “listelemeyi beceremedin” türünden pedagojik bir azarlama değildir; yapısal bir imkânsızlıktır. Nasıl listelersen listele, nasıl kodlarsan kodla, diyagonal sapma senin üzerine kapanır ve seni eksik bırakır. “Tam liste” miti böylece düşer.
“Tam liste”nin çöküşü: Kapama iştahının sınırı
Diyagonal mantığın felsefi ağırlığı burada başlar. Yazgısı gereği eksik kalan liste, bize yalnızca reel doğruda işlerimizin zor olduğunu söylemez; kapanma fikrinin kendisini hedef alır. Eğer belirli bir evreni—örneğin “bütün olası örüntüler”, “bütün olası dünyalar”, “bütün olası yasalar” gibi grandiyöz genellikleri—deftere geçirip ölçmek, saymak, ağırlık atamak istiyorsak, önce onlara bir numaralandırılabilir örnek uzayı yakıştırırız. Diyagonal argüman, tam burada, “Böyle bir yakıştırma evrensel düzeyde geçerli değildir” uyarısını verir. Matematiksel diliyle: Güç kümesi teoremi, her kapanmayı aşan daha büyük bir kardinalite üretir; “bütün” denen şey, ilk ilkenin konforlu kucağına dönmez.
Bu sınırlama, bilimsel yöntemi küçümsemek değildir. Tersine, yöntemlerin yerel gücünü korumanın yoludur. Bir fizik modelinin örnek uzayı kapalıdır, ölçü tanımlıdır, olasılıklar belirlenmiştir—iyi ki de öyledir; çünkü hesap yapabilmemizi, deney tasarlayabilmemizi sağlayan şey budur. Diyagonal farkındalık, yalnızca şu kibrin önüne set çeker: “Buradaki yerel biçimi evrensel bir garantöre çevirebilirim.”
Sayılamazlığın metodolojik dersi: Ölçü, modalite ve karıştırılan diller
Sayılamazlık üzerinden çıkarılacak ilk metodolojik ders, ölçü ile modaliteyi ayırmaktır. Ölçü kuramında “sıfır ölçülü” olan şey, imkânsız değildir; yalnızca seçilmiş ölçüye göre olasılığı sıfırdır. Modal mantıkta ise “imkânsızlık”, çelişki üretmek anlamına gelir. Bu iki dilin karıştırılması, “asla” ile “çok ama çok nadiren”in birbirine eşitlenmesine yol açar. Sayılamazlığın hatırlattığı, bu diller arasındaki geçişlerde gösterilmesi gereken özen ve ihtiyattır.
İkinci ders, “örnek uzayı”nın kendisinin kurucu bir karar olduğudur. Bir problemi modellersiniz, uygun σ-cebiri seçer, ölçüyü yerleştirir, çalışırsınız. Fakat “bütün mümkün dünyalar” gibi evrensel bir iddiaya geçtiğinizde, artık bu kararların yerel meşruiyeti evrensel garantöre dönüşmez. Diyagonal, “yeni bir sayı” yaratabilme gücünüzün, kapattığınızı sandığınız alanın dışına taşan bir fazla üretmesiyle sizi sürekli uyarır.
Süreklilik hipotezi ve bağımsızlık: Tek mimari yoktur
Cantor’un süreklilik hipotezi (reellerin kardinalitesi doğal sayılardan hemen bir üst basamak mıdır?) üzerine yirminci yüzyılda elde edilen sonuç, bu hipotezin standart küme kuramında bağımsız olduğudur. Bu tarihsel gerçek, soyut bir merak olmaktan fazlasıdır: Sonsuz mimarinin, seçtiğiniz aksiyomatik çerçeveye göre birden çok modelde gerçekleşebileceğini söyler. “Tek mimari” miti kırılır; “bütün”ün kurucu koşulları tek değil, çoğuldur. Diyagonal argüman, bu çoğulluğun mikromekaniğini açığa çıkaran tekniklerden biridir.
Hume, Kant ve “zorunlu düzen” refleksi: Diyagonal ne söyler?
Hume’un meydan okuması—yarın bugünkü düzenin sürmesi zorunlu mudur?—Kant’ın elinde transandantal bir güvence arayışına dönüşür: “Düzen olmasaydı deneyimin birliği olmazdı; demek ki düzen zorunludur.” Bu refleks çoğu kez olasılıkçı bir sezgiye yaslanır: “Düzen rastgele çıkıyorsa, bu kadar sık nasıl çıkar?” Diyagonal argüman ve güç kümesi teoremi, bu sezgiyi evrensel düzeyde temellendirmeyi imkânsızlaştırır. Çünkü evrensel bir “örnek uzayı”nı kapatamazsınız; kapattığınızı sandığınız anda, yeni bir “dışarı” üretilir.
Bu, düzenin değersizleştirilmesi anlamına gelmez; yalnızca zorunlulaştırma hevesine karşı ihtiyatın adıdır. Düzen sürüyorsa, bir fiili istikrar olarak sürüyordur; istikrarın sürmesi kıymetlidir, fakat sürüşü ilke gereği garanti değildir. Diyagonal argüman, bu “garanti dilinin” yerini “sürüş dili”ne bırakmamız gerektiğini telkin eder.
Meillassoux bağlantısı: Olumsal istikrarın rasyonel zemini
Meillassoux’nun “olumsallığın zorunluluğu” tezi—doğa yasalarının zorunluluğunu evrensel olasılık muhasebesiyle ispatlamanın yollarını kapatıp, şeylerin başka türlü olabilmesi fikrini bir tür rasyonel içgörü ve kavramsal gerekçeyle sabitlemeye çalışan atılım—diyagonal farkındalıktan yararlanır. Vurgu önemli: Diyagonal, Meillassoux’yu ispatlamaz; fakat “zorunlu düzen” lehine evrensel bir olasılık hesabı kurma yollarını sistemli biçimde zayıflatır. Böylece geriye, aklın kendini “kırılgan düzen” kavramı etrafında yeniden kurması kalır: Düzen fiilen sürer; ama sürüş bir gerçeklik, bir mutlak ilke değildir.
Bilimde yerellik, felsefede açıklık: Diyagonal terbiyesi
Güncel bilim, zaten yerel model kurma erdemiyle çalışır: Kapsam koşullarını, hata paylarını, parametre bağımlılıklarını ciddiye alır. Diyagonal terbiyesi, bu erdemi felsefeye taşır: Metodolojik yerelliği evrensel garantöre çevirmemek; “bütün”ün kapanmadığını bilerek hüküm vermek; ölçü diliyle modal dili karıştırmamak. Bu, bilime karşı değil; bilimi yanlış yorumlayan metafizik iştaha karşı bir tutumdur.
Sonuç: İmkânsız tam liste, mümkün iyi yaşam
Diyagonal argüman, bize yalnız reel doğruda değil, düşüncenin bütününde bir adab-ı muaşeret öğretir: “Tam liste” imkânsızdır; kapanış, güç kümesiyle aşılır; evrensel olasılık muhasebesi, bir metafor olarak kalır. Bu durum karamsarlık değil, açıklık üretir. Düzenin sürüşünü korumak, onu zorunlu ilkeye dönüştürmekten daha olgun bir siyaset ve etik davettir. İyi yaşam, garantiler talep eden bir haklılık değil; kırılgan istikrarları çoğaltan bir sorumluluk pratiğidir. Diyagonal, tam da bunun matematiksel alegorisidir: Eksik kalan her listede, daha iyi bir sayı inşa etme cesaretini verir.
