The following pages link to Hilbert's Twenty-Fourth Problem (Q4416428):
Displaying 26 items.
- Mathematics made in Germany: on the background to Hilbert's Paris lecture (Q384410) (← links)
- Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- The sampling theorem, Poisson's summation formula, general Parseval formula, reproducing kernel formula and the Paley–Wiener theorem for bandlimited signals – their interconnections (Q2995522) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- Proofs as Objects (Q5057055) (← links)
- The Cantor–Bernstein theorem: how many proofs? (Q5204798) (← links)
- Visual thinking and simplicity of proof (Q5204799) (← links)
- Proof simplification and automated theorem proving (Q5204800) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
- Identification of proofs via syzygies (Q5204810) (← links)
- Reshaping the metaphor of proof (Q5204811) (← links)
- (Q5227517) (← links)
- (Q5227518) (← links)
- Virtue theory of mathematical practices: an introduction (Q6187756) (← links)
