Day 4: mat385

Today:

• Announcements:
  • Your first problem set is due today. Please hand those in.
  • I'm missing agreements from a couple of people -- please hand those in.
  • For Friday: please read section 1.3. Homework assignment is on the schedule:

    pp. 43-49, #1, 3, 5(d, e), 6(a, b), 9, 11, 14(a,f,g), 15(a-d), 18(a-d), 19(a,b), 24(a,b,c), 25(a,c), 26(c,d) (due Friday, 1/30).

• Any questions unresolved on Section 1.1 (e.g. homework?).

• Today we'll finish highlights from Section 1.2, and then work some extra examples.

• Examples:
  • p. 32, #18
  • p. 33, #28
  • p. 34, #40-42, 46-48

Links:

• Godel's Incompleteness theorem (when does a system -- e.g. propositional logic -- contain "...statements that are neither provably true nor provably false")?!
• Here is a sketch of the completeness proof for propositional logic (but it isn't easy!).