Goodell John D.. The foundations of computing machinery. Part II. The journal of computing systems , vol. 1 no. 2 , pp. 86–110 [Book Review]

Journal of Symbolic Logic 18 (4):348-349 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266604

Other Versions

edition Blachman, Nelson M. (1953) "Review: John D. Goodell, The Foundations of Computing Machinery. Part II". Journal of Symbolic Logic 18(4):348-349

Links

PhilArchive



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

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

Goodell John D.. Decision elements. Radio-electronic engineering , 07 1952, pp. 3–5. Goodell John D.. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 , pp. 1–13.Lode Tenny. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 , pp. 14–22. [REVIEW]Nelson M. Blachman & William W. Boone - 1953 - Journal of Symbolic Logic 18 (3):283-284.
Wang Hao. Tag systems and lag systems. Mathematische Annalen, vol. 152 , pp. 65–74.Cocke John and Minsky Marvin. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 , pp. 15–20.Cook Stephen A.. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 , pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
The Foundations of Computing Machinery. Part II.John D. Goodell - 1953 - Journal of Symbolic Logic 18 (4):348-349.
John E. Hopcroft and Jeffrey D. Ullman. Relations between time and tape complexities. Journal of the Association for Computing Machinery, vol. 15 , pp. 414–427. [REVIEW]Jiri Becvar - 1973 - Journal of Symbolic Logic 38 (2):343.
Elgot Calvin C.. On single vs. triple address computing machines. Journal of the Association for Computing Machinery, vol. 1 no. 3 , pp. 119–123. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):208-209.
Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 , pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 , pp. 348–356. [REVIEW]Frederic B. Fitch - 1964 - Journal of Symbolic Logic 29 (2):101.
Henry D. P.. Expressions trivially decidable. The journal of computing systems, vol. 1 no. 4 , pp. 221–224.Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):63-64.
Yasuhara Ann. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 , pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.

Analytics

Added to PP
2016-06-30

Downloads
24 (#916,910)

6 months
10 (#423,770)

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