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

zbMATH Open1275.03022MaRDI QIDQ4906868FDOQ4906868

Authors: Liesbeth De Mol 

Publication date: 28 February 2013

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

Mathematics Subject Classification ID

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

Cited In (6)

• The use of machines to assist in rigorous proof
• Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
• Automated Mathematics and the Reconfiguration of Proof and Labor
• Title not available (Why is that?)
• Generating candidate busy beaver machines (or how to build the zany zoo)
• Automation compels mathematicians to reflect on our values

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)