next up previous
Next: About this document Up: Towards a Mathematical Science Previous: The Limitations of Machines


John McCarthy. Checking mathematical proofs by computer. In Proceedings Symposium on Recursive Function Theory (1961). American Mathematical Society, 1962.

J. McCarthy.

A basis for a mathematical theory of computation. In P. Braffort and D. Hirschberg, editors, Computer Programming and Formal Systems, pages 33-70. North-Holland, Amsterdam, 1963.

John McCarthy
Tue May 14 13:32:03 PDT 1996