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.
2017
262
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/405945
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact