Skip to main content
×
Home
    • Aa
    • Aa

Lucas against Mechanism

  • David Lewis (a1)
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? *
×