Computing and the cultures of proving

DOI10.1098/rsta.2005.1649zbMath1152.68466OpenAlexW1979207622WikidataQ39731353 ScholiaQ39731353MaRDI QIDQ5301848

Donald Mackenzie

Publication date: 20 January 2009

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2005.1649

zbMATH Keywords

formal verificationmathematical proofcomputer-system verificationcultures of provingsociology of proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Related Items

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the desirability of mechanizing calculational proofs
• Trace theory and VLSI design
• Rigor and Proof in Mathematics: A Historical Perspective
• Metamathematics, Machines and Gödel's Proof
• What is a proof?