From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Abstrakti

A short text in the hand of David Hilbert, discovered in Gottingen 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.

This article is part of the theme issue 'The notion of 'simple proof' - Hilbert's 24th problem'.

Alkuperäiskielienglanti
Artikkeli20180037
LehtiProceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Vuosikerta377
Numero2140
Sivumäärä10
ISSN1364-5021
DOI - pysyväislinkit
TilaJulkaistu - 11 maaliskuuta 2019
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 611 Filosofia

Siteeraa tätä