The automation of proof: a historical and sociological exploration

DOI10.1109/85.397057zbMath0944.68532OpenAlexW2157491995MaRDI QIDQ4501827

Donald Mackenzie

Publication date: 10 September 2000

Published in: IEEE Annals of the History of Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/56ac06a49b77f55bbc527156625bcbabe2789867

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35) History of computer science (68-03)

Related Items (1)

Human-centered automated proof search

Uses Software

• Nuprl
• NQTHM

This page was built for publication: The automation of proof: a historical and sociological exploration