Affiliation:
1. Department of Philosophy, University of Helsinki, Finland
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.
This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.
Subject
General Physics and Astronomy,General Engineering,General Mathematics
Reference12 articles.
1. Hilberts 24ste probleem;Koetsier T;Nieuw Archief voor Wiskunde,2001
2. Gentzen G. 1969 The Collected Papers of Gerhard Gentzen ed. M. Szabo Amsterdam The Netherlands: North-Holland.
3. Structural Proof Theory
4. Proof Analysis
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Geometric Rules in Infinitary Logic;Outstanding Contributions to Logic;2021
2. Discussing Hilbert's 24th problem;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2019-01-21