We consider Hilbert's contributions to the foundations of mathematica, including his conception of the axiomatic method, his notion of mathematical proof, and his approach to infinity through finitely tools. We describe his "Programme", and we comment its collapse due to Goedel's Incompleteness Theorems. Despite that defeat, Hilbert's project remains topical today.
H for Hilbert... and M for Mathematics
Carlo Toffalori
2017-01-01
Abstract
We consider Hilbert's contributions to the foundations of mathematica, including his conception of the axiomatic method, his notion of mathematical proof, and his approach to infinity through finitely tools. We describe his "Programme", and we comment its collapse due to Goedel's Incompleteness Theorems. Despite that defeat, Hilbert's project remains topical today.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
lmp internazionale hilbert.pdf
solo gestori di archivio
Tipologia:
Versione Editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.11 MB
Formato
Adobe PDF
|
1.11 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.