Math 29 Homework #8

It seems to me that the poet has only to perceive that which others do not perceive,
to look more deeply than others look.
And the mathematician must do the same thing.
Sonya Kovalesky

Reading

Read what we covered in today's class: 3.3, 3.4
Read what we will cover in the next class: 3.4, 3.7

When reading 3.4 pay special attention to the following concepts:

  • Turing machine, specification, Turing computable functions, Theorem 3.4.7.
When reading 3.7 pay special attention to the following concepts:
  • Church's Thesis, the justifications for believing Church's Thesis, the examples indicating acceptable justification of a function being computable

Problems

The following problems are due by the beginning of class on Wednesday 4/14.
  • Define and give an example for each of the following:
    • Church's Thesis
  • p. 57, # 3.4.6.1
  • p. 57, # 3.4.6.2
  • Prove that the projection functions are Turing computable.

Presentations

  • Theorems 4.1.3 and 4.1.4 on Monday 4/19
  • Theorem 4.2.6 and the diagonal method on Wednesday 4/21
  • Theorem 4.4.3 on Thursday 4/23