A Basis for a Mathematical Theory of Computation
This paper is a corrected version of the paper of the same title given at the Western Joint Computer Conference, May 1961. A tenth section discussing the relations between mathematical logic and computation has been added. Programs that learn to modify their own behaviors require a way of representi...
Main Author: | McCarthy, John |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6099 |
Similar Items
-
Is There a Mathematical Basis for Computer Programming?
by: Hoare, C
Published: (1981) -
Computational ideal theory and groebner basis
by: Zheng, Jia Li
Published: (2021) -
Recursive Functions of Symbolic Expressions and Their Computation
by: McCarthy, J.
Published: (2004) -
Recursive Functions of Symbolic Expressions and Their Computation by Machine
by: McCarthy, J.
Published: (2004) -
Revision of mathematical basis for the hyphoid curve
by: Elumali, Vijayaletchumy
Published: (2017)