Simulating Turing machines on Maurer machines

&
Journal of Applied Logic 6 (1):1-23 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.04.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

God, the Devil, and Gödel.Paul Benacerraf - 1967 - The Monist 51 (1):9-32.
Review: J. W. Swanson, A Variant of Turing Machines Requiring Print Instructions only. [REVIEW]Martin Davis - 1969 - Journal of Symbolic Logic 34 (1):134-135.
Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 , pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 , pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 , pp. 211–218. [REVIEW]Gabor T. Herman - 1971 - Journal of Symbolic Logic 36 (3):532-534.
Simulating Halt Deciders Defeat the Halting Theorem.P. Olcott - manuscript
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.
Refining Mark Burgin’s Case against the Church–Turing Thesis.Edgar Graham Daylight - 2024 - Philosophies 9 (4):122.
Simulating Halt Decider Applied to the Halting Theorem.P. Olcott - manuscript
Davis M. D.. A note on universal Turing machines. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 167–175.Davis Martin. The definition of universal Turing machine. Proceedings of the American Mathematical Society, vol. 8 , pp. 1125–1126. [REVIEW]R. J. Nelson - 1970 - Journal of Symbolic Logic 35 (4):590.

Analytics

Added to PP
2016-06-30

Downloads
21 (#1,005,339)

6 months
6 (#858,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan A. Bergstra
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references