Search
Now showing items 1-5 of 5
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 ...
The dynamic cutting of metals
(University of CambridgeEngineering Laboratory, 1962)
Prediction of regenerative machine tool chatter requires a knowledge of the cutting forces existing under vibration conditions. Previous direct experimental work has been very limited in its range and has given results ...
Analytic properties of transition amplitudes
(University of CambridgePalmer Physical Laboratory, Princeton University, 1962-12-07)