scientific article; zbMATH DE number 2152635

zbMATH Open1068.68058MaRDI QIDQ4664201FDOQ4664201

Authors: D. Mackenzie 

Publication date: 5 April 2005

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• 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
• Computing and the cultures of proving
• Title not available (Why is that?)
• In Math, computers don't lie. Or do they
• Formal proof
• How reliable is a computer-based proof?
• Correctness, explanation and intention
• Title not available (Why is that?)
• Title not available (Why is that?)

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)