Matematik günlük yaşamdan bilimsel araştırmalara kadar pek çok alanda kullanılan bir bilgi alanıdır. Ancak matematik felsefesi, matematiğin nasıl kullanıldığından çok onun ne olduğu sorusuyla ilgilenir. Matematik felsefesinin en etkili yaklaşımlarından biri Matematiksel Platonculuktur.
Kökeni Antik Yunan’a, özellikle Platon’un düşüncelerine kadar uzanan bu görüş, matematiksel nesnelerin insan zihninden ve fiziksel dünyadan bağımsız olarak var olduğunu savunur. Bu yüzden Matematiksel Platonculuk, günümüzde de matematik felsefesinin en çok tartışılan yaklaşımlarından biri olmayı sürdürmektedir.
Matematiksel Platonculuk Nedir?
“4” dediğimizde tam olarak neyden söz ederiz? Bir kâğıda yazılmış 4 rakamından mı, zihnimizde canlanan bir fikirden mi, yoksa bunlardan bağımsız bir şeyden mi? Matematiksel Platonculuk üçüncü seçeneği savunur.
Matematikte kullandığımız bazı ifadeler ilk bakışta çok sıradan görünür. “4 çifttir”, “2 + 2 = 4” ya da “sonsuz sayıda asal sayı vardır” dediğimizde, sanki belli nesneler hakkında konuşuruz. Fakat burada ilginç bir sorun ortaya çıkar: Bu cümlelerin konusu olan sayılar tam olarak nerededir?
Matematiksel Platonculuk, bu soruya güçlü ama tartışmalı bir cevap verir. Bu görüşe göre sayılar, kümeler, fonksiyonlar ve geometrik şekiller insanın uydurduğu semboller değildir. Onlar matematiksel cümlelerin gerçekten sözünü ettiği nesnelerdir. Ancak bu nesneler fiziksel dünyadaki şeylere benzemez.
Platoncular bu yüzden matematiksel nesnelere “soyut nesneler” der. Soyut nesneler fiziksel değildir. Onlara dokunamayız, onları göremeyiz ya da ölçemeyiz. Buna rağmen Platonculara göre bu nesneler gerçektir. Örneğin 4 sayısı, onu düşünen biri olmasa da varlığını sürdürür.
Bu anlayış matematiğe özel bir anlam kazandırır. Matematikçi, yalnızca sembollerle işlem yapan biri değildir; soyut yapılar arasındaki ilişkileri ortaya çıkaran kişidir. Bu nedenle Platoncular için matematik büyük ölçüde bir keşif etkinliğidir. İnsanlar matematiksel dili kurabilir, yeni gösterimler geliştirebilir; fakat bu dilin ortaya çıkardığı ilişkiler bize bağlı değildir.
Frege ve Platonculuğun Savunusu
Matematiksel Platonculuk lehine en çok tartışılan argümanlardan biri Platon’dan değil, Gottlob Frege’den gelir. Frege’ye göre matematik dili yalnızca sembollerin yan yana dizildiği kapalı bir sistem değildir. Matematiksel ifadeler, tıpkı gündelik dildeki ifadeler gibi, belirli şeylere gönderme yapar.
Örneğin “3 asaldır” dediğimizde yalnızca “3” ve “asal” sembollerini belli bir kurala göre kullanmış olmayız. Aynı zamanda 3 sayısı hakkında bir şey söylemiş oluruz. Benzer şekilde “sonsuz sayıda asal sayı vardır” cümlesi de yalnızca biçimsel bir ifade değil, doğru ya da yanlış olabilen bir önermedir.
Fregeci argümanın merkezinde ontolojik bağlılık fikri bulunur. Bu fikre göre bir cümlenin doğru olabilmesi için hangi varlıkları varsaymamız gerekiyorsa, o cümle bizi o varlıkların varlığını kabul etmeye yöneltir.
Günlük dilden düşünürsek, “Ay Dünya’nın etrafında döner” cümlesinin doğru olduğunu kabul ediyorsak, Ay’ın varlığını da kabul ederiz. Frege’ye göre matematikte de benzer bir durum vardır: Eğer matematiksel teoremler doğruysa ve bu teoremler sayılar, kümeler ya da fonksiyonlar hakkında konuşuyorsa, bu nesnelerin varlığını tümüyle reddetmek zorlaşır.
Fregeci argümanın Platonculuk açısından önemi burada ortaya çıkar. Matematiksel dil gerçekten sayılar, kümeler ve fonksiyonlar hakkında konuşuyorsa ve bu dilde kurulan birçok cümle doğruysa, bu nesnelerin varlığını tamamen reddetmek kolay değildir. Platonculuk, bu noktada matematiğin nesnel görünümünü açıklamak için güçlü bir seçenek hâline gelir.
20. yüzyılda Kurt Gödel ve Willard Van Orman Quine da Platonculuk tartışmasına önemli katkılar yapmıştır. Gödel ve Quine, özellikle insanların soyut nesneler hakkında nasıl bilgi edinebileceği sorunuyla ilgilenmiştir. Ancak onların katkısı, Platonculuğun temel iddiasını değiştirmekten çok, bu iddiayı nasıl savunabileceğimizi açıklamaya yöneliktir.
Matematiksel Platonculuğa Yönelik İtirazlar
Matematiksel Platonculuk güçlü bir görüş olsa da herkes tarafından kabul edilmez. Temel itiraz şudur: Sayılar, kümeler ve fonksiyonlar gerçekten varsa, ama fiziksel dünyada bulunmuyorsa, onların varlığından nasıl söz edebiliriz?
Bu soruya farklı cevaplar verilmiştir. Örneğin psikolojizm, matematiksel nesneleri insan zihnindeki fikirler olarak açıklar. Buna göre sayılar, biz onları düşündüğümüz ölçüde vardır. Ancak bu yaklaşım matematiksel doğruları zihne fazla bağımlı hâle getirir. Eğer sayılar yalnızca zihinsel fikirlerse, insan zihni ortadan kalktığında “2 + 2 = 4” gibi doğruların da ortadan kalkması gerekir.
Fizikselcilik ise matematiksel nesneleri fiziksel dünyanın özellikleriyle ilişkilendirir. Bu görüşte sayılar, nesne gruplarının sahip olduğu özellikler gibi düşünülebilir. Fakat bu açıklama özellikle sonsuzluk, kümeler ve ileri matematiksel yapılar söz konusu olduğunda yetersiz kalır. Çünkü matematik çoğu zaman fiziksel dünyada doğrudan karşılığı olmayan yapılardan söz eder.
Bu nedenle Platoncular, psikolojizm ve fizikselciliğin matematiğin nesnelliğini tam olarak açıklayamadığını ileri sürer. Onlara göre matematiksel doğruların kişiden kişiye ya da fiziksel koşullara göre değişmemesi, matematiksel nesneleri soyut varlıklar olarak düşünmeyi daha makul kılar.
Kurguculuk ve Vazgeçilmezlik Tartışması
Platonculuğa karşı en önemli çağdaş görüşlerden biri kurguculuktur. Kurgucular, matematiksel ifadelerin anlamlı, tutarlı ve son derece yararlı olduğunu kabul eder. Ancak bu ifadelerin gerçekten var olan soyut nesneler hakkında konuştuğunu reddederler.
Bu görüşe göre matematik, bir tür kurgu sistemi gibi düşünülebilir. Bir romandaki karakterler hakkında anlamlı cümleler kurabiliriz; fakat bu karakterlerin gerçek dünyada var olduğunu düşünmeyiz. Kurguculara göre matematiksel ifadeler de buna benzer biçimde çalışır. “2 + 2 = 4” matematik içinde doğrudur; ama bu, 2 ya da 4 gibi sayıların bağımsız varlıklar olduğunu göstermek zorunda değildir.
Platoncular bu noktada matematiğin bilimlerdeki rolüne dikkat çeker. Fizik, mühendislik ve doğa bilimleri matematik olmadan bugünkü biçimiyle kurulamazdı. Bu yüzden Platoncular, başarılı bilimsel teoriler matematiğe dayanıyorsa, matematiksel doğruları da yalnızca kurgu saymanın zor olduğunu savunur. Bu düşünceye vazgeçilmezlik argümanı denir.
Kurgucular ise matematiğin vazgeçilmez olmasının tek başına yeterli olmadığını söyler. Matematik, dünyayı anlamamızı sağlayan çok güçlü bir araçtır. Ama bir aracın işe yaraması, onun sözünü ettiği her şeyin gerçekten var olduğunu göstermez. Böylece tartışma, matematiğin başarısını nasıl yorumlamamız gerektiği sorusuna dayanır.
Sonuç Olarak
Matematik felsefesinin temel sorularından biri hâlâ açıktır: Matematik, gerçekten var olan soyut bir dünyanın bilgisini mi sunmaktadır, yoksa yalnızca insanın geliştirdiği son derece başarılı bir düşünme aracı mıdır? Bu soru kesin olarak cevaplanmış değildir. Ancak Matematiksel Platonculuk, bu tartışmanın merkezindeki en etkili ve en güçlü görüşlerden biri olmayı sürdürmektedir.
Kaynaklar ve ileri okumalar
- Montero, Barbara. (2022). Mathematical platonism and the causal relevance of abstracta. Synthese. 200. 10.1007/s11229-022-03962-x.
- Dunne, Luke. “Mathematical Platonism: Is Mathematics Found or Made?” TheCollector.com, January 15, 2023, https://www.thecollector.com/mathematical-platonism-found-or-made/
- Patton, Anthony. (2021). The Illusion of Mathematical Platonism. 12. 40623-40628. 10.24327/ijrsr.2021.1201.5732.
Matematiksel
