...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 bean added.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...respectively.
1996: I adopted Alonzo Church's spelling for the premise of an argument. It was not adopted generally, and I later gave up.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

John McCarthy
Wed May 1 20:03:21 PDT 1996