Foundations of Science

, Volume 2, Issue 1, pp 123–135

Gödel's Incompleteness Theorems and Computer Science

  • Roman Murawski

DOI: 10.1023/A:1009639629935

Cite this article as:
Murawski, R. Foundations of Science (1997) 2: 123. doi:10.1023/A:1009639629935


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.

Gödel's incompleteness theorems Turing machine artificial intelligence mind-body problem 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Roman Murawski
    • 1
  1. 1.Faculty of Mathematics and Computer SciencesAdam Mickiewicz UniversityPoznańPoland

Personalised recommendations