Gödel's incompleteness theorems and computer science

Foundations of Science 2 (1):123-135 (1997)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1009639629935

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
Three theorems of Godel.Andrew Boucher - manuscript
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
Mathematical realism and gödel's incompleteness theorems.Richard Tieszen - 1994 - Philosophia Mathematica 2 (3):177-201.
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.Paolo Mancosu - 1999 - History and Philosophy of Logic 20 (1):33-45.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Existentially closed structures and gödel's second incompleteness theorem.Zofia Adamowicz & Teresa Bigorajska - 2001 - Journal of Symbolic Logic 66 (1):349-356.
Contemporary perspectives on Hilbert's second problem and the gödel incompleteness theorems.Harvey Friedman - manuscript
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.

Analytics

Added to PP
2009-01-28

Downloads
92 (#180,101)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: Routledge.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.

View all 10 references / Add more references