Finitizm

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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.