Math 29 Homework #10 Bertrand Russell wrote that pure mathematics is the field in which we don't know what we're talking about or to what extent what we say is true or false. That's the way I feel about cooking. Unknown

	Reading Read what we covered in today's class: 3.7, 4.1 Read what we will cover in the next class: 4.2 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 When reading 4.1 pay special attention to the following concepts: countably infinite, enumeration, enumeration without repetitions, effectively countably infinite, Theorems 1.2, 1.3, 1.4 (give special attention to the bijections \beta and \gamma). When reading 4.2 pay special attention to the following concepts: Definition 2.1, Theorems 2.4 & 2.5 which give us the effective denumerability of the computable functions, Theorem 2.6 in which we obtain a total noncomputable function.

	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: phia Wa Ea index for a function Using Church's Thesis, argue that any finite set is decidable. p. 71, # 3.7.2.4 p. 76, # 4.1.6

	Presentations Joran, Theorems 4.1.3 and 4.1.4 on Monday 4/19 David, Theorem 4.2.6 and the diagonal method on Wednesday 4/21 Amanda, Theorem 4.4.3 on Thursday 4/23