- Recursive Real Numbers.Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):177-177.details
|
|
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
|
|
What can be done for Mathematical Logic.G. Kreisel - 1967 - In Ralph Schoenman (ed.), Bertrand Russell: Philosopher of the Century. London, England: Allen & Unwin. pp. 273--303.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Remarks on the philosophy of psychology.Ludwig Wittgenstein (ed.) - 1980 - Oxford: Blackwell.details
|
|
Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Zwei Unentscheidbare Probleme Der Analysis.Bruno Scarpellini - 1963 - Mathematical Logic Quarterly 9 (18-20):265-289.details
|
|
Some undecidable problems involving elementary functions of a real variable.Daniel Richardson - 1968 - Journal of Symbolic Logic 33 (4):514-520.details
|
|
Turing, Wittgenstein and the science of the mind.Diane Proudfoot & Jack Copeland - 1994 - Australasian Journal of Philosophy 72:497-519.details
|
|
A computable ordinary differential equation which possesses no computable solution.Marian Boylan Pour-el - 1979 - Annals of Mathematical Logic 17 (1):61.details
|
|
A Computable Ordinary Differential Equation with Possesses no Computable Solution.G. Kreisel - 1982 - Journal of Symbolic Logic 47 (4):900-902.details
|
|
The Busy Beaver Game and the Meaning of Life.Arnold Oberschelp & Allen H. Brady - 1991 - Journal of Symbolic Logic 56 (3):1091.details
|
|
Physical symbol systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.details
|
|
Analysis in the Computable Number Field.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.details
|
|
Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.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
|
|
Brainstorms: Philosophical Essays on Mind and Psychology.Gilbert Harman & Daniel C. Dennett - 1980 - Philosophical Review 89 (1):115.details
|
|
Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.details
|
|
Church's thesis and the ideal of informal rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.details
|
|
Remarks on the Philosophy of Psychology.Cora Diamond, Ludwig Wittgenstein, G. E. M. Anscombe, G. H. von Wright, Heikki Nyman, C. G. Luckhardt & M. A. E. Aue - 1984 - Philosophical Review 93 (3):458.details
|
|
Brainstorms: Philosophical Essays on Mind and Psychology.Daniel C. Dennett (ed.) - 1978 - Cambridge, Massachusetts: Bradford Books.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
Turing's O-machines, Searle, Penrose and the brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Super turing-machines.B. Jack Copeland - 1998 - Complexity 4 (1):30-32.details
|
|
Super Turing-machines.Jack Copeland - 1998 - Complexity 4 (1):30-32.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
|
|
The sciences of the artificial.Herbert Alexander Simon - 1969 - [Cambridge,: M.I.T. Press.details
|
|
Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992details
|
|
Artificial Intelligence: A Philosophical Introduction.Jack Copeland - 1993 - Wiley-Blackwell.details
|
|
The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics.Roger Penrose - 1999 - Oxford University Press.details
|
|
Handbook of Logic in Computer Science.S. Abramsky, D. Gabbay & T. Maibaurn (eds.) - 1992 - Oxford University Press.details
|
|
The Conscious Mind: In Search of a Fundamental Theory (2nd edition).David J. Chalmers - 1996 - Oxford University Press.details
|
|
The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.details
|
|
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.details
|
|
Artificial Intelligence: A Philosophical Introduction.B. Jack Copeland - 1993 - Cambridge: Blackwell.details
|
|
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..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
|
|
Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
The Emperor’s New Mind: Concerning Computers, Minds, andthe Laws of Physics.Roger Penrose - 1989 - Science and Society 54 (4):484-487.details
|
|
Alan Turing’s Forgotten Ideas in Computer Science.Diane Proudfoot & Jack Copeland - 1999 - Scientific American 280 (4):99-103.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
|
|
Computability, Complexity, Logic.Egon Börger - 1990 - Studia Logica 49 (4):610-611.details
|
|
Review: Marian Boykan Pour-El, Ian Richards, A Computable Ordinary Differential Equation with Possesses no Computable Solution; Marian Boykan Pour-El, Ian Richards, The Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable. [REVIEW]G. Kreisel - 1982 - Journal of Symbolic Logic 47 (4):900-902.details
|
|
Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - Psa 1994:126--138.details
|
|
Why a Machine Can't Feel Pain.Daniel Dennett - 1978 - In Daniel C. Dennet (ed.), Brainstorms: Philosophical Essays on Mind and Psychology. Bradford Books.details
|
|