Search
Now showing items 1-3 of 3
A Basis for a Mathematical Theory of Computation
(1962-01-01)
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. ...
A Heuristic Program to Solve Geometric Analogy Problems
(1962-10-01)
A program to solve a wide class of intelligence-test problems of the "geometric-analogy" type ("figure A is to figure B as figure C is to which of the following figures?") is being constructed. The program, which is written ...
Some Identities Concerning the Function Subst [x; y; z]
(1962-01-01)
The purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the ...