Automated Theorem Proving and Its Prospects [Book Review]

Download Edit this record How to cite View on PhilPapers
REVIEW OF: Automated Development of Fundamental Mathematical Theories by Art Quaife. (1992: Kluwer Academic Publishers) 271pp. Using the theorem prover OTTER Art Quaife has proved four hundred theorems of von Neumann-Bernays-Gödel set theory; twelve hundred theorems and definitions of elementary number theory; dozens of Euclidean geometry theorems; and Gödel's incompleteness theorems. It is an impressive achievement. To gauge its significance and to see what prospects it offers this review looks closely at the book and the proofs it presents.
PhilPapers/Archive ID
Revision history
Archival date: 2016-11-03
View upload history
References found in this work BETA
Science and Method.Poincaré, Henri
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving.Wos, Lawrence; Robinson, George A. & Carson, Daniel F.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
18 ( #41,612 of 43,016 )

Recent downloads (6 months)
6 ( #42,102 of 43,016 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.