Mathematical proofs in the computer age

DOI10.2307/3620344zbMATH Open0860.00012OpenAlexW2794856552MaRDI QIDQ4890909FDOQ4890909

Authors: Keith Devlin 

Publication date: 14 October 1997

Published in: The Mathematical Gazette (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/3620344

Recommendations

• Mathematical concepts in computer proofs
• Proving and programming
• Computer-assisted discovery and proof
• Publication:4892490
• scientific article; zbMATH DE number 733568

zbMATH Keywords

philosophy of mathematicsmathematical practiceprovinguse of computerstheory of situationssearch for a proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99) Philosophy of mathematics (00A30) General logic (03B99)

Cited In (15)

• Mathematical concepts in computer proofs
• Computerized deconstruction.
• Searching for proofs (and uncovering capacities of the mathematical mind)
• Proving and programming
• Title not available (Why is that?)
• The justification of mathematical statements
• Title not available (Why is that?)
• Computing and the cultures of proving
• Computer-assisted discovery and proof
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The mathematical significance of proof theory
• Mathematical proof
• Pi on earth, or mathematics in the real world

This page was built for publication: Mathematical proofs in the computer age

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