Math 29 Homework #19 One merit of mathematics few will deny: it says more in fewer words than any science. David Eugene Smith

	Reading Read what we covered in today's class: 6.5, 6.6 Read what we will cover in the next class: 6.6 When reading 6.6 pay special attention to the following concepts: the definition of partially decidable, the examples in 6.2, the characterization of partially decidable predicates in Theorems 6.3 & 6.4, the closure of partially decidable predicates under existential quantification given by Theorem 6.5, diophantine predicates, the equivalence of diophantine and partially decidable predicates given by Theorems 6.9 & 6.10

	Problems The following problems are due by the beginning of class on Wednesday 5/12. Define the following: the Divergence Problem p. 119, # 6.6.14.1 p. 119, # 6.6.14.4 p. 119, # 6.6.14.5

	Presentations Theorem 7.2.16 on Monday 5/17 Theorem 7.3.2 and 7.3.4 on Wednesday 5/19 Theorem 7.4.2 and 7.4.3 on Friday 5/21