Department of Philosophy , University of Helsinki , Finland.
Philos Trans A Math Phys Eng Sci. 2019 Mar 11;377(2140):20180037. doi: 10.1098/rsta.2018.0037.
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'.
在哥廷根发现的一份大卫·希尔伯特的手迹，是在他写下这份文件一个世纪之后才被发现的，它表明希尔伯特曾考虑在他著名的 1900 年数学问题清单上再增加第 24 个问题。他心目中的问题是找到证明简洁性的标准，并为数学中的证明方法发展出一套普遍理论。本文讨论了证明论在多大程度上实现了这第二个目标。本文是“简单证明的概念——希尔伯特的第 24 个问题”主题特刊的一部分。
