Looking for busy beavers. A socio-philosophical study of a computer-assisted proof

MaRDI QIDQ4906868zbMATH OpenFDO

Authors Liesbeth De Mol

Publication date 28 February 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 733568
• Mathematical proofs in the computer age
• Computer-assisted discovery and proof
• The Epistemological Status of Computer-Assisted Proofs
• The Logical Structure of Computer-Aided Mathematical Reasoning

Cited in

(6)

• Automation compels mathematicians to reflect on our values
• The use of machines to assist in rigorous proof
• Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
• scientific article; zbMATH DE number 733568 (Why is no real title available?)
• Automated Mathematics and the Reconfiguration of Proof and Labor
• Generating candidate busy beaver machines (or how to build the zany zoo)

This page was built for publication: Looking for busy beavers. A socio-philosophical study of a computer-assisted proof

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