Intuizionismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
atti dell'intuizionismo |
mNessun oggetto della modifica |
||
Riga 2:
== Elementi fondamentali della teoria intuizionista ==
L'approccio costruttivista è in contrasto con il classico approccio per cui l'esistenza di un'entità matematica può essere provata rifiutando la sua non-esistenza. Per gli intuizionisti questo argomento non è valido, la confutazione della non-esistenza non significa che è possibile trovare una prova ''costruttiva'' della sua esistenza. Come tale, l'intuizionismo è una variante del [[costruttivismo matematico]].▼
Secondo Brouwer, l'intuizionismo si basa su due atti fondamentali, entrambi alinguistici ed in diretto riferimento all'intuizione temporale. Il primo atto riconosce che l'origine dell'attività matematica deriva dalla percezione di un passaggio di tempo, cioè della scissione dell'unità immediata in due distinte unità «una delle quali cede il posto all'altra ma è conservata dalla memoria»; la «biunità» ottenuta, considerata astraendo da ogni considerazione qualitativa, costituisce la pura e vuota forma quantitativa dell'entità di numero. Il secondo atto riconosce la possibilità di generare successioni di scelte libere procedenti all'infinito, scegliendo i termini tra le entità matematiche già costruite.
▲L'approccio costruttivista è in contrasto con il classico approccio per cui l'esistenza di un'entità matematica può essere provata rifiutando la sua non-esistenza. Per gli intuizionisti questo argomento non è valido, la confutazione della non-esistenza non significa che è possibile trovare una prova ''costruttiva'' della sua esistenza. In altre parole, ogni asserzione ''A'' è giustificata solo se esiste una dimostrazione diretta (''canonica'') che concluda ''A''. Come tale, l'intuizionismo è una variante del [[costruttivismo matematico]].
Per gli intuizionisti dire che "''A'' [[o (connettivo logico)|o]] ''B''" equivale a dire che sia ''A'' che ''B'' possono essere ugualmente ''provati''. In particolare il [[principio del terzo escluso]], "''A'' o [[non (connettivo logico)|non]] ''A''", è rifiutato dall'intuizionismo poiché non è possibile assumere che non sempre è possibile provare ''A'' o la sua negazione. (Vedi anche: [[logica intuizionista]].)▼
▲Per gli intuizionisti dire che
L'intuizionismo rifiuta anche l'astrazione dell'[[infinito attuale]]; per esempio non considera come oggetti dati le collezioni infinite di oggetti come l'insieme di tutti i [[numero naturale|numeri naturali]] o una sequenza arbitraria di [[numero razionale|numeri razionali]]. Ciò comporta la ricostruzione di gran parte della [[teoria degli insiemi]]. I risultati sono teorie profondamente diverse dalla loro versione tradizionale; ad esempio la matematica intuizionista rifiuta esplicitamente di trattare funzioni su <math>\Bbb{R}</math> definite ovunque discontinue (secondo Brouwer infatti «non esiste alcuna funzione definita ovunque discontinua»).
== Matematici che hanno contribuito all'intuizionismo ==
| |||