Review: Michael Anderson, Approximation to a Decision Procedure for the Halting Problem [Book Review]

Journal of Symbolic Logic 35 (3):480-480 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 , pp. 305–312. [REVIEW]Philip K. Hooper - 1970 - Journal of Symbolic Logic 35 (3):480.
Approximation to a Decision Procedure for the Halting Problem.Michael Anderson - 1970 - Journal of Symbolic Logic 35 (3):480-480.
Approximation to a decision procedure for the halting problem.Michael Anderson - 1968 - Notre Dame Journal of Formal Logic 9 (4):305-312.
Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 , pp. 219–234. [REVIEW]Gabor T. Herman - 1971 - Journal of Symbolic Logic 36 (1):150-150.
Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
Philip K. Hooper. Monogenic Post normal systems of arbitrary degree. Journal of the Association for Computing Machinery, vol. 13 , pp. 359–363. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
Review: Michael Anderson, Note on the Mortality Problem for Shift State Trees. [REVIEW]Philip K. Hooper - 1971 - Journal of Symbolic Logic 36 (1):151-151.
Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101-101.
The unsolvability of the uniform halting problem for two state Turing machines.Gabor T. Herman - 1969 - Journal of Symbolic Logic 34 (2):161-165.
A simple solution of the uniform halting problem.Gabor T. Herman - 1969 - Journal of Symbolic Logic 34 (4):639-640.

Analytics

Added to PP
2013-11-03

Downloads
16 (#906,252)

6 months
3 (#1,208,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references