Math 170 Schedule
Monday |
Tuesday |
Wednesday |
Thursday |
May 15
No class
Reading:
| May 16
Lecture/Discussion:
- Introduction to course, history
- Discussion of Introduction, GEB
Reading:
| May 17
Lecture/Discussion:
- Zeno's paradox, infinity, Carroll's paradox
- Formal systems: symbols, strings, set notations, relations
Reading:
- Three-Part Invention, Chapter I, Two-Part Invention, in GEB
| May 18
Lecture:
- More on formal systems, notations
- Some examples
- Interpretation, meaning, isomorphism
Reading:
Homework 1 due.
|
May 22
Lecture/Discussion:
- More rules of logic
- The tq-system
- Positive/negative space
Reading:
- Sonata for Unaccompanied Achilles, Chp III (through pg. 71), in GEB
| May 23
Discussion:
- HW 2
- (Recursive) enumeration
- Record players
Reading:
| May 24
Discussion:
- (Non) Euclidean geometry
- (In)consistency
Reading:
Homework 2 due.
| May 25
Lecture/Discussion:
- Completeness
- Recursive structures, stacks
- Meta-what?
Reading:
- ppg. 100-134 (emphasis on Little Harmonic Labyrinth), in GEB
Homework 3 due.
|
May 29
No class: Memorial Day!
Reading:
| May 30
Discussion:
- HW 3
- Messages, triggers, context
- Examples: DNA and music
Reading:
Homework 4 due.
| May 31
Lecture/Discussion:
- Can messages be universal?
- Axiomatizing logic
Reading:
| June 1
Lecture/Discussion:
- Propositional calculus
- Formal proofs
- Examples, examples, ...
Reading:
Homework 5 due.
|
June 5
Lecture/Discussion:
- Propositional calculus
- Sample derivations
Reading:
| June 6
Discussion:
- HW 6
- Crab Canon
- Introduction to TNT
Reading:
Homework 6 due.
| June 7
Lecture/Discussion:
- Rules of TNT, quantifiers
- Mathematical induction
Reading:
| June 8
Lecture/Discussion:
- Sample derivations in TNT, proofs
- A Mu Offering
Reading:
Homework 7 due.
|