** Theory**

- Are different kinds of computers equivalent in what
they are capable of computing?
- How can the operation of a computer (or program) be described
mathematically?
- Can we prove mathematically that a program is correct?
- Are there computational problems that cannot be solved?