Ultrafinitismo: differenze tra le versioni

Versione delle 05:51, 7 ago 2016

Versione attuale delle 11:56, 19 giu 2019

(3 versioni intermedie di 3 utenti non mostrate)

Riga 1:

{{F|matematica|maggio 2017}}

Nella [[filosofia della matematica]], l''''ultrafinitismo''', detto anche '''ultraintuizionismo''', è una

variante estremista del [[finitismo]].

Riga 11 ⟶ 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 18 ⟶ 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]]