scientific article; zbMATH DE number 2152635

MaRDI QIDQ4664201zbMATH OpenFDO

Authors D. Mackenzie

Publication date 5 April 2005

zbMATH Keywords

automated theorem provingrole of mathematical proofs in computer sciencesociology of mathematicsverification

Mathematics Subject Classification ID

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 mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) General topics in the theory of computing (68Q01) Specification and verification (program logics, model checking, etc.) (68Q60)

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)

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

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)