Universal turing machines: An exercise in coding

Mathematical Logic Quarterly 3 (6-10):69-80 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19570030602

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Definability by turing machines.R. M. Baer - 1969 - Mathematical Logic Quarterly 15 (20-22):325-332.
Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
Quantificational variants on the halting problem for turing machines.Patrick C. Fischer - 1969 - Mathematical Logic Quarterly 15 (13-15):211-218.
The Halting Problem of one State Turing Machines with n‐Dimensional Tape.G. T. Herman - 1968 - Mathematical Logic Quarterly 14 (7-12):185-191.
Wang Hao. Logic and computers. The American mathematical monthly, vol. 72, pp. 135–140.Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 , pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-100.
Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 , pp. 526–527. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508.
Wang Hao. Truth definitions and consistency proofs. Transactions of the American Mathematical Society, vol. 73 , pp. 243–275. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (4):365-367.
Wang Hao. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 , pp. 283–293. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.

Analytics

Added to PP
2013-11-24

Downloads
52 (#418,263)

6 months
7 (#706,906)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references