What can computers do in principle? What are their inherent theoretical limitations? The theoretical framework which enables such questions to be answered has b

Computability Theory: An Introduction provides information pertinent to the major concepts, constructions, and theorems of the elementary theory of computabilit

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some a

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers a