Accession Number : AD0268676

Title :   TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM

Corporate Author : MICHIGAN UNIV ANN ARBOR

Personal Author(s) : BUCHI,J. RICHARD

Report Date : DEC 1961

Pagination or Media Count : 1

Abstract : A discussion of decision theory by use of Turingmachines is presented and is determined to be closely related to the quantification theory. Postulates are stated and application of sentence structure is examined by use of recursive logic methods.

Descriptors :   *MEMORY DEVICES, *DATA STORAGE SYSTEMS, *MACHINES, *MATHEMATICAL LOGIC, ALGEBRAS, COLOR CENTERS, CRYSTAL LATTICES, KETONES, MACHINE TRANSLATION, MAGNETIC TAPE, MATRICES(MATHEMATICS), TRANSFORMATIONS (MATHEMATICS)

Distribution Statement : APPROVED FOR PUBLIC RELEASE