İçeriğe atla

Finitizm

Vikipedi, özgür ansiklopedi
23.08, 8 Haziran 2017 tarihinde Vikiçizer (mesaj | katkılar) tarafından oluşturulmuş 18754737 numaralı sürüm (→‎top: düzeltme AWB ile)

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.