scientific article; zbMATH DE number 1302064

MaRDI QIDQ4247309zbMATH OpenFDO

Authors Robert Pollack

Publication date 17 May 2000

zbMATH Keywords

believing proofsformal proofmachine-checking

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35) General topics in artificial intelligence (68T01)

Recommendations

• Why Do We Believe Theorems?
• The epistemology of computer-mediated proofs
• Proof auditing formalised mathematics
• Formal Proof: Reconciling Correctness and Understanding
• Computer verification of mathematical reasoning

Cited in

(15)

• Psychological nature of verification of informal mathematical proofs
• AfterMath: The Work of Proof in the Age of Human–Machine Collaboration
• scientific article; zbMATH DE number 2127501 (Why is no real title available?)
• Why Do We Believe Theorems?
• Formal Proof: Reconciling Correctness and Understanding
• scientific article; zbMATH DE number 1512780 (Why is no real title available?)
• Computer verification of mathematical reasoning
• The epistemology of computer-mediated proofs
• Elaborating dependent (co)pattern matching: no pattern left behind
• Pollack-inconsistency
• Proof auditing formalised mathematics
• The formal verification of the ctm approach to forcing
• Embracing AI and formalization: experimenting with tomorrow's mathematical tools
• YALLA: yet another deep embedding of linear logic in Rocq
• Microeconomics and the First Welfare Theorem

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 Q4247309)