Math 29 Homework #23 The conclusion is inescapable that even for a fixed and well-defined body of mathematical propositions, mathematical thinking is, and must remain, essentially creative. Emil Post commenting on creative sets

	Reading Read what we covered in today's class: 7.3 Read what we will cover in the next class: Ordinals and 7.4 When reading 7.3 pay special attention to the following concepts: definition of productive sets, why are we interested in these sets?, also, pay special attention to Theorems 3.2, 3.4 (these provide us with lots of examples of productive sets), definition and examples of creative sets, Theorem 3.11 is also very important. When reading 7.4 pay special attention to the following concepts: the definition of simple sets, Theorem 4.2 which notes that simple sets are noncomputable and not c.e., and Theorem 4.3 which establishes the existence of simple sets

	Problems The following problems are due by the beginning of class on Friday 5/21. p. 138, # 7.3.13.1 p. 139, # 7.3.13.2 p. 139, # 7.3.13.3 p. 139, # 7.3.13.4 p. 139, # 7.3.13.5 Using the handout, provide "pictures" of the following ordinals: 4w w4 w+2+w ww+ww ww2 2ww w2w

	Presentations Joran, Theorem 7.2.16 on Monday 5/17 David, Theorem 7.3.2 and 7.3.4 on Wednesday 5/19 Amanda, Theorem 7.4.2 and 7.4.3 on Monday 5/24