✦ LIBER ✦

An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning

✍ Scribed by Frank Malloy Brown

Publisher: Elsevier Science
Year: 1980
Tongue: English
Weight: 999 KB
Volume: 14
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(80)90049-1

No coin nor oath required. For personal study only.

✦ Synopsis

We argue that theorem provers based on domain dependent knowledge must be able to increase their domain dependent deductive knowledge if they are to serve as a component of a mathematical reasoning system. The reason for this is that if such systems are not extensible then they would not be able to assimilate and use new deductive knowledge produced by a mathematical reasoning system.