Discussing Hilbert's 24th problem
From MaRDI portal
Publication:5204805
DOI10.1098/rsta.2018.0040zbMath1441.03006OpenAlexW2913273612WikidataQ61812656 ScholiaQ61812656MaRDI QIDQ5204805
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
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)
Related Items (5)
Hilbert’s Axiomatisches Denken ⋮ Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society ⋮ Virtue theory of mathematical practices: an introduction ⋮ The intensional structure of epistemic convictions ⋮ The calculus of natural calculation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The simplest axiom system for hyperbolic geometry revisited, again
- Advances in proof-theoretic semantics
- The simplest axiom system for plane hyperbolic geometry revisited
- Experiments with proof plans for induction
- Mathematical method and proof
- Simplicity
- Hilbert's twenty-fourth problem
- Proofs without syntax
- Is there a ``Hilbert thesis?
- Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals
- Proof Analysis
- Hilbert's Twenty-Fourth Problem
- On the Alleged Simplicity of Impure Proof
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- The Cantor–Bernstein theorem: how many proofs?
- Visual thinking and simplicity of proof
- Proof simplification and automated theorem proving
- Prolegomena to any theory of proof simplicity
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Mathematical proof: from mathematics to school mathematics
- Explanation in mathematical conversations: an empirical investigation
- Identification of proofs via syzygies
- Reshaping the metaphor of proof
- MODULARITY IN MATHEMATICS
- Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
- AXIOMATIC THINKING
- Mathematical explanation: problems and prospects.
This page was built for publication: Discussing Hilbert's 24th problem
