Search
Now showing items 101-110 of 160
Topics in Model Theory
(1966-01-01)
The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed ...
A LISP Garbage Collector Algorithm Using Serial Secondary Storage
(1963-12-27)
This paper presents an algorithm for reclaiming unused free storage memory cells in LISP. It depends on availability of a fast secondary storage device, or a large block of available temporary storage. For this price, we ...
A Fast Parsing Scheme for Hand-Printed Mathematical Expressions
(1967-10-19)
A set of one-line text-book-style mathematical expressions is defined by a context free grammar. This grammar generates strings which describe the expressions in terms of mathematical symbols and some simple positional ...
The Artificial Intelligence of Hubert L. Dreyfus: A Budget of Fallacies
(1968-01-01)
In December 1965 a paper by Hubert Dreyfus revived the old game of generating curious arguments for and against Artificial Intelligence. Dreyfus hit top form in September 1967 with an explanation in the Review of ...
Hash-Coding Functions of a Complex Variable
(1964-06-25)
A common operation in non-numerical analysis is the comparison of symbolic mathematical expressions. Often equivalence under the algebraic and trigonometric relations can be determined with the high probability by hash-coding ...
ITS 1.4 Reference Manual
(1968-06-01)
This reference manual is intended for those who have some knowledge of PDP-6 machine language and are either interested in the ITS monitor for its own sake, or who wish to write machine language programs to run under it. ...
Television Camera-To-Computer Adapter: PDP-6 Device 770
(1965-01-01)
The TVA (Television Adaptor) is a data-input device just completed. Any standard Closed-Circuit Television Camera can be connected to the PDP-6, without modification, by a single BNC connector. Then a simple program can ...
CTSS LISP Notice-Supplement to A.I. Memo No. 67
(1964-12-01)
The LISP system (command version) has been updated. Bugs are corrected include: 1. out of pushdown list in compiled function will not transfer to 77777. 2. with compiler printing turned off by comprint, it is truly off. ...
Unrecognizable Sets of Numbers
(1964-11-01)
When is a set A of positive integers, represented as binary numbers, "regular" in the sense that it is a set of sequences that can be recognized by a finite-state machine? Let pie A(n) be the number of members of A less ...
Matter, Mind and Models
(1965-03-01)
This paper attempts to explain why people become confused by questions about the relation between menal and physical events. When a question leads to confused, inconsistent answers, this may be (1) because the question is ...