Foundations of Science 2 (1):123-135 (1997)
|Abstract||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)|
|Through your library||Configure|
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 downloads30 ( #46,355 of 722,815 )
Recent downloads (6 months)4 ( #20,384 of 722,815 )
How can I increase my downloads?