Nellafilosofia della matematica, ilfinitismo è un atteggiamento estremo dicostruttivismo: esso sostiene che ogni oggetto matematico esistesolo se può essere costruito in un numero finito di passi a partire danumeri naturali o dastringhe su un alfabeto finito in un numero finito di passi. Molti costruttivisti però, in contrasto conquesta posizione drastica, ammettono anche l'esistenza di oggetti costruiti con una procedura che effettuauna infinità numerabile di passi.
Il più famoso propugnatore del finitismo fuLeopold Kronecker, che affermò:
Una posizione meno spinta è quella deicostruttivisti; anch'essi peròsi richiamano alle idee finitiste di Kronecker.
Una posizione ancora più drastica del finitismo è chiamataultrafinitismo oultraintuizionismo;figura di spicco di questo atteggiamento èAlexander Esenin-Volpin.
Controllo di autorità | GND(DE) 4135356-0 |
---|