A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in mind was to find criteria for the simplicity of proofs and to develop a general theory of methods of proof in mathematics. In this paper, it is discussed to what extent proof theory has achieved the second of these aims.
From mathematical axioms to mathematical rules of proof: Recent developments in proof analysis
Negri S.;
2019-01-01
Abstract
A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in mind was to find criteria for the simplicity of proofs and to develop a general theory of methods of proof in mathematics. In this paper, it is discussed to what extent proof theory has achieved the second of these aims.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
frommath.pdf
accesso chiuso
Tipologia:
Documento in versione editoriale
Dimensione
227.85 kB
Formato
Adobe PDF
|
227.85 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
