Math 39 Homework #15 A thorough advocate in a just cause, a penetrating mathematician facing the starry heavens, both alike bear the semblence of divinity. Goethe

	Reading Read what we will cover in the next class: The Adequacy (or Completeness) Theorem. I would encourage you to spend some time leafing through the Hamilton 4.4. However, you should devote the first half of your reading time with Crossley Chapter 2. Hamilton runs through the Completeness Theorem in one big blur, while Crossley breaks up the proof into pieces that are a bit more manageable; the flow chart on pages 15 - 16 is particularly nice. Therefore, we are going to mostly follow Crossley's outline when discussing the proof in class. Crossley does use some different words to identify some objects we are already pretty familiar with. The following dictionary/thesaurus might be helpful: formula = L-wf sentence = closed L-wf universally valid = logically valid universally valid = logically valid full set of L-wfs = complete set of L-wfs

	Problems The following problems are due by the beginning of class on Monday 10/26. 4.2: 5, 7. 4.3: 8, 9.