scientific article; zbMATH DE number 2152635

MaRDI QIDQ4664201zbMATH OpenFDO

Authors D. Mackenzie

Publication date 5 April 2005

zbMATH Keywords

verificationautomated theorem provingsociology of mathematicsrole of mathematical proofs in computer science

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Methodology of mathematics (00A35) History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) General topics in the theory of computing (68Q01)

Recommendations

• Formal proof
• Computing and the cultures of proving
• In Math, computers don't lie. Or do they
• `Simon's syndrome' in the problem of reliability of computer proofs
• Mathematical proofs in the computer age

Cited in

(12)

• Machine-checked mathematics
• Additional extension of the mathematical model for BCG immunotherapy of bladder cancer and its validation by auxiliary tool
• The metamorphoses of the calculus. An amazing history of mathematics
• `Simon's syndrome' in the problem of reliability of computer proofs
• Computing and the cultures of proving
• scientific article; zbMATH DE number 1512780 (Why is no real title available?)
• In Math, computers don't lie. Or do they
• Formal proof
• How reliable is a computer-based proof?
• Correctness, explanation and intention
• scientific article; zbMATH DE number 7526292 (Why is no real title available?)
• scientific article; zbMATH DE number 2127501 (Why is no real title available?)

This page was built for publication:

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