intuizionismo
La posizione di Brouwer: un oggetto matematico esiste solo se se ne sa esibire la costruzione in un numero finito di passi. Ne segue il rifiuto del terzo escluso sugli insiemi infiniti.
Compare in volume VI
Come la richiudono le mappe di fine capitolo
- Volume VI · 6. Il programma e il teorema
-
La posizione di Brouwer: un oggetto matematico esiste solo se se ne sa esibire la costruzione in un numero finito di passi. Ne segue il rifiuto del terzo escluso sugli insiemi infiniti.