TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1961
- Accession Number
- AD0268676
Entities
People
- J. Richard Buchi
Organizations
- University of Michigan