Discussing Hilbert's 24th problem

DOI10.1098/RSTA.2018.0040MaRDI QIDQ5204805zbMATH OpenOpenAlexWikidataFDO

Authors Inês Hipolito, Reinhard Kahle

Publication date 5 December 2019

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.2018.0040

zbMATH Keywords

Hilbert's 24th problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Hilbert and his twenty-four problems
• Hilbert's twenty-fourth problem
• Hilbert's last problem
• Hilbert's Twenty-Fourth Problem
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Cites work

• Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
• Advances in proof-theoretic semantics
• AXIOMATIC THINKING
• Beauty is not simplicity: an analysis of mathematicians' proof appraisals
• Experiments with proof plans for induction
• Explanation in mathematical conversations: an empirical investigation
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
• Hilbert's Twenty-Fourth Problem
• Hilbert's twenty-fourth problem
• scientific article; zbMATH DE number 2186305 (Why is no real title available?)
• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 6994084 (Why is no real title available?)
• scientific article; zbMATH DE number 1865568 (Why is no real title available?)
• scientific article; zbMATH DE number 2196613 (Why is no real title available?)
• Identification of proofs via syzygies
• Is there a ``Hilbert thesis?
• Logical and semantic purity
• Mathematical explanation: problems and prospects.
• Mathematical method and proof
• Mathematical proof: from mathematics to school mathematics
• Modularity in mathematics
• On the Alleged Simplicity of Impure Proof
• Prolegomena to any theory of proof simplicity
• Proof Analysis
• Proof simplification and automated theorem proving
• Proofs without syntax
• Reshaping the metaphor of proof
• Simplicity
• The Cantor-Bernstein theorem: how many proofs?
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• The simplest axiom system for hyperbolic geometry revisited, again
• The simplest axiom system for plane hyperbolic geometry revisited
• Towards an operational view of purity
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Visual thinking and simplicity of proof

Cited in

(14)

• The calculus of natural calculation
• The intensional structure of epistemic convictions
• Remarks on Hilbert's 23rd problem
• Discussing the ``big \(n\) problem
• Hilbert and his twenty-four problems
• Hilbert’s Axiomatisches Denken
• Prolegomena to any theory of proof simplicity
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• scientific article; zbMATH DE number 3224932 (Why is no real title available?)
• Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
• Virtue theory of mathematical practices: an introduction
• Ontological purity for formal proofs
• Hilbert's problems, Kant, and decidability
• `A remarkable artifice': Laplace, Poisson and mathematical purity

This page was built for publication: Discussing Hilbert's 24th problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204805)