Proofs as Objects

DOI10.1007/978-3-030-77657-2_9OpenAlexW4312331337MaRDI QIDQ5057055

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

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

Related Items (1)

Hilbert’s Axiomatisches Denken

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-resolution theorem proving
• Normal natural deduction proofs (in classical logic)
• What Is the concept of computation?
• Automated search for Gödel's proofs
• On the rules of suppositions in formal logic
• Human-centered automated proof search
• A fully automatic theorem prover with human-style output
• Sir Timothy Gowers Interview
• Gentzen's Proof of Normalization for Natural Deduction
• Some facts about Kurt Gödel
• Hilbert's Twenty-Fourth Problem
• The Ways of Hilbert's Axiomatics: Structural and Formal
• The Cantor–Bernstein theorem: how many proofs?
• The AProS Project: Strategic Thinking & Computational Logic
• Mechanizing Mathematical Reasoning

This page was built for publication: Proofs as Objects