Matematik neden işe yarıyor? FilMat 2026 Bologna'da toplanıyor

Bir fizikçi denklem kurar. Denklem, henüz kimsenin görmediği bir parçacığın varlığını öngörür. Yıllar sonra parçacık bulunur.

Bu neden mümkün?

Soru masum görünür ama matematik felsefesinin en zor problemidir. Fizikçi Eugene Wigner 1960'ta buna bir ad verdi: matematiğin doğa bilimlerindeki makul olmayan etkililiği.

Bu problem, 9-11 Eylül 2026'da Bologna Üniversitesi'nde toplanacak konferansın merkezinde.

FilMat 2026 — Philosophy of Mathematics: Applicability, Ontology and Reasoning, İtalyan matematik felsefesi ağının beşinci uluslararası konferansı. Başlıktaki üç sözcük, alanın bugünkü gündemini özetliyor: uygulanabilirlik, ontoloji ve akıl yürütme.

Üç problem#

Uygulanabilirlik#

Matematik, insan zihninin ürettiği bir simge sistemi mi, yoksa dünyanın yapısını mı okuyor?

Eğer birincisiyse, fiziğe bu kadar iyi oturması açıklanmayı bekleyen bir mucize. Eğer ikincisiyse, matematiksel nesnelerin nerede olduğunu söylememiz gerekiyor.

Bu ikilem, alanın bütün öteki tartışmalarını besliyor.

Ontoloji#

Konferansın açılış konuşmalarından biri, Ohio State Üniversitesi'nden Chris Pincock'a ait ve başlığı doğrudan bu probleme dokunuyor: "Matematiksel nesnelerin bir doğası var mıdır?"

Soru şöyle açılıyor. Bir matematikçi üçgenler üzerine çalışırken neyle uğraşıyor? Fiziksel dünyada kusursuz bir üçgen yok — çizilen her üçgenin kenarları kalınlık taşır. Öyleyse "üçgen" nedir?

Platoncu yanıt: Matematiksel nesneler zaman ve mekân dışında, zihinden bağımsız olarak vardır. Matematikçi keşfeder, icat etmez.

Kurgucu yanıt: Matematik yararlı bir kurgudur. "İki asal sayı arasında…" demek, bir romanda "Anna Karenina şunu düşündü" demek gibidir — doğruluk kurgunun içinde geçerlidir.

Yapısalcı yanıt: Sayılar nesne değil, bir yapıdaki konumlardır. "2" diye bir şey yoktur; doğal sayı dizisinde ikinci konum vardır.

Pincock'un sorusunun keskinliği şurada: Bir nesnenin doğası olması, onun var olmasından fazlasını gerektirir. Sokrates'in bir doğası vardır — insan olması. Peki sayı 7'nin doğası nedir? Yoksa 7 hakkında söylenebilecek her şey, onun öteki sayılarla ilişkilerinden mi ibarettir?

Bu, sitemizde bugün ele aldığımız Kit Fine'ın öz kavramıyla doğrudan kesişiyor.

Akıl yürütme#

Üçüncü başlık son yılların en canlı alanı: Matematikçiler fiilen nasıl akıl yürütür?

Klasik görüş, matematiksel kanıtı biçimsel bir çıkarım zinciri sayar. Ama gerçek matematik pratiği böyle görünmüyor: Diyagramlar kullanılıyor, "açıkça görülüyor ki" deniyor, bilgisayar destekli kanıtlar kabul ediliyor.

Bir kanıtı kanıt yapan nedir? Kimsenin baştan sona okuyamayacağı, bilgisayarın ürettiği bir kanıt bilgi verir mi?

Neden Bologna?#

Konferansın yeri sembolik. Bologna Üniversitesi, kesintisiz olarak faaliyet gösteren en eski üniversite kabul edilir; kuruluşu 1088'e tarihlenir.

Ve matematik felsefesi açısından İtalya'nın özel bir geçmişi var: Giuseppe Peano'nun aksiyomatik programı, on dokuzuncu yüzyıl sonunda matematiğin temellerini arama çabasının kurucu adımlarındandı.

FilMat ağı, bu geleneği çağdaş analitik matematik felsefesiyle sürdürmeyi amaçlıyor.

Türkiye'den bakınca#

Matematik felsefesi Türkiye'de görece dar bir alan; çalışmalar çoğunlukla mantık ve bilim felsefesi başlıkları altında yürüyor.

Oysa bu köşede bu ay ele aldığımız dergi haritasında görüldüğü gibi, Mantık Araştırmaları Dergisi gibi yayınlar ve Mantık Derneği gibi yapılar bir zemin oluşturuyor.

FilMat'ın modeli — ulusal bir ağın düzenli uluslararası konferans üretmesi — bu zemin için izlenmeye değer bir örnek.

Pratik bilgiler#

• Tarih: 9-11 Eylül 2026
• Yer: Bologna Üniversitesi Felsefe Bölümü, Bologna / İtalya
• Düzenleyen: FilMat — İtalyan Matematik Felsefesi Ağı
• Açılış konuşmacılarından: Chris Pincock (Ohio State University)

Ayrıntılı program filmatnetwork.com adresinde.