Browsing by Issue Date
Now showing items 120 of 4783

On axiomatic systems in mathematics and theories in physics
(University of Cambridge, 19530725)

On generalized dispersion relations and mesonnucleon scattering
(University of CambridgeFaculty of MathematicsTrinity College, 19571119)

Explanation of Big "P" as of March 20, 1959
(19590301)ERROR is a routine to provide a common location for all routines. Its celling sequence is: SXD SERROR,4 TSX SERROR+1,4 The above is normally followed immediately by up to 20 registers of BCD remarks terminated by a word ...

Recursive Functions of Symbolic Expressions and Their Computation by Machine
(19590313)The attached paper is a description of the LISP system starting with the machineindependent system of recursive functions of symbolic expressions. This seems to be a better point of view for looking at the system than the ...

Recursive Functions of Symbolic Expressions and Their Computation
(19590330)This memorandum is a continuation of Memo 8.

Threedimensional manifolds
(University of CambridgeFaculty of MathematicsTrinity College, 19600803)In the postwar years, the theory of 3dimensional manifolds has developed tremendously. On the one hand, Bing and Moise have proved that 3manifolds can be triangulated, and that the Hauptvermutung (that any two triangulations ...

CharacterHandling Facilities in the LISP System
(19610101)Because of the new read program, a number of facilities are being added to the LISP system to permit manipulation of single characters and print names. Machinelanguage functions have been provided for breaking print names ...

The Proofchecker
(19610101)The Proofchecker is a heuristically oriented computer program for checking mathematical proofs, with the checking of textbook proofs as its ultimate goal. It constructs, from each proof step given to it, a corresponding ...

Arithmetic in LISP 1.5
(19610401)As of the present, the following parts of LISP 1.5 are working. This is an excerpt from the forth coming LISP 1.5 Programmer's Manual.


Introduction to the Calculus of Knowledge
(19611101)This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, ...

The AlphaBeta Heuristic
(19611201)The AlphaBeta heuristic is a method for pruning unneeded branches from the move tree of a game. The algorithm makes use of information gained about part of the tree to reject those branches which will not affect 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 ...

A Basis for a Mathematical Theory of Computation
(19620101)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. ...

Some Identities Concerning the Function Subst [x; y; z]
(19620101)The purpose of this paper is twofold; 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 ...

A Heuristic Program to Solve Geometric Analogy Problems
(19621001)A program to solve a wide class of intelligencetest problems of the "geometricanalogy" 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 ...

Analytic properties of transition amplitudes
(University of CambridgePalmer Physical Laboratory, Princeton University, 19621207)

Examples of plotter output, screenshots, and photographs of usage from Ivan Sutherland's Sketchpad program on the TX2 computer.
(Massachusetts Institute of Technology, 1963)

A Proposal to Investigate the Application of a Heuristic Theory of Tree Searching to a Chess Playing Program
(19630201)The problem of devising a mechanical procedure for playing chess is fundamentally the problem of searching the very large movetree associated with a chess position. This treesearching problem is representative of a large ...

Neural Nets and Theories of Memory
(19630301)A number of models developed in work often called "neuralnet" research may be of interest to physiologists working on the problem of memory. From this work comes a variety of ideas on how networks of neuronlike elements ...