- Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.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
|
|
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Our knowledge of the external world: as a field for scientific method in philosophy.Bertrand Russell - 1914 - New York: Routledge.details
|
|
Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
21 Undecidability and Intractability in Theoretical Physics.Stephen Wolfram - 2013 - Emergence: Contemporary Readings in Philosophy and Science.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Intelligent machinery, a heretical theory.A. M. Turing - 1996 - Philosophia Mathematica 4 (3):256-260.details
|
|
Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.details
|
|
Digital simulation of analog computation and church's thesis.Lee A. Rubel - 1989 - Journal of Symbolic Logic 54 (3):1011-1017.details
|
|
Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.details
|
|
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.details
|
|
Precis of the emperor's new mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):643-705.details
|
|
Analysis in the Computable Number Field.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.details
|
|
Thinking may be more than computing.Peter Kugel - 1986 - Cognition 22 (2):137-198.details
|
|
Some Reasons for Generalizing Recursion Theory.G. Kreisel, R. O. Gandy & C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.details
|
|
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.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
|
|
Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.details
|
|
Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.details
|
|
Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes.John Earman & John D. Norton - 1993 - Philosophy of Science 60 (1):22-42.details
|
|
Super turing-machines.B. Jack Copeland - 1998 - Complexity 4 (1):30-32.details
|
|
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.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
|
|
On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
The paradox of temporal process.R. M. Blake - 1926 - Journal of Philosophy 23 (24):645-654.details
|
|
Finitism in mathematics (I).Alice Ambrose - 1935 - Mind 44 (174):186-203.details
|
|
Finitism in mathematics (II.).Alice Ambrose - 1935 - Mind 44 (175):317-340.details
|
|
What Computers Still Can’T Do: A Critique of Artificial Reason.Hubert L. Dreyfus - 1992 - MIT Press.details
|
|
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.Roger Penrose - 1999 - Oxford University Press.details
|
|
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.details
|
|
Does General Relativity Allow an Observer to View an Eternity in a Finite Time?Mark Hogarth - 1992 - Foundations Of Physics Letters 5:173--181.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
Infinite pains: the trouble with supertasks.John Earman & John Norton - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 11--271.details
|
|
Computing Machinery and Intelligence.Alan M. Turing - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. Oxford University Press.details
|
|
Could a machine think?Paul M. Churchland & Patricia S. Churchland - 1990 - Scientific American 262 (1):32-37.details
|
|
Our Knowledge of the external World as a field of scientific method in Philosophy.Bertrand Russell - 1914 - Revue Philosophique de la France Et de l'Etranger 81:306-308.details
|
|
The Limits of Empiricism.Bertrand Russell - 1936 - Proceedings of the Aristotelian Society 36:131--50.details
|
|
Discovering Complexity.William Bechtel, Robert C. Richardson & Scott A. Kleiner - 1996 - History and Philosophy of the Life Sciences 18 (3):363-382.details
|
|
Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:126-138.details
|
|
The Physical Church Thesis and Physical Computational Complexity.Itamar Pitowski - 1990 - Iyyun 39:81-99.details
|
|
On the Concept of a Random Sequence.Alonzo Church - 1940 - Bulletin of the American Mathematical Society 46 (2):130--135.details
|
|
Self-Modifying Systems In Biology And Cognitive Science: A New Framework For Dynamics, Information.G. Kampis - forthcoming - And Complexity.details
|
|