David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Science 2 (1):123-135 (1997)
In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
|Keywords||Gödel's incompleteness theorems Turing machine artificial intelligence mind-body problem|
|Categories||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
John W. Dawson (1984). The Reception of Godel's Incompleteness Theorems. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
Harvey Friedman, Contemporary Perspectives on Hilbert's Second Problem and the Gödel Incompleteness Theorems.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Paolo Mancosu (1999). Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems. History and Philosophy of Logic 20 (1):33-45.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
Robert F. Hadley (2008). Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds and Machines 18 (1):1-15.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Added to index2009-01-28
Total downloads34 ( #49,549 of 1,098,129 )
Recent downloads (6 months)4 ( #78,521 of 1,098,129 )
How can I increase my downloads?