Towards a Mathematical Science of Computation

, , &
Journal of Symbolic Logic 36 (2):346-347 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1971

DOI

10.2307/2270319

Other Versions

No versions found

Links

PhilArchive



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

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

McCarthy J.. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Popplewell Cicely M., North-Holland Publishing Company, Amsterdam 1963, pp. 21–28.McCarthy John. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41. [REVIEW]W. L. Duda - 1958 - Journal of Symbolic Logic 23 (1):59-60.
McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
Review: John McCarthy, The Inversion of Functions Defined by Turing Machines. [REVIEW]Patrick C. Fischer - 1970 - Journal of Symbolic Logic 35 (3):481-481.
Proof Systems for Reasoning about Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.
Minsky M. L.. Some universal elements for finite automata. Automata studies, edited by Shannon C. E. and McCarthy J., Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton 1956, pp. 117–128. [REVIEW]Patrick C. Fischer - 1970 - Journal of Symbolic Logic 35 (3):480-481.

Analytics

Added to PP
2015-02-05

Downloads
38 (#584,613)

6 months
10 (#379,980)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Against Structuralist Theories of Computational Implementation.Michael Rescorla - 2013 - British Journal for the Philosophy of Science 64 (4):681-707.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references