- The modern history of computing.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Quantum Information Theory & the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2004 - Oxford, GB: Oxford University Press.details
|
|
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.details
|
|
(1 other version)Can partial indexings be totalized?Dieter Spreen - 2001 - Journal of Symbolic Logic 66 (3):1157-1185.details
|
|
Mass problems and randomness.Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (1):1-27.details
|
|
Understanding church's thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
(1 other version)Forms of knowledge and forms of discussion.Jim Mackenzie - 1998 - Educational Philosophy and Theory 30 (1):27–49.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
Reflections on gödel's and Gandy's reflections on Turing's thesis.David Israel - 2002 - Minds and Machines 12 (2):181-201.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.details
|
|
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.details
|
|
Physical Computation: How General are Gandy’s Principles for Mechanisms?B. Jack Copeland & Oron Shagrir - 2007 - Minds and Machines 17 (2):217-231.details
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
On effective procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.details
|
|
On the possibility of completing an infinite process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.details
|
|
Mechanisms in cognitive psychology: What are the operations?William Bechtel - 2008 - Philosophy of Science 75 (5):983-994.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
When good theories make bad predictions.Vadim Batitsky & Zoltan Domotor - 2007 - Synthese 157 (1):79 - 103.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
(1 other version)Mechanisms and psychological explanation.Cory Wright & William Bechtel - 2006 - In Paul Thagard (ed.), Handbook of the Philosophy of Psychology and Cognitive Science. Elsevier.details
|
|
Mental mechanisms: What are the operations?William P. Bechtel - 2005details
|
|
Computing mechanisms.Gualtiero Piccinini - 2007 - Philosophy of Science 74 (4):501-526.details
|
|
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
Parallel machines.Andrew Boucher - 1997 - Minds and Machines 7 (4):543-551.details
|
|
On implementing a computation.David J. Chalmers - 1994 - Minds and Machines 4 (4):391-402.details
|
|
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
The church-Turing thesis and effective mundane procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.details
|
|
The computational theory of mind.Steven Horst - 2005 - Stanford Encyclopedia of Philosophy.details
|
|
Computation and cognition: Issues in the foundation of cognitive science.Zenon W. Pylyshyn - 1980 - Behavioral and Brain Sciences 3 (1):111-32.details
|
|
The dynamical hypothesis in cognitive science.Tim van Gelder - 1998 - Behavioral and Brain Sciences 21 (5):615-28.details
|
|
Cognition and the power of continuous dynamical systems.Whit Schonbein - 2004 - Minds and Machines 15 (1):57-71.details
|
|
Microfunctionalism: Connectionism and the Scientific Explanation of Mental States.Andy Clark - 1989 - In Microcognition: Philosophy, Cognitive Science, and Parallel Distributed Processing. Cambridge: MIT Press.details
|
|
(2 other versions)On Alan Turing's anticipation of connectionism.Jack Copeland - 1996 - Synthese 108 (3):361-377.details
|
|
On the proper treatment of connectionism.Paul Smolensky - 1988 - Behavioral and Brain Sciences 11 (1):1-23.details
|
|
Explanation: Mechanism, modularity, and situated cognition.William Bechtel - 2008 - In Murat Aydede & P. Robbins (eds.), The Cambridge Handbook of Situated Cognition. Cambridge: Cambridge University Press. pp. 155--170.details
|
|
(1 other version)Computing machines can't be intelligent (...And Turing said so).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.details
|
|
Mathematics and the mind.E. Nelson - 2002 - In Kunio Yasue, Mari Jibu & Tarcisio Della Senta (eds.), No Matter, Never Mind: Proceedings of Toward a Science of Consciousness : Fundamental Approaches (Tokyo '99). John Benjamins. pp. 731-737.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
(1 other version)Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
On Turing's Turing test and why the matter matters.Justin Leiber - 1995 - Synthese 104 (1):59-69.details
|
|
How to pass a Turing test: Syntactic semantics, natural-language understanding, and first-person cognition.William J. Rapaport - 2000 - Journal of Logic, Language, and Information 9 (4):467-490.details
|
|
The Turing test.B. Jack Copeland - 2000 - Minds and Machines 10 (4):519-539.details
|
|