- Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Paper machines. Mundici & Sieg - unknowndetails
|
|
Building infinite machines.E. B. Davies - 2001 - British Journal for the Philosophy of Science 52 (4):671-682.details
|
|
Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.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
|
|
Narrow Versus Wide Mechanism: Including a Re-Examination of Turing’s Views on the Mind-Machine Issue.B. Jack Copeland - 2000 - Journal of Philosophy 97 (1):5-32.details
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.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
|
|
An argument against church's thesis.G. Lee Bowie - 1973 - Journal of Philosophy 70 (3):66-76.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
Computation, hypercomputation, and physical science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.details
|
|
The Church-Turing Thesis.B. Jack Copeland - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
The Myth of Hypercomputation.Martin Davis - 2004 - In Christof Teuscher (ed.), Alan Turing: Life and Legacy of a Great Thinker. Springer-Verlag. pp. 196-211.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.details
|
|
21 Undecidability and Intractability in Theoretical Physics.Stephen Wolfram - 2013 - Emergence: Contemporary Readings in Philosophy and Science.details
|
|
The extent of computation in malament–hogarth spacetimes.P. D. Welch - 2008 - British Journal for the Philosophy of Science 59 (4):659-674.details
|
|
On the possibility, or otherwise, of hypercomputation.Philip D. Welch - 2004 - British Journal for the Philosophy of Science 55 (4):739-746.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
Reflections on Church's thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.details
|
|
On the proper treatment of connectionism.Paul Smolensky - 1988 - Behavioral and Brain Sciences 11 (1):1-23.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Only two letters: The correspondence between herbrand and gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.details
|
|
Understanding church's thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.details
|
|
Cognition and the power of continuous dynamical systems.Whit Schonbein - 2004 - Minds and Machines 15 (1):57-71.details
|
|
Digital simulation of analog computation and church's thesis.Lee A. Rubel - 1989 - Journal of Symbolic Logic 54 (3):1011-1017.details
|
|
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.details
|
|
Quantum Speed‐up of Computations.Itamar Pitowsky - 2002 - Philosophy of Science 69 (S3):S168-S177.details
|
|
Quantum speed-up of computations.Itamar Pitowsky - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S168-S177.details
|
|
Computing mechanisms.Gualtiero Piccinini - 2007 - Philosophy of Science 74 (4):501-526.details
|
|
Computational modeling vs. computational explanation: Is everything a Turing machine, and does it matter to the philosophy of mind?Gualtiero Piccinini - 2007 - Australasian Journal of Philosophy 85 (1):93 – 115.details
|
|
Computers.Gualtiero Piccinini - 2008 - Pacific Philosophical Quarterly 89 (1):32–73.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.details
|
|
The diagonal method and hypercomputation.Toby Ord & Tien D. Kieu - 2005 - British Journal for the Philosophy of Science 56 (1):147-156.details
|
|
Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers.Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.details
|
|
Classical recursion theory: the theory of functions and sets of natural numbers.Piergiorgio Odifreddi - 1989 - New York, N.Y., USA: Sole distributors for the USA and Canada, Elsevier Science Pub. Co..details
|
|
Physical symbol systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.details
|
|
Paper machines.Daniele Mundici & Wilfried Seig - 1995 - Philosophia Mathematica 3 (1):5-30.details
|
|
A Logical Calculus of the Ideas Immanent in Nervous Activity.Warren S. Mcculloch & Walter Pitts - 1943 - Journal of Symbolic Logic 9 (2):49-50.details
|
|
Quantum hypercomputation.Tien D. Kieu - 2002 - Minds and Machines 12 (4):541-561.details
|
|
Connectionism and the Philosophical Foundations of Cognitive Science.Terence Horgan - 1997 - Metaphilosophy 28 (1-2):1-30.details
|
|