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

What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but t

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical conte

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of comp