- 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
|
|
Remarks on the philosophy of psychology.Ludwig Wittgenstein (ed.) - 1980 - Oxford: Blackwell.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
|
|
Physical symbol systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.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
|
|
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.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
|
|
What is church's thesis? An outline.Jon Doyle - 2002 - Minds and Machines 12 (4):519-520.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.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Super Turing-machines.Jack Copeland - 1998 - Complexity 4 (1):30-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
|
|
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
|
|
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
|
|
Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - Psa 1994:126--138.details
|
|