We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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.
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.
Email your librarian or administrator to recommend adding this journal to your organisation's collection.
Loading metrics...
Loading metrics...
* Views captured on Cambridge Core between September 2016 - 27th June 2017. This data will be updated every 24 hours.
