Math 29 Homework #18 I do not know what I may appear to the world; but to myself I seem to have been only like a boy playing on the seashore, and diverting myself in now and then finding a smoother pebble or a prettier shell than the ordinary, whilst the great ocean of truth lay all undiscovered before me. Isaac Newton

	Quiz We have a quiz on Monday 5/10 on Lectures 16 - 18.

	Reading Read what we covered in today's class: 6.2, 3, 4, 5 Read what we will cover in the next class: 6.6 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. When reading 6.3,4,5 pay special attention to the following concepts: Make sure that you understand the statement of the decidability problems presented in these sections. 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 Monday 5/10. Define and give an example of each of the following: partially decidable predicate closed under existential quantification diophantine predicate p. 106, # 6.1.8.1 i p. 109, # 6.4.3

	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