Proofs as Objects

DOI10.1007/978-3-030-77657-2_9MaRDI QIDQ5057055zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 14 December 2022

Published in Axiomatic Thinking I (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-77657-2_9

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) Sociology (and profession) of mathematics (01A80) History of mathematical logic and foundations (03-03)

Recommendations

• Searching for proofs (and uncovering capacities of the mathematical mind)
• On Formal Proofs
• The phenomenology of mathematical proof
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• Reshaping the metaphor of proof

Cites work

• scientific article; zbMATH DE number 4063046 (Why is no real title available?)
• scientific article; zbMATH DE number 3750900 (Why is no real title available?)
• scientific article; zbMATH DE number 3005338 (Why is no real title available?)
• scientific article; zbMATH DE number 3016152 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• A fully automatic theorem prover with human-style output
• Automated search for Gödel's proofs
• Dedekind's structuralism: creating concepts and deriving theorems
• Gentzen's Proof of Normalization for Natural Deduction
• Hilbert's Twenty-Fourth Problem
• Human-centered automated proof search
• Mechanizing Mathematical Reasoning
• Non-resolution theorem proving
• Normal natural deduction proofs (in classical logic)
• On the rules of suppositions in formal logic
• Searching for proofs (and uncovering capacities of the mathematical mind)
• Sir Timothy Gowers Interview
• Some facts about Kurt Gödel
• The AProS Project: Strategic Thinking & Computational Logic
• The Cantor-Bernstein theorem: how many proofs?
• The ways of Hilbert's axiomatics: structural and formal
• What is the concept of computation?

Cited in

(6)

• Poincaré on the value of reasoning machines
• On Formal Proofs
• Proofs as processes
• Hilbert’s Axiomatisches Denken
• Implicit proofs
• Formal ontology and mathematics. A case study on the identity of proofs

This page was built for publication: Proofs as Objects

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