Sonluculuk (Finitism)
Finitism Türkçesi
[Chatgpt]
Reuben Goodstein'in wikipedia sayfasına baktım. Orada finitism'den bahsediyorlar. Finitism Türkçeye nasıl tercüme ediliyor?
Matematik ve mantık literatüründe Finitism genellikle Türkçeye:
> sonluculuk
diye çevriliyor.
Bazen:
- sonculuk
- sonluculuk
- nadiren “finitizm” (çeviri yapmadan)
da görülebilir, ama en yerleşik kullanım bence sonluculuk.
Ne demek?
Kabaca şu görüş:
> Matematikte yalnızca “sonlu” nesneler gerçekten anlamlıdır.
Yani:
- sonsuz kümeler
- tamamlanmış sonsuzluk (“actual infinity”)
şüpheli veya kabul edilmez görülebilir.
Tarihsel bağlam
Bu akım özellikle:
- David Hilbert
- ardından mantıkçılar ve temelciler
çevresinde önemli oldu.
Ama dikkat:
> Hilbert sonsuzu tamamen reddetmiyordu.
Daha çok:
- güvenli matematiksel kanıtların
- sonlu işlemlerle kurulmasını istiyordu.
Goodstein neden burada geçiyor?
Reuben Goodstein özellikle:
- ordinal sayılar
- finitism
- hesaplanabilirlik
konularında çalıştı.
Hatta meşhur:
- Goodstein's theorem
tam da bu alanın ünlü örneklerinden biridir.
İlginç tarafı:
- ifade edilmesi çok basit
- ama kanıtı sonsuz ordinal kavramları gerektiriyor
Bu da:
> “Sonlu görünen bir problem gerçekten sonlu yöntemlerle çözülebilir mi?”
sorusunu gündeme getiriyor.
Türkçede kullanım problemi
Bu tür terimler Türkçede tam oturmuş değil.
Mesela:
- formalism → biçimcilik
- intuitionism → sezgicilik
- logicism → mantıkçılık
- finitism → sonluculuk
ama farklı çeviriler görebilirsin.
Ben olsam:
> “sonluculuk (finitism)”
şeklinde birlikte kullanırdım.
Finitism ve infinitism
Finitism var infinitism diye de bir kelime var mı?
Evet, Infinitism diye bir terim var, ama dikkat: farklı bağlamlarda farklı anlamlara geliyor.
Matematik felsefesi bağlamında en doğal karşılığı:
> sonsuzculuk
olur.
Ama bu terim, “finitism” kadar yerleşik ve teknik bir akım adı değildir.
1) Matematikteki anlamı
Finitism:
> yalnızca sonlu nesneleri güvenilir kabul etme eğilimi
Bunun karşısında kabaca:
Infinitism:
> sonsuz nesnelerin matematikte meşru olduğunu kabul etme
yer alır.
Örneğin:
- gerçek sayılar kümesi
- sonsuz kümeler
- Cantor’un transfinite sayıları
→ “infinitist” yaklaşımda kabul edilir.
Bugünkü ana akım matematik büyük ölçüde:
> “infinitist”tir.
Çünkü modern matematik:
- sonsuz kümeleri
- sonsuz süreçleri
- fonksiyon uzaylarını
rutin olarak kullanır.
2) Ama “infinitism” daha çok epistemolojide meşhur
İlginç şekilde, bu kelime felsefede daha çok:
> “gerekçelendirme sonsuza kadar devam edebilir”
fikri için kullanılır.
Yani bilgi teorisinde:
- foundationalism
- coherentism
- infinitism
diye bir üçlü vardır.
Bu yüzden bağlama dikkat etmek gerekir.
3) Tarihsel gerilim
- yüzyıl başındaki temel tartışmaların önemli kısmı şuydu:
- Sonsuz gerçekten “vardır” mı?
- Yoksa sadece bir konuşma biçimi mi?
Burada:
- Georg Cantor → sonsuzluğu güçlü biçimde kabul eder
- David Hilbert → kontrollü kullanım ister
- Luitzen Egbertus Jan Brouwer → çok daha şüpheci davranır
4) Küçük ama önemli ayrım
Bir kişi:
- “sonsuz kümeler kullanıyorum”
diye otomatik olarak “infinitist” diye etiketlenmeyebilir.
Çünkü bugün bu zaten standart matematik pratiği.
Ama:
> “yalnızca sonlu nesneler güvenlidir”
diyen biri özel bir pozisyon aldığı için
“finitist” etiketi daha belirgin olur.
5) Türkçe öneri
Ben olsam şöyle kullanırdım:
- finitism → sonluculuk
- infinitism → sonsuzculuk
Ama ikinci terimi açıklama ile vermek iyi olur çünkü Türkçede pek yerleşmiş değil.
Bir finist olarak Norman Wildberger
Burada Norman Wildberger'den de bahsetmek gerekir belki, çünkü matematikte sonsuzluk kavramını kesin ve net reddeden videoları bulunuyor, öyle değil mi?
Evet, burada Norman Wildberger’dan bahsetmek oldukça yerinde olur. Çünkü günümüzde matematikte sonsuzluk kavramına en açık ve sistematik şekilde itiraz eden tanınmış matematikçilerden biri o.
Ama küçük bir nüans önemli:
> Wildberger “matematikte sonsuzluk kullanılıyor” demiyor değil;
> daha çok “sonsuzluğu gerçek bir matematiksel nesne gibi kabul etmek hatalıdır” diyor.
Wildberger’in temel pozisyonu
Wildberger özellikle şunlara karşı çıkar:
- tamamlanmış sonsuzluk (actual infinity)
- gerçek sayıların klasik anlayışı
- sonsuz kümelerin ontolojik gerçekliği
Bu açıdan:
- klasik Finitism geleneğine yakın
- ama birebir Hilbertçi finitism değil
Kendi yaklaşımını bazen:
- “rational mathematics”
- “algebraic approach”
gibi ifadelerle anlatır.
En meşhur eleştirileri
Özellikle şunları hedef alır:
1) Gerçek sayılar (real numbers)
Wildberger der ki kabaca:
> “Çoğu gerçek sayı aslında tanımlanamaz bile.”
Ve:
- irrasyonel sayıların
- sonsuz ondalık açılımların
fazla metafizik olduğunu düşünür.
2) Limit kavramı
Klasik analizdeki:
\[lim_{x \to a} f(x)\]
yaklaşımını gereksiz metafizik yük taşıyan bir sistem olarak görür.
Bunun yerine:
- cebirsel
- sonlu
- hesaplanabilir
yaklaşımlar önerir.
3) Trigonometri
Çok ilginç biçimde:
- sinüs
- kosinüs
- açı kavramı
yerine kendi geliştirdiği:
> “rational trigonometry”
sistemini önerir.
Burada:
- distance yerine “quadrance”
- angle yerine “spread”
kullanır.
Ama burada önemli bir ayrım var
Wildberger:
- marjinal biri değil
- gerçek bir profesyonel matematikçi
Ama görüşleri:
> modern matematiğin ana akımı değildir.
Çünkü günümüz matematiğinin çok büyük kısmı:
- sonsuz kümeler
- limitler
- topoloji
- fonksiyonel analiz
üzerine kurulu.
Ve bunlar pratikte son derece verimli çalışıyor.
İlginç olan ne?
Senin daha önce söylediğin:
> “doğa oranlarla bilinir”
fikrine Wildberger bazı açılardan yakın gelebilir.
Çünkü o da:
- sürekli (continuum) kavramına
- irrasyonel yapıların ontolojik gerçekliğine
şüpheyle yaklaşır.
Daha:
- cebirsel
- ayrık
- hesaplanabilir
bir matematik ister.
Russell bağlantısı açısından
Bu da aslında 20. yüzyılın eski tartışmasının modern yankısı:
- Cantor → sonsuzluğu genişlet
- Russell/Hilbert → kontrol altına al
- Brouwer → sezgisel temele dön
- finitistler → sonlu olan güvenlidir
- Wildberger → sonsuzluk matematiksel yanılsama olabilir
Sonuç
Evet:
Norman Wildberger bugün:
- sonsuzluk eleştirisi
- finitist eğilimler
- klasik analize itirazlar
konusunda en görünür matematikçilerden biri.
Ama onun pozisyonu:
> modern matematikte ana akım değil,
> daha çok radikal bir alternatif temel yaklaşımı olarak görülüyor.
Kaynaklar
- https://en.wikipedia.org/wiki/Finitism
- https://en.wikipedia.org/wiki/Reuben_Goodstein
- kesinlikle sonluculuk tarafındayım