Math 29 Homework #16

All the effects of nature are only the mathematical consequences
of a small number of immutable laws.
P.S. Laplace

Reading

Read what we covered in today's class: 5.2, 6.1
Read what we will cover in the next class: 6.1, 2, 3

When reading 5.2 pay special attention to the following concepts:

  • Theorems 2.1 and 2.2, note the use of the universal programs in these applications
When reading 6.1 pay special attention to the following concepts:
  • Thereoms 1.1 and 1.3 are the key to almost all of the results in the remainder of this section. Theorems 1.4,1.5, 1.6, 1.7. Notice how each of these problems reduces to the halting problem.
When reading 6.2, 6.3 pay special attention to the following concepts:
  • the description of the word problem for groups and the decision problem for diophantine equations.

Problems

The following problems are due by the beginning of class on Wednesday 5/5.
  • Define each of the following:
    • The Halting Problem
    • The Input Problem
    • The Output Problem
    • Rice's Theorem (in words without symbols)
  • p. 106, # 6.1.8.1 a, b, e
  • p. 106, # 6.1.8.2