Ultrafinitismo: differenze tra le versioni

Versione delle 12:30, 16 apr 2018

Versione delle 02:20, 1 giu 2019

Riga 12:

L'ultrafinitismo è una variante del [[costruttivismo (matematica)|costruttivismo]], anche se i costruttivisti

in generale giudicano la [[filosofia]] come una un'attività intrattabilmente estrema. Il [[logica matematica|fondamento logico]] dell'ultrafinitismo risulta per molti studiosi poco chiaro. Il logico costruttivista [[Anne Sjerp Troelstra]] per esempio, nella sua opera ''Constructivism in Mathematics'' ([[1988]]), liquida l'ultrafinitismo dicendo che "al presente non dispone di uno sviluppo soddisfacente". Questa non è tanto una obiezione filosofica, ma piuttosto la semplice constatazione che non vi è nulla di abbastanza preciso nell'ultrafinitismo che possa essere incluso in un'opera rigorosa di [[logica matematica]].

Uno dei maggiori sostenitori dell'ultrafinitismo è stato, a partire dal [[1959]], il matematico russo [[Aleksandr Esenin-Volpin]].