A Basis for a Mathematical Theory of Computation, Preliminary Report

, &
Journal of Symbolic Logic 33 (1):117-117 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270079

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

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.
Review: J. McCarthy, Cicely M. Popplewell, Towards a Mathematical Science of Computation; John McCarthy, Wayne A. Kalenich, Problems in the Theory of Computation. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
Neural Computation and the Computational Theory of Cognition.Gualtiero Piccinini & Sonya Bahar - 2013 - Cognitive Science 37 (3):453-488.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
Toward a synthesis of dynamical systems and classical computation.Frank van der Velde & Marc de Kamps - 1998 - Behavioral and Brain Sciences 21 (5):652-653.
Theory of quantum computation and philosophy of mathematics. Part I.Krzysztof Wójtowicz - 2009 - Logic and Logical Philosophy 18 (3-4):313-332.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Abstract State Machines: a unifying view of models of computation and of system design frameworks.Egon Börger - 2005 - Annals of Pure and Applied Logic 133 (1-3):149-171.
Towards a Mathematical Science of Computation.J. Mccarthy, Cicely M. Popplewell, John Mccarthy & Wayne A. Kalenich - 1962 - Journal of Symbolic Logic 36 (2):346-347.
Simulation, computation and dynamics in economics.K. Vela Velupillai & Stefano Zambelli - 2015 - Journal of Economic Methodology 22 (1):1-27.
Concrete Digital Computation: What Does it Take for a Physical System to Compute? [REVIEW]Nir Fresco - 2011 - Journal of Logic, Language and Information 20 (4):513-537.
Computational Mechanisms and Models of Computation.Marcin Miłkowski - 2014 - Philosophia Scientiae 18:215-228.
Measurement-Based Quantum Computation and Undecidable Logic.Maarten Van den Nest & Hans J. Briegel - 2008 - Foundations of Physics 38 (5):448-457.
In computation, parallel is nothing, physical everything.Selmer Bringsjord - 2001 - Minds and Machines 11 (1):95-99.
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,310,999)

6 months
2 (#1,136,865)

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