Foundations of Science

, Volume 2, Issue 1, pp 123-135

First online:

Gödel's Incompleteness Theorems and Computer Science

  • Roman MurawskiAffiliated withFaculty of Mathematics and Computer Sciences, Adam Mickiewicz University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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