Hilbert's twenty-fourth problem
From MaRDI portal
Publication:1869614
DOI10.1023/A:1020537107897zbMath1016.03061MaRDI QIDQ1869614
Publication date: 28 April 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) Complexity of proofs (03F20)
Related Items (7)
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Visual thinking and simplicity of proof ⋮ Proof simplification and automated theorem proving ⋮ Discussing Hilbert's 24th problem ⋮ Explanation in mathematical conversations: an empirical investigation ⋮ Larry Wos: visions of automated reasoning ⋮ Theorem proving as constraint solving with coherent logic
This page was built for publication: Hilbert's twenty-fourth problem