Linked bibliography for the SEP article "The Church-Turing Thesis" by B. Jack Copeland |
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Abramson, F.G. 1971. ‘Effective Computation over the Real Numbers’. Twelfth Annual Symposium on Switching and Automata Theory. Northridge, Calif.: Institute of Electrical and Electronics Engineers. (Scholar)
- Boden, M.A. 1988. Computer Models of Mind. Cambridge: Cambridge University Press. (Scholar)
- Boolos, G.S., Jeffrey, R.C. 1980. Computability and Logic. 2nd edition. Cambridge: Cambridge University Press. (Scholar)
- Church, A. 1932. ‘A set of Postulates for the Foundation of Logic’. Annals of Mathematics, second series, 33, 346-366. (Scholar)
- –––. 1936a. ‘An Unsolvable Problem of Elementary Number Theory’. American Journal of Mathematics, 58, 345-363. (Scholar)
- –––. 1936b. ‘A Note on the Entscheidungsproblem’. Journal of Symbolic Logic, 1, 40-41. (Scholar)
- –––. 1937a. Review of Turing 1936. Journal of Symbolic Logic, 2, 42-43. (Scholar)
- –––. 1937b. Review of Post 1936. Journal of Symbolic Logic, 2, 43. (Scholar)
- –––. 1941. The Calculi of Lambda-Conversion. Princeton: Princeton University Press. (Scholar)
- Churchland, P.M., Churchland, P.S. 1983. ‘Stalking the Wild Epistemic Engine’. Nous, 17, 5-18. (Scholar)
- –––. 1990. ‘Could a Machine Think?’. Scientific American, 262 (Jan.), 26-31. (Scholar)
- Copeland, B.J. 1998. ‘Turing's O-machines, Penrose, Searle, and the Brain’. Analysis, 58, 128-138. (Scholar)
- –––. 2000. ‘Narrow Versus Wide Mechanism’.Journal of Philosophy, 97, 5-32. (Scholar)
- –––., Proudfoot, D. 1999a. ‘Alan Turing's Forgotten Ideas in Computer Science’. Scientific American, 280 (April), 76-81. (Scholar)
- –––., Proudfoot, D. 1999b. ‘The Legacy of Alan Turing’. Mind, 108, 187-195. (Scholar)
- –––., Proudfoot, D. 2000. ‘What Turing Did After He Invented the Universal Turing Machine’. Journal of Logic, Language, and Information, 9, 491-509. (Scholar)
- –––., Sylvan, R. 1999. ‘Beyond the Universal Turing Machine’. Australasian Journal of Philosophy, 77, 46-66. (Scholar)
- Curry, H.B. 1929. ‘An Analysis of Logical Substitution’. American Journal of Mathematics, 51, 363-384. (Scholar)
- –––. 1930. ‘Grundlagen der kombinatorischen Logik’. American Journal of Mathematics, 52, 509-536, 789-834. (Scholar)
- –––. 1932. ‘Some Additions to the Theory of Combinators’. American Journal of Mathematics, 54, 551-558. (Scholar)
- da Costa, N.C.A., Doria, F.A. 1991. ‘Classical Physics and Penrose's Thesis’. Foundations of Physics Letters, 4, 363-374. (Scholar)
- –––. 1994. ‘Undecidable Hopf Bifurcation with Undecidable Fixed Point’. International Journal of Theoretical Physics, 33, 1913-1931. (Scholar)
- Dennett, D.C. 1991. Consciousness Explained. Boston: Little, Brown. (Scholar)
- –––. 1978. Brainstorms: Philosophical Essays on Mind and Psychology. Brighton: Harvester. (Scholar)
- Deutsch, D. 1985. ‘Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer’. Proceedings of the Royal Society, Series A, 400, 97-117. (Scholar)
- Doyle, J. 1982. ‘What is Church's Thesis? An Outline.’ Laboratory for Computer Science, MIT. (Scholar)
- Fodor, J.A. 1981. ‘The Mind-Body Problem’. Scientific American, 244 (Jan.), 124-32. (Scholar)
- Gandy, R. 1980. ‘Church's Thesis and Principles for Mechanisms’. In Barwise, J., Keisler, H.J., Kunen, K. (eds) 1980. The Kleene Symposium. Amsterdam: North-Holland. (Scholar)
- –––. 1988. ‘The Confluence of Ideas in 1936’. In Herken, R. (ed.) 1988. The Universal Turing Machine: A Half-Century Survey. Oxford: Oxford University Press. (Scholar)
- Geroch, R., Hartle, J.B. 1986. ‘Computability and Physical Theories’. Foundations of Physics, 16, 533-550. (Scholar)
- Gödel, K. 1934. ‘On Undecidable Propositions of Formal Mathematical Systems’. Lecture notes taken by Kleene and Rosser at the Institute for Advanced Study. Reprinted in Davis, M. (ed.) 1965. The Undecidable. New York: Raven. (Scholar)
- –––. 1936. ‘Über die Lange von Beweisen’. Ergebnisse eines mathematischen Kolloquiums, 7, 23-24. (Scholar)
- Gregory, R.L. 1987. The Oxford Companion to the Mind. Oxford: Oxford University Press. (Scholar)
- Guttenplan, S. 1994. A Companion to the Philosophy of Mind. Oxford: Blackwell. (Scholar)
- Hogarth, M.L. 1994. ‘Non-Turing Computers and Non-Turing Computability’. PSA 1994, vol.1, 126-138. (Scholar)
- Herbrand, J. 1932. ‘Sur la non-contradiction de l'arithmetique’. Journal fur die reine und angewandte Mathematik, 166, 1-8. (Scholar)
- Hilbert, D., Ackermann, W. 1928. Grundzüge der Theoretischen Logik. Berlin: Springer. (Scholar)
- Johnson-Laird, P. 1987. ‘How Could Consciousness Arise from the Computations of the Brain?’. In Blakemore, C., Greenfield, S. (eds) 1987. Mindwaves. Oxford: Basil Blackwell. (Scholar)
- Kalmar, L. 1959. ‘An Argument Against the Plausibility of Church's Thesis’. In Heyting, A. (ed.) 1959. Constructivity in Mathematics. Amsterdam: North-Holland. (Scholar)
- Kleene, S.C. 1935. ‘A Theory of Positive Integers in Formal Logic’. American Journal of Mathematics, 57, 153-173, 219-244. (Scholar)
- –––. 1936. ‘Lambda-Definability and Recursiveness’. Duke Mathematical Journal, 2, 340-353. (Scholar)
- –––. 1952. Introduction to Metamathematics. Amsterdam: North-Holland. (Scholar)
- –––. 1967. Mathematical Logic. New York: Wiley. (Scholar)
- Kreisel, G. 1967. ‘Mathematical Logic: What Has it Done For the Philosophy of Mathematics?’. In R. Schoenman (ed.) 1967. Bertrand Russell: Philosopher of the Century. London: George Allen and Unwin. (Scholar)
- –––. 1974. ‘A Notion of Mechanistic Theory’. Synthese, 29, 11-26. (Scholar)
- –––. 1982. Review of Pour-El and Richards. Journal of Symbolic Logic, 47, 900-902. (Scholar)
- Markov, A.A. 1960. ‘The Theory of Algorithms’. American Mathematical Society Translations, series 2, 15, 1-14. (Scholar)
- Mendelson, E. 1963. ‘On Some Recent Criticism of Church's Thesis’. Notre Dame Journal of Formal Logic, 4, 201-205. (Scholar)
- –––. 1964. Introduction to Mathematical Logic. New York: Van Nostrand. (Scholar)
- Newell, A. 1980. ‘Physical Symbol Systems’. Cognitive Science, 4, 135-183. (Scholar)
- Post, E.L. 1936. ‘Finite Combinatory Processes - Formulation 1’. Journal of Symbolic Logic, 1, 103-105. (Scholar)
- –––. 1943. ‘Formal Reductions of the General Combinatorial Decision Problem’. American Journal of Mathematics, 65, 197-215. (Scholar)
- –––. 1946. ‘A Variant of a Recursively Unsolvable Problem’. Bulletin of the American Mathematical Society, 52, 264-268. (Scholar)
- Pour-El, M.B., Richards, I. 1979. ‘A Computable Ordinary Differential Equation Which Possesses No Computable Solution’. Annals of Mathematical Logic, 17, 61-90. (Scholar)
- Pour-El, M.B., Richards, I. 1981. ‘The Wave Equation with Computable Initial Data such that its Unique Solution is not Computable’. Advances in Mathematics, 39, 215-239. (Scholar)
- Scarpellini, B. 1963. ‘Zwei Unentscheitbare Probleme der Analysis’, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 9, 265-289. (Scholar)
- Schönfinkel, M. 1924. ‘Uber die Bausteine der mathematischen’. Mathematische Annalen, 92, 305-316. (Scholar)
- Searle, J. 1992. The Rediscovery of the Mind. Cambridge, Mass.: MIT Press. (Scholar)
- –––. 1997. The Mystery of Consciousness. New York: New York Review of Books. (Scholar)
- Shepherdson, J.C., Sturgis, H.E. 1963. ‘Computability of Recursive Functions’. Journal of the ACM, 10, 217-255. (Scholar)
- Siegelmann, H.T., Sontag, E.D. 1992. ‘On the Computational Power of Neural Nets’. Proceedings of the 5th Annual ACM Workshop on Computational Learning Theory, 440-449. (Scholar)
- –––. 1994. ‘Analog Computation via Neural Networks’. Theoretical Computer Science, 131, 331-360. (Scholar)
- Smolensky, P. 1988. ‘On the Proper Treatment of Connectionism’. Behavioral and Brain Sciences, 11, 1-23. (Scholar)
- Stannett, M. 1990. ‘X-Machines and the Halting Problem: Building a Super-Turing Machine’. Formal Aspects of Computing, 2, 331-341. (Scholar)
- Stewart, I. 1991. ‘Deciding the Undecidable’. Nature, 352, 664-5. (Scholar)
- Turing, A.M. 1936. ‘On Computable Numbers, with an Application to the Entscheidungsproblem’. Proceedings of the London Mathematical Society, series 2, 42 (1936-37), 230-265. (Scholar)
- –––. 1946. ‘Proposal for Development in the Mathematics Division of an Automatic Computing Engine (ACE)’. In Carpenter, B.E., Doran, R.W. (eds) 1986. A.M. Turing's ACE Report of 1946 and Other Papers. Cambridge, Mass.: MIT Press. (Scholar)
- –––. 1947. ‘Lecture to the London Mathematical Society on 20 February 1947’. In Carpenter, B.E., Doran, R.W. (eds) 1986. A.M. Turing's ACE Report of 1946 and Other Papers. Cambridge, Mass.: MIT Press. (Scholar)
- –––. 1948. ‘Intelligent Machinery’. National Physical Laboratory Report. In Meltzer, B., Michie, D. (eds) 1969. Machine Intelligence 5. Edinburgh: Edinburgh University Press. (Digital facsimile viewable athttp://www.AlanTuring.net/intelligent_machinery.) (Scholar)
- –––. 1950a. ‘Computing Machinery and Intelligence’. Mind, 59, 433-460. (Scholar)
- –––. 1950b. ‘Programmers' Handbook for Manchester Electronic Computer’. University of Manchester Computing Laboratory. (Digital facsimile viewable athttp://www.AlanTuring.net/programmers_handbook.) (Scholar)
- –––. 1951a. ‘Can Digital Computers Think?’. In Copeland, B.J. (ed.) 1999. ‘A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing’. In Furukawa, K., Michie, D., Muggleton, S. (eds) 1999. Machine Intelligence 15. Oxford: Oxford University Press. (Scholar)
- –––. 1951b (circa). ‘Intelligent Machinery, A Heretical Theory’. In Copeland, B.J. (ed.) 1999. ‘A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing’. In Furukawa, K., Michie, D., Muggleton, S. (eds) 1999. Machine Intelligence 15. Oxford: Oxford University Press.
- Wittgenstein, L. 1980. Remarks on the Philosophy of Psychology. Vol.1. Oxford: Blackwell. (Scholar)
Generated Mon Apr 29 08:59:47 2013
