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...

Full description

Bibliographic Details
Main Author: McCarthy, John
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6099