Ultrafinitismo: differenze tra le versioni

Versione delle 21:55, 27 mag 2017

Versione attuale delle 11:56, 19 giu 2019

(2 versioni intermedie di 2 utenti non mostrate)

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]].

Riga 19:

sulla [[teoria della complessità computazionale]]; a queste si può collegare la nozione di [[numero praticabile]].

== Collegamenti esterni ==

* {{Collegamenti esterni}}

{{Controllo di autorità}}

{{Portale|matematica}}

[[Categoria:Filosofia della matematica]]

[[Categoria:Epistemologia]]