|
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.
|
|