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?

Contents    Prev    Next    Page+10    Index