David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Gödel's theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met.1 This I attempt to do.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Rosemarie Rheinwald (1991). Menschen, Maschinen Und Gödels Theorem. Erkenntnis 34 (1):1 - 21.
F. H. George (1962). Minds, Machines and Godel: Another Reply to Mr. Lucas. Philosophy 37 (January):62-63.
Dale Jacquette (1987). Metamathematical Criteria for Minds and Machines. Erkenntnis 27 (July):1-16.
Neil Tennant (2001). On Turing Machines Knowing Their Own Gödel-Sentences. Philosophia Mathematica 9 (1):72-79.
C. Whitely (1962). Minds, Machines and Godel: A Reply to Mr Lucas. Philosophy 37 (January):61-62.
Eric Steinhart (2003). Supermachines and Superminds. Minds and Machines 13 (1):155-186.
F. H. George (1962). Minds, Machines and Gödel: Another Reply to Mr. Lucas. Philosophy 37 (139):62 - 63.
Whiteley C. H. (1962). Minds, Machines and Godel : A Reply to Mr Lucas. Philosophy 37 (139):61-.
David Coder (1969). Godel's Theorem and Mechanism. Philosophy 44 (September):234-7.
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Eric Steinhart (2002). Logically Possible Machines. Minds and Machines 12 (2):259-280.
Robert F. Hadley (2008). Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds and Machines 18 (1):1-15.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
Taner Edis (1998). How Godel's Theorem Supports the Possibility of Machine Intelligence. Minds and Machines 8 (2):251-262.
Robert F. Hadley (1987). Godel, Lucas, and Mechanical Models of Mind. Computational Intelligence 3:57-63.
Added to index2010-12-22
Total downloads14 ( #113,572 of 1,100,779 )
Recent downloads (6 months)1 ( #289,565 of 1,100,779 )
How can I increase my downloads?