Costruttivismo matematico: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: ro:Constructivism (matematică) |
m Orfanizzo Luitzen Egbertus Jan Brouwer e ritocchi a wikilink |
||
Riga 19:
successioni.
=== Esempio dall'[[analisi
Nell'
È invece lecito rappresentare un numero reale come un algoritmo <math>\,f\,</math> che letto un intero positivo <math>\,n\,</math>, è in grado di produrre una coppia di razionali <math>\,(f_\ell(n), f_r(n))\,</math> tali che
Riga 37:
Tradizionalmente i matematici militanti sono stati sospettosi, se non addirittura antagonistici, nei confronti del costruttivismo matematico; questo è dovuto largamente alle limitazioni che questo atteggiamento impone all'analisi costruttiva.
Questi punti di vista sono stati espressi con forza da [[David Hilbert]] nel [[1928]], quando nei <cite>[[Die Grundlagen der Mathematik]]</cite> ha scritto "Eliminare il principio del terzo escluso per il matematico sarebbe lo stesso che, per così dire, vietare l'uso del telescopio all'astronomo o l'uso dei pugni al pugilatore". (Traduzione dalla voce [http://plato.stanford.edu/entries/mathematics-constructive/ mathematics-constructive] della [[Stanford Encyclopedia of Philosophy]].) In effetti
[[Errett Bishop]], nella sua opera del [[1967]] <cite>[[Foundations of Constructive Analysis]]</cite>, ha
Riga 45:
== Matematici che hanno contribuito al costruttivismo ==
* [[Leopold Kronecker]]
* [[Luitzen
* [[Paul Lorenzen]]
* [[Errett Bishop]]
| |||