What is Hilbert’s 24th Problem?
Open Access
- 1 June 2018
- journal article
- research article
- Published by Faculdade de Ciencias da Universidade de Lisboa in Kairos. Journal of Philosophy & Science
- Vol. 20 (1) , 1-11
- https://doi.org/10.2478/kjps-2018-0001
Abstract
In 2000, a draft note of David Hilbert was found in his Nachlass concerning a 24th problem he had consider to include in the his famous problem list of the talk at the International Congress of Mathematicians in 1900 in Paris. This problem concerns simplicity of proofs. In this paper we review the (very few) traces of this problem which one can find in the work of Hilbert and his school, as well as modern research started on it after its publication. We stress, in particular, the mathematical nature of the problem.1Keywords
This publication has 18 references indexed in Scilit:
- The Simplest Axiom System for Hyperbolic Geometry Revisited, AgainStudia Logica, 2013
- The Simplest Axiom System for Plane Hyperbolic Geometry RevisitedStudia Logica, 2011
- Mathematical Explanation: Why it MattersPublished by Oxford University Press (OUP) ,2008
- Proofs without syntaxAnnals of Mathematics, 2006
- Towards Hilbert's 24th Problem: Combinatorial Proof InvariantsElectronic Notes in Theoretical Computer Science, 2006
- What is a Logic, and What is a Proof?Published by Springer Nature ,2005
- Simplicity.Notre Dame Journal of Formal Logic, 1988
- AXIOMATIC THINKINGPhilosophia Mathematica, 1970
- Axiomatisches DenkenMathematische Annalen, 1917
- The October meeting of the American Mathematical SocietyBulletin of the American Mathematical Society, 1901