İçeriğe atla

Finitizm

Vikipedi, özgür ansiklopedi
19.10, 7 Mart 2013 tarihinde Addbot (mesaj | katkılar) tarafından oluşturulmuş 12887532 numaralı sürüm (Bot: Migrating 9 interwiki links, now provided by Wikidata on d:q1417326 (translate me))

Matematik felsefesinde finitizm (İngilizce finite = sonlu) matematiksel oluşturmacılığın aşırı bir şekli olup matematiksel bir nesnenin yalnızca sonlu sayıda adımla ve doğal sayılar kullanılarak oluşturulabilmesi durumunda, var olabileceğini savunmaktadır.

(Buna karşın çoğu oluşturmacı sayılabilir sonsuz sayıda adımların kullanılmasına izin verir.) Finitizmin en ünlü savunucusu Leopold Kronecker ve bu konudaki deyişidir: "Tanrı doğal sayıları yarattı, gerisi insanların eseri." Çoğu modern oluşturmacı daha yumuşak bir görüş savunmakla birlikte köklerini Kronecker'in çalışmalarına dayandırabilmektedirler.

Finitizmden daha katı bir yaklaşım Alexander Esenin-Volpin'in ultra sezgicilik (ya da yaygın olarak bilinen adıyla ultra finitizm) akımıdır.