Boyer-Moore theorem prover
A LISP-driven theorem proving engine that has been used to derive many novel mathematical results, including decisions on some open questions in mathematics.
R. S. Boyer and J. S. Moore (1979).
Immediately related elementsHow this works
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Improved machines »Improved machines
The Gödelian insight has already been formalised »The Gödelian insight has already been formalised
Gödelization procedure algorithmically specifiable »Gödelization procedure algorithmically specifiable
Proof has been formalised into a program »Proof has been formalised into a program
Boyer-Moore theorem prover
+Komentarai (0)
+Citavimą (0)
+About