The logic theorist in LISP†
- 1 January 1968
- journal article
- research article
- Published by Taylor & Francis in International Journal of Computer Mathematics
- Vol. 2 (1-4) , 111-122
- https://doi.org/10.1080/00207166808803027
Abstract
A version of the Logic Theory Machine of Newell, Shaw and Simon was written in LISP 1.5 on an IBM-7094. The program provides an experimental model for form-map, a method of information storage and retrieval particularly suited for list structures. The program was able to prove 17 out of 20 theorems from Principia Mathematica in 21.5 seconds.Keywords
This publication has 3 references indexed in Scilit:
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960
- Empirical explorations of the logic theory machinePublished by Association for Computing Machinery (ACM) ,1957