Math 39 Homework #16 Life is not a having and a getting, but a being and becoming. Matthew Arnold

	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 11/9. I will hand out a problem set in class on Wednesday 11/4 consisting of problems related to the Completeness Theorem.