5.   Theory of Computing


This chapter under major construction.


Overview.

In this chapter, we describe how a rigorous study of the capabilities and limitations of machines reveals a striking commonality among all known types of computers, and gives us the ability to consider some fundamental questions: These are deep questions indeed, and mathematicians have been grappling with them over much of the last century.