Mathematical proofs in the computer age

DOI10.2307/3620344zbMATH Open0860.00012OpenAlexW2794856552MaRDI QIDQ4890909FDOQ4890909

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

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 (6)

• Computerized deconstruction.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Mathematical concepts in computer proofs 👍 👎
• Proving and programming 👍 👎
• Computer-assisted discovery and proof 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)