Mathematical proofs in the computer age

DOI10.2307/3620344zbMATH Open0860.00012OpenAlexW2794856552MaRDI QIDQ4890909

Keith J. 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

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

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