Finitizm

Kısaca: Matematik felsefesinde finitizm (İngilizce finite = sonlu) matematiksel oluşturmacılığın (Oluşturmacı Matematik) 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. ...devamı ☟

Matematik felsefesinde finitizm (İngilizce finite = sonlu) matematiksel oluşturmacılığın (Oluşturmacı Matematik) 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.

Kaynak Wikipedia

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.