Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 43
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Hadley, Robert F. 2008. Consistency, Turing Computability and Gödel’s First Incompleteness Theorem. Minds and Machines, Vol. 18, Issue. 1, p. 1.


    LaForte, Geoffrey Hayes, Patrick J. and Ford, Kenneth M. 1998. Why Gödel's theorem cannot refute computationalism. Artificial Intelligence, Vol. 104, Issue. 1-2, p. 265.


    Boolos, George 1990. On “seeing” the truth of the Gödel sentence. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 655.


    Boyle, Franklin 1990. Algorithms and physical laws. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 656.


    Breuel, Thomas M. 1990. AI and the Turing model of computation. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 657.


    Butterfield, Jeremy 1990. Lucas revived? An undefended flank. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 658.


    Chalmers, David J. 1990. Computing the thinkable. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 658.


    Davis, Martin 1990. Is mathematical insight algorithmic?. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 659.


    Dennett, Daniel C. 1990. Betting your life on an algorithm. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 660.


    Doyle, Jon 1990. Perceptive questions about computation and cognition. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 661.


    Eagleson, Roy 1990. Computations over abstract categories of representation. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 661.


    Eccles, John C. 1990. Physics of brain-mind interaction. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 662.


    Gamham, Alan 1990. Don't ask Plato about the emperor's mind. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 664.


    Gigerenzer, Gerd 1990. Strong AI and the problem of “second-order” algorithms. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 663.


    Gilden, David L. and Lappin, Joseph S. 1990. Where is the material of the emperor's mind?. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 665.


    Glymour, Clark and Kelly, Kevin 1990. Why you'll never know whether Roger Penrose is a computer. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 666.


    Higginbotham, James 1990. Penrose's Platonism. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 667.


    Hodgkin, Deborah and Houston, Alasdair I. 1990. Selecting for the con in consciousness. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 668.


    Johnson, Jeffery L. Ettinger, R. H. and Hubbard, Timothy L. 1990. A long time ago in a computing lab far, far away…. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 670.


    Kentridge, R. W. 1990. Parallelism and patterns of thought. Behavioral and Brain Sciences, Vol. 13, Issue. 04, p. 670.


    ×

Lucas against Mechanism

  • David Lewis (a1)
  • DOI: http://dx.doi.org/10.1017/S0031819100024591
  • Published online: 25 February 2009
Abstract

J. R. Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine. Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate. Therefore Lucas is no machine.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Philosophy
  • ISSN: 0031-8191
  • EISSN: 1469-817X
  • URL: /core/journals/philosophy
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×