Finitizm: Bazı Matematikçiler Neden Sonsuzluğa İnanmaz?

Matematiğin Her Yerindeki Sonsuz

Modern matematik sonsuzlukla dolu. "Sonsuz çoklukta asal sayı vardır" deriz. Bir doğru parçasının sonsuz çoklukta nokta içerdiğini söyleriz. Hatta Georg Cantor sayesinde, farklı büyüklükte sonsuzluklar olduğunu bile kanıtlarız — sayılamaz sonsuzluğun, sayılabilir sonsuzluktan "daha büyük" olduğunu. Sonsuzluk, çağdaş matematiğin ayrılmaz bir parçasıdır.

Ama herkes bu konuda rahat değil. Finitistler denen bir grup matematikçi ve filozof, temkinli — hatta itirazlı — bir tavır alır: onlara göre gerçekten var olan tek şey sonludur. Sonsuz, olsa olsa kullanışlı bir konuşma biçimidir; gerçek bir nesne değil.

Finitizmin Temel İddiası

Finitizmin kalbinde şu sezgi yatar: bir matematiksel nesnenin "var olması", onun ilkesel olarak inşa edilebilmesi ya da gösterilebilmesi demektir. Sonlu bir şeyi — diyelim ki bir milyon basamaklı bir sayıyı — adım adım yazabiliriz; o gerçektir. Ama "tüm doğal sayıların tamamlanmış sonsuz kümesi" gibi bir şeyi asla bitiremeyiz; sayma süreci hiçbir zaman tamamlanmaz.

Finitistlere göre bu yüzden "tamamlanmış sonsuzluk" (matematikçilerin deyişiyle gerçek sonsuzluk) bir kurgudur. Onlar yalnızca potansiyel sonsuzluğu kabul edebilir: yani "her sayıdan sonra bir sonraki gelir, süreç hiç durmaz" demek meşrudur — ama "hepsinin oluşturduğu bitmiş bütün" diye bir nesne yoktur. Bu ayrım, aslında Aristoteles'e kadar uzanır; o da potansiyel sonsuzu kabul edip gerçek sonsuzu reddetmişti.

Ultrafinitizm: Daha da İleri

Bir de finitizmin en uç biçimi var: ultrafinitizm. Ultrafinitistler daha da radikaldir. Onlara göre yalnızca sonsuz değil, çok büyük sonlu sayılar bile kuşkuludur. Örneğin $2^{1000}$ sayısı — evreni atomlara bölseniz bile sayamayacağınız kadar büyük bir sayı. Bir ultrafinitist sorar: Bu sayı gerçekten "var" mı? Onu hiçbir zaman hiçbir şekilde fiilen yazamaz, sayamaz, gösteremezsek, ona bir gerçeklik atfetmek anlamlı mı?

Bu görüş çoğu matematikçiye aşırı gelir; ünlü ultrafinitist Alexander Yessenin-Volpin hakkında anlatılan bir hikâye vardır: ona "$2^{100}$ var mı?" diye sorulduğunda, cevap vermeden önce uzun uzun düşünmüş — sanki her büyük sayı için ayrı ayrı "varlığına" karar vermesi gerekiyormuş gibi.

Neden Ciddiye Alınır?

Finitizm tuhaf bir inatçılık gibi görünebilir, ama arkasında ciddi gerekçeler vardır:

• Paradokslardan kaçınma: Sonsuz kümeler, tarihte derin paradokslara (Russell paradoksu gibi) ve Banach-Tarski gibi sezgiye meydan okuyan sonuçlara yol açtı. Finitistler, sonsuzu reddederek bu sıkıntıların kökünü kuruttuklarını düşünür.
• Hesaplanabilirlikle uyum: Bilgisayarlar yalnızca sonlu şeylerle çalışır. Finitist ve yapılandırmacı yaklaşım, "fiilen hesaplanabilir matematik" fikrine doğal olarak yakındır; bu da bilgisayar bilimiyle güçlü bir bağ kurar.
• Anlam kaygısı: "Var olmak ne demek?" sorusunu ciddiye alan herkes için, asla tamamlanamayan bir nesneye "gerçek" demek rahatsız edicidir.

Buna karşın ana akım matematik, sonsuzu kabul etmenin getirdiği muazzam güç ve zarafetten vazgeçmek istemez. Sonsuz olmadan analiz, gerçek sayılar, modern olasılık ve çok daha fazlası ya imkânsızlaşır ya da hantallaşır.

Finitizm tartışması, matematiğin yüzeyinin altında yatan derin bir soruyu açığa çıkarır: matematiksel nesneler keşfedilen gerçeklikler mi, yoksa zihnimizin inşa ettiği araçlar mı? Sonsuzluğa "inanıp inanmamak", aslında matematiğin ne olduğuna dair bir duruştur. Çoğunluk sonsuzu kucaklar; ama finitistlerin ısrarlı "gerçekten var mı?" sorusu, matematiğin en sağlam görünen temellerini bile sorgulatmaya devam eder.