Bu yazı, ChatGPT ile Cantor’un sonsuzluk kavramından başlayıp Gödel, matematiksel Platonculuk, Kant ve bilimsel gerçekçilik üzerine uzanan bir sohbetin neticesinde ortaya çıkan düşüncelerin derlenmiş ve sistematik hale getirilmiş bir özetidir.
Matematiksel Gerçeklik ile Temsili Arasındaki Mesafe: Cantor, Gödel, Kant ve Harita–Arazi Problemi
Matematiğin keşfedildiğini mi yoksa icat edildiğini mi sorduğumuzda genellikle iki uç cevapla karşılaşırız. Bir tarafta matematiksel nesnelerin insan zihninden bağımsız olarak var olduğunu savunan matematiksel Platonculuk, diğer tarafta matematiği insanların oluşturduğu aksiyomlar, semboller ve çıkarım kurallarıyla çalışan biçimsel bir sistem olarak gören yaklaşımlar bulunur.
Ancak bu iki seçenek arasında daha temel bir problem vardır:
Matematiksel gerçekliğin bizden bağımsız olduğunu kabul etsek bile, onu temsil etmek için kurduğumuz biçimsel sistemlerin bu gerçekliği eksiksiz temsil ettiğini nereden biliyoruz?
Matematiksel Platonculuğu kabul etmek, insan tarafından geliştirilmiş herhangi bir matematiksel formalizmin matematiksel gerçeklikle özdeş olduğunu kabul etmeyi gerektirmez. Matematiksel gerçekliğin bizden bağımsız olduğunu, buna karşılık aksiyomların, sembollerin, tanımların ve ispat yöntemlerinin bu gerçekliğe ulaşmak için geliştirdiğimiz araçlar olduğunu düşünmek mümkündür.
Bu ayrımı ifade etmek için kullanışlı bir benzetme harita ile gerçek arazi arasındaki farktır.
Harita gerçek bir arazi hakkında bilgi verir. Mesafeleri, yolları, yükseklikleri veya sınırları gösterebilir. Son derece hassas olabilir ve pratik amaçlar için olağanüstü sonuçlar verebilir.
Ancak harita arazi değildir.
Dahası, bir haritanın üzerinde bulunan her özellik arazinin kendisinin bir özelliği olmak zorunda değildir. Koordinat çizgileri, renk kodları, ölçek, projeksiyon ve semboller haritanın temsil yöntemine aittir.
Matematiksel gerçeklik ile formalizasyon arasındaki ilişkinin de buna benzer olması mümkündür.
Matematiksel gerçeklik → formalizasyon → teoremler
Buradaki en problemli ilişki ilk oktadır.
Formalizasyonun kendi içindeki çıkarımlar kusursuz olabilir. Ancak formalizasyonun matematiksel gerçekliğin kendisiyle özdeş olduğu bundan çıkmaz.
Cantor ve Sonsuzluk Problemi
Bu ayrım özellikle Georg Cantor’un sonsuz kümeler üzerine yaptığı çalışmalarda dikkat çekici hale gelir.
Cantor’un temel fikirlerinden biri, iki kümenin büyüklüğünü elemanlarını bire bir eşleştirerek karşılaştırmaktır.
Örneğin sayarken kullandığımız sayıları düşünelim:
1, 2, 3, 4, 5, ...
Şimdi yalnızca çift olanları alalım:
2, 4, 6, 8, 10, ...
İkinci grup birincinin yalnızca bir bölümüdür. Sonlu kümelerde bir kümenin gerçek bir alt kümesi, kümenin kendisinden daha az elemana sahiptir.
Ancak burada şu eşlemeyi kurabiliriz:
1 ↔ 2
2 ↔ 4
3 ↔ 6
4 ↔ 8
...
Genel kural:
n ↔ 2n
şeklindedir.
Her sayma sayısına tam olarak bir çift sayı, her çift sayıya da tam olarak bir sayma sayısı karşılık gelir.
Cantor bu nedenle iki kümenin aynı kardinaliteye, yani aynı matematiksel büyüklüğe sahip olduğunu söyler.
Buraya kadar sonsuzluğun sonlu niceliklerden farklı davrandığını görürüz.
Ancak Cantor daha ileri gider.
0 ile 1 arasındaki bütün sayıları benzer biçimde:
1. sayı
2. sayı
3. sayı
4. sayı
...
şeklinde numaralandırmanın mümkün olduğunu varsayalım.
Her sayıyı ondalık basamaklarıyla yazalım.
Cantor’un diagonal yöntemi, birinci sayının birinci basamağından, ikinci sayının ikinci basamağından, üçüncü sayının üçüncü basamağından ve böyle devam ederek yeni bir sayı tanımlar. Yeni sayının her basamağı, karşılık geldiği satırdaki diagonal basamaktan farklı seçilir.
Böylece oluşturulan sayı:
- birinci sayıdan birinci basamakta,
- ikinci sayıdan ikinci basamakta,
- üçüncü sayıdan üçüncü basamakta,
- herhangi bir n’inci sayıdan n’inci basamakta
farklıdır.
Dolayısıyla listede hangi satır seçilirse seçilsin yeni sayı o satırdaki sayı olamaz.
Bu, 0 ile 1 arasındaki bütün sayıların sayarken kullandığımız sayılarla bire bir eşleştirilemeyeceğini gösterir.
Cantor’un matematiği açısından sonuç açıktır:
Bu iki sonsuz kümenin kardinaliteleri farklıdır.
Burada önemli bir yanlış anlamadan kaçınmak gerekir. Cantor’un argümanı:
“Sonsuz listeye bir sayı daha ekledik, dolayısıyla sonsuzluk büyüdü.”
değildir.
Sonsuz kümelerde bir veya çok sayıda eleman eklemek kardinaliteyi değiştirmeyebilir.
Diagonal argümanın iddiası daha güçlüdür:
Önerilen herhangi bir bire bir eşleştirme eksik kalacaktır.
Bu, klasik küme teorisinin içinde kesin bir matematiksel sonuçtur.
Ancak bundan sonra matematiksel sorudan felsefi soruya geçilir.
“Sonsuz Liste” Gerçekte Nedir?
“Sonsuz liste” ifadesi günlük dil açısından yanıltıcıdır.
Gerçekte kimsenin önünde sonsuz sayıda satır bulunan fiziksel bir liste yoktur. Matematikte burada kastedilen şey, her sayma sayısına bir nesne atayan bir eşlemedir.
Aynı şekilde diagonal işlem de pratik olarak sonsuz sayıda basamağın okunup değiştirilmesi değildir.
Yeni sayının n’inci basamağının nasıl belirleneceğini söyleyen genel bir kuraldır.
Bu nedenle diagonal kanıtın fiziksel olarak tamamlanması gerekmez.
Ancak tam burada daha temel bir soru ortaya çıkar:
“Her n için” dediğimizde ne hakkında konuşuyoruz?
Henüz ulaşılmamış bir basamağı değil, sayarken kullanılan bütün sayıların tamamını tek bir matematiksel bütün olarak ele alıyoruz.
Burada “potansiyel sonsuzluk” ile “tamamlanmış sonsuzluk” arasındaki fark önem kazanır.
Potansiyel sonsuzluk:
1, 2, 3, 4, ...
sürecinin hiçbir zaman sona ermemesidir. Her sayının ardından başka bir sayı yazılabilir.
Tamamlanmış sonsuzluk ise bu bitmeyen sürecin bütün elemanlarını tek bir matematiksel nesne olarak ele almaktır.
Cantor’un küme teorisi ikinci anlayışla çalışır.
Dolayısıyla diagonal kanıtın matematiksel geçerliliğini kabul etmek ile tamamlanmış sonsuz kümelerin ontolojik statüsü hakkında belirli bir görüşü kabul etmek aynı şey değildir.
Matematiksel Platonculuk Problemi Tek Başına Çözmez
Matematiksel Platonculuğa göre sayılar, geometrik yapılar ve diğer matematiksel nesneler insan zihninden bağımsızdır.
Bu görüş altında 2 + 2 = 4 ifadesinin doğruluğu insanların kullandığı sembollere bağlı değildir. İnsanlar hiç var olmamış olsaydı da ilgili matematiksel ilişki doğru olurdu.
Ancak buradan önemli bir sonuç otomatik olarak çıkmaz:
İnsanların geliştirdiği küme teorisinin yapısı, Platonik matematiksel gerçekliğin yapısıyla bire bir aynıdır.
Sayıların bizden bağımsız varlığını kabul etmek, onların bizim tanımladığımız biçimde “tamamlanmış sonsuz kümeler” oluşturduğunu ayrıca kabul etmeyi gerektirmeyebilir.
Aynı şekilde bire bir eşleştirmenin matematiksel olarak son derece iyi tanımlanmış olması, kardinalitenin matematiksel gerçekliğin temel ontolojik özelliklerinden biri olduğunu tek başına kanıtlamaz.
Buradaki ayrım şöyle ifade edilebilir:
Matematiksel gerçeklik vardır.
ile
Klasik küme teorisi bu gerçekliğin ontolojisini eksiksiz verir.
aynı önerme değildir.
Birinciyi kabul edip ikinci konusunda kuşkucu olmak mümkündür.
Bu durumda Cantor’un sonucu reddedilmez. Daha dikkatli yorumlanır:
Klasik küme teorisinin tanımları ve aksiyomları altında bazı sonsuz kümeler arasında bire bir eşleme kurulamaz ve dolayısıyla farklı kardinalitelere sahiptirler.
Bundan:
Matematiksel gerçekliğin kendisinde ontolojik olarak farklı büyüklüklerde sonsuzluklar vardır.
sonucuna geçmek ek bir felsefi taahhüt gerektirir.
Harita ile Arazi Arasındaki Fark
Bu ayrımı daha genel biçimde ele almak için matematiksel gerçekliği bir arazi, formalizmi ise bu arazinin haritası olarak düşünelim.
İyi bir harita arazi hakkında gerçek bilgi taşır.
Ancak harita araziyi temsil edebilmek için bazı özellikleri seçmek, bazılarını ihmal etmek ve bazılarını dönüştürmek zorundadır.
Bir metro haritasını düşünelim.
Metro haritasında iki istasyon arasındaki gerçek coğrafi mesafe bozulmuş olabilir. Hatların yönleri gerçek dünyadaki yönlerle bire bir örtüşmeyebilir. Buna karşılık hangi istasyondan hangisine geçilebildiği son derece doğru gösterilir.
Topografik harita başka özellikleri korur.
Siyasi harita başka özellikleri.
Jeolojik harita başka özellikleri.
Aynı arazi için birden fazla doğru harita mümkündür.
Buradaki önemli nokta şudur:
Haritanın doğruluğu, haritanın araziyle özdeş olması anlamına gelmez.
Daha da önemlisi, haritanın kendi temsil sisteminden kaynaklanan özellikleri araziye aitmiş gibi yorumlamak mümkündür.
Örneğin dünya haritasındaki koordinat çizgileri Dünya yüzeyinde fiziksel çizgiler değildir.
Bir harita projeksiyonunda Grönland’ın belirli biçimde görünmesi de Grönland’ın gerçek geometrisinin doğrudan özelliği olmayabilir; kullanılan projeksiyonun sonucudur.
Matematiksel formalizmler için de benzer bir soru sorulabilir:
Formal sistem içinde gördüğümüz hangi özellikler matematiksel arazinin gerçek yapısını, hangileri kullandığımız temsil biçimini yansıtıyor?
Bu sorunun matematiğin kendi içinden tamamen cevaplanması mümkün olmayabilir.
Haritanın Üzerinde Keşif Yapmak
Burada daha ince bir problem ortaya çıkar.
Bir harita üzerinde matematiksel olarak kusursuz bir çıkarım yapabiliriz.
Örneğin belirli bir projeksiyonda iki nokta arasındaki ilişkiyi hesaplayabiliriz. Hesabımızda hiçbir hata bulunmayabilir.
Ancak hesaplanan özelliğin araziye hangi anlamda karşılık geldiği ayrı bir sorudur.
Benzer biçimde Cantor’un diagonal kanıtında da formal sistemin kendi içinde bir hata bulunması gerekmeyebilir.
Asıl soru şudur:
Kanıtın ortaya çıkardığı kardinalite yapısı matematiksel arazinin özelliği midir, yoksa kullandığımız küme-teorik haritanın özelliği midir?
Bu soru Cantor’un kanıtını geçersiz kılmaz.
Kanıtın ne hakkında konuştuğunu sorgular.
Bu ikisi birbirinden farklıdır.
Gödel: Harita Arazinin Tamamını Kapsayabilir mi?
Kurt Gödel’in eksiklik teoremleri bu tartışmada özel bir yere sahiptir.
Çok kabaca, yeterince aritmetik ifade edebilen, tutarlı ve etkili biçimde aksiyomlaştırılmış bir formel sistemde, sistem içinde karar verilemeyen ifadeler bulunur.
Bu nedenle belirli koşullar altında:
matematiksel doğruluk
ile
belirli bir formel sistem içinde kanıtlanabilirlik
aynı kavram değildir.
Burada dikkatli olmak gerekir.
Gödel:
“Bütün matematiksel formalizmler zorunlu olarak eksik haritalardır.”
şeklinde genel bir felsefi teorem kanıtlamadı.
Eksiklik teoremleri belirli özelliklere sahip formel sistemler hakkındadır.
Ancak Gödel’in sonucu, matematiksel gerçekliğin tek bir etkili aksiyomatik sistem tarafından bütünüyle tüketilebileceği fikrine ciddi bir sınır getirir.
Bir sistem düşünelim:
S
Sistem içinde karar verilemeyen bir ifade ortaya çıksın:
G
G’yi yeni bir aksiyom olarak kabul ederek sistemi genişletebiliriz:
S' = S + G
Ancak uygun koşullar altında yeni sistem de kendi eksiklikleriyle karşılaşır.
Bu süreç:
S → S' → S'' → ...
şeklinde devam ettirilebilir.
Harita benzetmesinde bunu şöyle yorumlamak mümkündür:
Haritayı genişletebiliriz, ayrıntılandırabiliriz veya başka bir harita geliştirebiliriz; fakat bundan tek bir haritanın bütün araziyle özdeş olabileceği sonucu çıkmaz.
Gödel’in kendisi matematiksel Platonculuğa yakındı. Matematiksel gerçekliği yalnızca insanların oluşturduğu sembolik kurallardan ibaret görmüyordu.
Bu nedenle Gödelci bir Platoncu açısından eksiklik oldukça doğal biçimde yorumlanabilir:
Matematiksel arazi, belirli bir formel haritanın gösterebildiklerinden daha geniştir.
Ancak bu, eksiklik teoreminin kendisi değil, onun felsefi yorumlarından biridir.
Gödel Cantor’u Çürütmez
Burada önemli bir ayrım yapılmalıdır.
Gödel’in eksiklik teoremleri:
“Cantor’un sonsuzlukları yalnızca formalizasyon artefaktıdır.”
sonucunu vermez.
Gödel’in kendisi de Cantor’un transfinit matematiğini ciddiye alıyordu.
Dolayısıyla Gödel’den Cantor’un yanlış olduğu sonucu çıkarılamaz.
Fakat Gödel’in çalışması daha genel bir uyarı sağlar:
Formel temsil ile matematiksel doğruluğu özdeşleştirmek dikkat gerektirir.
Bu nedenle matematiksel Platonculuğu kabul edip aynı zamanda belirli formal sistemlerin ontolojik şeffaflığı konusunda kuşkucu olmak mümkündür.
Bu pozisyon şöyle ifade edilebilir:
Matematiksel arazi gerçektir; ancak elimizdeki haritaların arazinin kendisi olduğunu varsaymak zorunda değiliz.
Kant ve “Kendinde Şey”
Bu problem matematikten genel bilgi problemine taşındığında Immanuel Kant’ın “kendinde şey” kavramıyla karşılaşırız.
Kant’ın temel ayrımlarından biri, şeylerin bize göründükleri hali ile bizden bağımsız olarak ne oldukları arasındadır.
İnsan zihni dış dünyayı pasif biçimde kaydeden bir cihaz değildir.
Deneyim, insan algısının ve zihinsel kategorilerin yapısından geçerek oluşur.
Bu nedenle:
deneyimlediğimiz dünya
ile
dünyanın bizden bağımsız olarak kendinde ne olduğu
arasında doğrudan bir özdeşlik kuramayız.
Harita benzetmesi burada daha da radikal hale gelir.
Normal bir coğrafi durumda hem araziye hem haritaya erişebiliriz. Haritayı araziyle karşılaştırabiliriz.
Kant’ın probleminde ise elimizde böyle bir imkân yoktur.
Çünkü “araziye bakmak” dediğimiz anda bile onu insan algısı ve kavramsallaştırması üzerinden deneyimleriz.
Dolayısıyla elimizde:
çıplak arazi + harita
şeklinde iki bağımsız nesne bulunmaz.
Arazinin kendisini görmek için haritadan çıkmaya çalıştığımızda bile yeni bir temsil üretiriz.
Bu nedenle daha doğru şema şöyledir:
? → algı ve zihinsel yapı → deneyimlenen dünya
Soldaki soru işaretinin tam olarak ne olduğunu bilmiyoruz.
Hatta ona “arazi” demek bile yalnızca bir metafordur.
Fizik Haritayı Aşabilir mi?
Bilim bu problemi ortadan kaldırmaz, fakat önemli ölçüde değiştirir.
Fiziksel teoriler yalnızca gözlemleri sınıflandırmakla kalmaz. Daha önce gözlenmemiş olaylar hakkında nicel tahminlerde bulunabilir.
Bu tahminlerin deneylerle doğrulanması, teorilerin dış gerçekliğin bazı özelliklerini gerçekten yakaladığı düşüncesini güçlendirir.
Ancak:
“Bir teorinin tahminleri olağanüstü doğrudur.”
ile
“Teorinin kullandığı ontolojik nesneler gerçekliğin kendisidir.”
aynı iddia değildir.
Örneğin elektronların davranışını son derece yüksek doğrulukla hesaplayabiliriz.
Ancak:
“Elektron kendinde nedir?”
sorusuyla
“Elektron hangi ilişkiler altında nasıl davranır?”
sorusu farklıdır.
Fizik ikinci soruya çok güçlü cevaplar verir.
Birinci sorunun aynı biçimde cevaplanabilir olup olmadığı açık değildir.
Benzer biçimde bir kuantum alanının matematiksel yapısını tanımlayabiliriz. Alanın nasıl evrildiğini, hangi etkileşimlere girdiğini ve hangi deney sonuçlarını verdiğini hesaplayabiliriz.
Ancak:
“Kuantum alanı ontolojik olarak nedir?”
diye sorduğumuzda çoğu zaman yeniden matematiksel ilişkilerini anlatmaya başlarız.
Bu durum, bilimin şeylerin “ne olduğunu” değil, en azından öncelikle “nasıl ilişkiler kurduklarını” yakalıyor olabileceği fikrini doğurur.
Yapısal Realizm
Bu noktada yapısal realizm adı verilen yaklaşım özellikle ilginç hale gelir.
Yapısal realizmin temel düşüncesi kabaca şöyledir:
Belki bilim bize şeylerin nihai olarak ne olduğunu söylemekte sınırlıdır.
Ancak şeyler arasındaki ilişkisel yapıyı gerçekten keşfedebilir.
Bu durumda bilimsel ilerleme:
yanlış harita → doğru harita
şeklinde düşünülmek zorunda değildir.
Daha uygun model:
daha sınırlı harita → daha kapsamlı harita
olabilir.
Yeni harita eskisinin başarılı biçimde yakaladığı ilişkileri korurken daha geniş bir alanı açıklayabilir.
Newton mekaniğinin belirli koşullarda daha kapsamlı teorilerden yaklaşık olarak geri elde edilmesi buna örnek oluşturur.
Bu perspektif, bilimsel realizm ile epistemolojik ihtiyat arasında bir orta yol sağlar.
Dış gerçekliğin var olduğunu kabul ederiz.
Onun hakkında gerçek bilgi edindiğimizi kabul ederiz.
Ancak teorilerimizin kullandığı bütün nesnelerin ve kavramların gerçekliğin ontolojik yapısıyla bire bir aynı olduğunu iddia etmek zorunda değiliz.
Matematik İçin Yapısal Realizm Mümkün mü?
Aynı yaklaşım matematiğe uygulanabilir.
Matematiksel Platonculuğu kabul edelim:
Matematiksel gerçeklik insan zihninden bağımsızdır.
Ancak insanların oluşturduğu formal sistemlerin bu gerçekliğin haritaları olduğunu düşünelim.
Bu haritalar gerçek ilişkileri yakalayabilir.
Birbirleriyle tutarlı olabilir.
Yeni sonuçlar öngörebilir.
Birbirlerinin belirli bölümlerini kapsayabilir.
Fakat hiçbirinin matematiksel araziyle ontolojik olarak özdeş olduğunu baştan varsaymak zorunda değiliz.
Bu durumda Cantor’un teorisi son derece başarılı ve güçlü bir harita olabilir.
Gödel’in sonuçları başka bir yapısal sınırı gösterebilir.
Başka formalizmler matematiksel arazinin farklı yönlerini yakalayabilir.
Böyle bir görüş matematiği keyfî bir insan icadına indirgemez.
Tam tersine, matematiğin bizden bağımsız bir nesnesi bulunduğunu kabul eder.
Kuşku duyulan şey arazinin varlığı değil, belirli bir haritanın araziyle özdeşliğidir.
Haritanın Doğruluğunu Nasıl Test Ederiz?
Burada ciddi bir epistemolojik problem ortaya çıkar.
Coğrafi haritada doğruluğu test etmek kolaydır:
Haritayı alır, araziye gider ve karşılaştırırız.
Matematiksel gerçeklikte ise bağımsız bir “arazi ölçümü” yapmak mümkün görünmez.
Bir matematiksel formalizmi başka matematiksel düşüncelerle değerlendiririz.
Bir aksiyom sistemini başka mantıksal araçlarla inceleriz.
Bir teoremin sonuçlarını başka matematiksel yapılarla karşılaştırırız.
Dolayısıyla bir anlamda:
harita₁ ↔ harita₂ ↔ harita₃
karşılaştırmaları yapıyoruz.
“Arazinin kendisi” doğrudan karşılaştırmanın tarafı haline gelmiyor.
Fizikte durum biraz farklıdır, çünkü deneysel ölçüm vardır.
Ancak deneyin kendisi de tamamen temsil dışı değildir.
Bir cihaz fiziksel olayla etkileşir.
Sinyal üretir.
Sinyal kaydedilir.
Veri işlenir.
Sonuç teorik kavramlar içinde yorumlanır.
Dolayısıyla fizik bile gerçekliği hiçbir aracılık olmaksızın bize sunmaz.
Buna rağmen bağımsız yöntemlerin aynı sonuçlara ulaşması son derece önemlidir.
Farklı cihazlar, farklı teorik yollar ve farklı deney düzenekleri aynı nicel yapıya yaklaşıyorsa, bunun yalnızca tek bir temsil sisteminin iç özelliği olması giderek daha az olası görünür.
Bu, yapısal realizmin en güçlü dayanaklarından biridir.
Kaynağın Varlığını Nereden Biliyoruz?
Bütün bunlardan sonra daha radikal bir soru ortaya çıkar:
Eğer yalnızca haritalara erişiyorsak, bir arazi olduğunu nereden biliyoruz?
Bu soruya matematiksel bir ispat vermek kolay değildir.
Ancak dış gerçeklik lehine güçlü gerekçeler vardır.
Dünya beklentilerimize direnç gösterir.
Deneyler kişisel tercihlerimize göre sonuçlanmaz.
Bağımsız gözlemciler aynı ilişkileri bulabilir.
Teoriler henüz yapılmamış deneylerin sonuçlarını doğru tahmin edebilir.
Farklı yöntemlerle yapılan ölçümler aynı nicel yapılarda birleşebilir.
Bunların tamamı, temsil sistemlerimizden bağımsız düzenli bir kaynak bulunduğunu düşünmek için güçlü gerekçeler sağlar.
Ancak:
“Bir arazi vardır.”
ile
“Arazinin kendinde ne olduğunu biliyoruz.”
aynı iddia değildir.
İlkini kabul edip ikincisi konusunda çok daha ihtiyatlı olmak mümkündür.
Cantor’a Geri Dönüş
Bu çerçevede Cantor’un diagonal kanıtına yeniden baktığımızda başlangıçtaki problem daha kesin biçimde ifade edilebilir.
Cantor’un kanıtı, klasik küme teorisinin içinde belirli sonsuz kümeler arasında bire bir eşleme kurulamayacağını gösterir.
Bu matematiksel sonuç ile:
“Matematiksel gerçekliğin kendisinde farklı büyüklüklerde sonsuzluklar vardır.”
şeklindeki ontolojik yorum arasında bir adım vardır.
Bu adım çoğu zaman fark edilmeden atılır.
Oysa Platoncu fakat formalizm konusunda ihtiyatlı bir yaklaşım şu soruyu sorabilir:
Kardinalite, matematiksel arazinin temel bir özelliği midir, yoksa onu anlamak için kullandığımız küme-teorik haritanın koordinat sistemlerinden biri midir?
Bu soru diagonal kanıtta hata aramaz.
Diagonal kanıtın bize ne hakkında bilgi verdiğini sorgular.
Bu nedenle Cantor’a yönelik felsefi açıdan daha güçlü soru:
“Diagonal kanıt doğru mu?”
değildir.
Daha temel soru şudur:
“Diagonal kanıtın ortaya çıkardığı yapının matematiksel gerçekliğin ontolojik yapısıyla aynı olduğunu nereden biliyoruz?”
Bu sorunun cevabı artık yalnızca matematiğin kendi içinde bulunamaz.
Sonuç
Bu tartışmada birbirinden ayrılması gereken en az dört iddia vardır:
- Bizden bağımsız bir gerçeklik vardır.
- Bu gerçeklikte keşfedilebilir düzen ve yapılar vardır.
- Matematik ve fizik bu yapıların en azından bir bölümünü gerçekten yakalayabilir.
- Belirli bir matematiksel veya fiziksel formalizm, bu gerçekliğin ontolojik yapısıyla özdeştir.
İlk üç iddiayı kabul edip dördüncü konusunda kuşkucu olmak mümkündür.
Böyle bir pozisyon matematiği keyfî bir sembol oyununa indirgemez.
Aynı zamanda kullandığımız matematiksel araçları gerçekliğin kendisiyle özdeşleştirmekten kaçınır.
Bu bakımdan harita–arazi ayrımı önemlidir.
Harita yanlış olmak zorunda değildir.
Harita gerçek bilgi taşıyabilir.
Harita son derece hassas olabilir.
Bir harita diğerinden açıkça daha iyi olabilir.
Bir harita henüz gidilmemiş bölgeler hakkında doğru tahminlerde bulunmamızı bile sağlayabilir.
Ancak bütün bunlardan:
harita = arazi
sonucu çıkmaz.
Cantor klasik küme teorisi haritasında sonsuzluğun beklenmedik yapısını ortaya koyar.
Gödel belirli formal haritaların kendi sınırlarını gösterir.
Kant, insan deneyiminin haritanın tamamen dışına çıkıp “kendinde araziyi” görüp göremeyeceğini sorgular.
Modern fizik ise giderek daha hassas ve kapsamlı haritalar üretirken, bu haritaların altında yatan gerçekliğin ontolojik olarak ne olduğu sorusunu her zaman aynı kesinlikle cevaplayamaz.
Belki bilim ve matematiğin erişebildiği en sağlam şey, nesnelerin nihai olarak ne olduklarından çok, hangi ilişkiler içinde bulunduklarıdır.
Bu durumda bilgi ilerledikçe haritalarımız daha kapsamlı, daha tutarlı ve daha öngörücü hale gelebilir.
Fakat bundan arazinin kendisine doğrudan eriştiğimiz sonucu zorunlu olarak çıkmaz.
Dolayısıyla temel soru açık kalır:
Bir araziyi giderek daha doğru haritalandırmak, arazinin kendisini giderek daha doğrudan kavradığımız anlamına gelir mi?
Bu soru yalnızca matematiğe ait değildir. Matematik felsefesi, fizik felsefesi ve epistemolojinin ortak problemlerinden biridir.
