Hoşgeldin Misafir

Finitizm

debug

28 Ocak 2020
1,580 Mesaj

Aktiflik

Seviye

Deneyim

TIM / GÖREV:
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.