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

Sara Negri; Jan von Plato

doi:10.1098/rsta.2018.0037

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

Research output: Contribution to journal › Article › Scientific › peer-review

Abstract

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'.

Original language	English
Article number	20180037
Journal	Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences
Volume	377
Issue number	2140
Number of pages	10
ISSN	1364-5021
DOIs	https://doi.org/10.1098/rsta.2018.0037
Publication status	Published - 11 Mar 2019
MoE publication type	A1 Journal article-refereed

Fields of Science

611 Philosophy
Hilbert's 24th problem
proof analysis
proof theory
GEOMETRIC THEORIES

Access to Document

10.1098/rsta.2018.0037

hillasroyal-preprintAccepted author manuscript, 278 KB

Cite this

@article{f98ce39f4cd34c12aa55d43ba6377617,

title = "From mathematical axioms to mathematical rules of proof: recent developments in proof analysis",

abstract = "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'.",

keywords = "611 Philosophy, Hilbert's 24th problem, proof analysis, proof theory, GEOMETRIC THEORIES",

author = "Sara Negri and {von Plato}, Jan",

year = "2019",

month = mar,

day = "11",

doi = "10.1098/rsta.2018.0037",

language = "English",

volume = "377",

journal = "Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences",

issn = "1364-5021",

publisher = "Royal Society Publishing",

number = "2140",

}

TY - JOUR

T1 - From mathematical axioms to mathematical rules of proof

T2 - recent developments in proof analysis

AU - Negri, Sara

AU - von Plato, Jan

PY - 2019/3/11

Y1 - 2019/3/11

N2 - 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'.

AB - 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'.

KW - 611 Philosophy

KW - Hilbert's 24th problem

KW - proof analysis

KW - proof theory

KW - GEOMETRIC THEORIES

U2 - 10.1098/rsta.2018.0037

DO - 10.1098/rsta.2018.0037

M3 - Article

SN - 1364-5021

VL - 377

JO - Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences

JF - Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences

IS - 2140

M1 - 20180037

ER -