Finitismo

Matematikaren filosofian, finitismoa konstruktibismoaren muturreko forma da, horren arabera, objektu matematiko bat ez da existitzen, non eta zenbaki arruntetatik abiatuta urrats finituen kopuru batean eraikia ez den. Kontrastean, konstruktibista gehienek onartzen dute urrats multzo infinitu zenbakigarri bat.

Historia
Finitismoaren defendatzailerik ezagunena Leopold Kronecker izan zen, zeinak esan baitzuen: «Jainkoak sortu ditu zenbaki arruntak, eta gainerakoa gizakiaren lana da»From an 1886 lecture at the 'Berliner Naturforscher-Versammlung', according to H. M. Weber's memorial article, as quoted and translated in Gonzalez Cabillon, Julio (3 de febrero de 2000). «FOM: What were Kronecker's f.o.m.?». Consultado el 19 de julio de 2008. Gonzalez gives as the sources for the memorial article, the following: Weber, H: "Leopold Kronecker", Jahresberichte der Deutschen Mathematiker Vereinigung, vol ii (1893), pp. 5-31. Cf. page 19. See also Mathematische Annalen vol. xliii (1893), pp. 1-25..​ Konstruktibista moderno gehienek ikuspuntu laxoagoa duten arren, konstruktibismoaren jatorria Kroneckerrek finitismoari buruz egindako lanean bila daiteke.

Erreferentziak