- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Universal turing machines: An exercise in coding
Mathematical Logic Quarterly 3 (6-10):69-80 (1957)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Universal turing machines: An exercise in coding.Hao Wang - 1957 - Mathematical Logic Quarterly 3 (6‐10):69-80.
Definability by turing machines.R. M. Baer - 1969 - Mathematical Logic Quarterly 15 (20‐22):325-332.
Definability by turing machines.R. M. Baer - 1969 - Mathematical Logic Quarterly 15 (20-22):325-332.
Review: Hao Wang, Symbolic Representations of Calculating Machines. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508-508.
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.
Review: Wang Hao, Popular Lectures on Mathematical Logic. [REVIEW]H. Hermes - 1982 - Journal of Symbolic Logic 47 (4):908-909.
Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
Review: Hao Wang, The Mechanization of Mathematical Arguments. [REVIEW]David C. Cooper - 1967 - Journal of Symbolic Logic 32 (1):120-120.
Analytics
Added to PP
2016-02-04
Downloads
27 (#578,242)
6 months
1 (#1,723,047)
2016-02-04
Downloads
27 (#578,242)
6 months
1 (#1,723,047)
Historical graph of downloads
Citations of this work
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
A Bibliography of Hao Wang.Marie Grossi, Montgomery Link, Katalin Makkai & Charles Parsons - 1998 - Philosophia Mathematica 6 (1):25-38.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo