Checking Proofs

DOI10.1007/978-94-007-6534-4_9zbMath1330.00021OpenAlexW4254581065MaRDI QIDQ2950035

Reinhard Kahle, Jesse Alama

Publication date: 5 October 2015

Published in: The Argument of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-6534-4_9

zbMATH Keywords

proofformalizationhuman checkingobivousness

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03)

Related Items (1)

The Parallel Structure of Mathematical Reasoning

Uses Software

• Mizar
• SAD
• kepler98

Cites Work

• Mathematical method and proof
• Obvious inferences
• Every planar map is four colorable. II: Reducibility
• The four-colour theorem
• Solution of the Robbins problem
• Intentional gaps in mathematical proofs
• A proof of the Kepler conjecture
• The surveyability of mathematical proof: A historical perspective
• Toward Mechanical Mathematics
• System for Automated Deduction (SAD): A Tool for Proof Verification
• Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis
• The Derivation-Indicator View of Mathematical Practice
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Checking Proofs