Hilbert's Twenty-Fourth Problem

DOI10.2307/3072340zbMath1031.01011OpenAlexW3145855177MaRDI QIDQ4416428

Ruediger Thiele

Publication date: 3 August 2003

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/3072340

zbMATH Keywords

Hilbertphilosophy of mathematical proof

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Structure of proofs (03F07) History of mathematical logic and foundations (03-03)

Related Items (27)

Variants of Gödel's ontological proof in a natural deduction calculus ⋮ Hilbert’s Axiomatisches Denken ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Proofs as Objects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematics made in Germany: on the background to Hilbert's Paris lecture ⋮ Essential structure of proofs as a measure of complexity ⋮ Combinatorial flows as bicolored atomic flows ⋮ Virtue theory of mathematical practices: an introduction ⋮ The sampling theorem, Poisson's summation formula, general Parseval formula, reproducing kernel formula and the Paley–Wiener theorem for bandlimited signals – their interconnections ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Feasibly constructive proofs of succinct weak circuit lower bounds ⋮ 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 ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ Discussing Hilbert's 24th problem ⋮ Explanation in mathematical conversations: an empirical investigation ⋮ Identification of proofs via syzygies ⋮ Reshaping the metaphor of proof ⋮ The calculus of natural calculation ⋮ Human-centered automated proof search ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ Larry Wos: visions of automated reasoning

This page was built for publication: Hilbert's Twenty-Fourth Problem