Search
Now showing items 1041-1050 of 4210
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 ...
Proposed Instructions on the GE 635 for List Processing and Push Down Stacks
(1964-09-01)
The instructions that transmit data between the index registers and the memory work only on the left half (address) portion of memory. These instructions are LDXn (load index n from address of storage word). And STXn (store ...
PDP-6 LISP Input-Output for the Dataphone
(1965-06-01)
A version of LISP 1.5 for the PDP-6 Computer has been extended to include IO through the dataphone. This makes possible communication between programs running in Project MAC time sharing and LISP programs running on the ...
Computer Experiments in Finite Algebra
(1965-06-01)
The experiments described here concern an initial design for a computer system specifically for the handling of finite groups, rings, fields, semigroups, and vector spaces. The usefulness of such a system was discussed in ...
The COMIT Feature in LISP II
(1965-02-01)
The purpose of COMIT feature is to facilitate certain types of list manipulations in LISP II. This feature is a syntactic convenience, rather than an extension of the semantics of LISP. It permits the programmer to test ...
Topics in Model Theory
(1965-05-01)
The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
PDP-6 IAP
(1968-01-01)
LAP is a LISP FEXPR (or FSUBR when compiled) which is executed primarily for its side effect??ely assembling a symbolic listing into core as a machine language subroutine. As such, it is about the most convenient and rapid ...