Wk | Date | Topics and activities | Assignments |
1 | 08/28 | Introductions | |
08/30 | $\LaTeX$: first contact | Assignment 1 | |
2 | 09/02 | Discussion of Assignment 1 | |
09/04 | Infinity: review of intuitive notions | ||
09/06 | No Class (Dorian) | ||
3 | 09/09 | Aristotelian logic: categorical propositions | |
09/11 | Aristotelian logic: syllogisms | Assignment 2 | |
09/13 | Propositional logic: truth tables | ||
4 | 09/16 | Propositional logic: Modus ponens | |
09/18 | Tables in $\LaTeX$ | Assignment 3 | |
09/20 | Discussion of Assignment 2 | ||
5 | 09/23 | Numbers: geometric constructions and the equation $x^2=2$ | |
09/25 | Numbers and magnitudes: the Pythagorean point of view | A Light Dance on the Dust of the Ages | |
09/27 | Equivalence relations | ||
6 | 09/30 | A construction of the rational numbers | |
10/02 | Achilles, the tortoise and infinite series | ||
10/04 | Introduction to Zeno's paradoxes | On Zeno's Paradoxes, by W. C. Salmon | |
7 | 10/07 | Zeno's paradoxes as a defense of Parmenides | |
10/09 | Influence of Parmenides | Parmenides, by B. Russell | |
10/11 | Discussion of Assignment 4 | ||
8 | 10/14 | Fall break | |
10/16 | No class | ||
10/18 | Introduction to Quantum Mechanics | PBS documentary | |
9 | 10/21 | Discussion on Quantum Mechanics | |
10/23 | Quantum Mechanics, Math, & Mysticism | Guest lecture by Patton Burchett | |
10/25 | Introduction to Beamer | Tutorial, Outline of final assignment | |
10 | 10/28 | Discussion of Assignment 5 | |
10/30 | Meetings | ||
11/01 | Meetings | ||
11 | 11/04 | Mathematical genealogy - Bibliography in $\LaTeX$ | |
11/06 | Discussion of Assignment 6 | ||
11/08 | Bibliography styles | Bibliographical assignment | |
12 | 11/11 | Library instruction session | Swem Library |
11/13 | Newton and Leibniz on time, space and motion, I | Newton's Scholium to the definitions | |
11/15 | Newton and Leibniz on time, space and motion, II | Excerpts of the Leibniz - Clarke correspondence | |
13 | 11/18 | Newton and Leibniz, wrap up | |
11/20 | Meetings | ||
11/22 | Meetings | ||
14 | 11/25 | Mathematics and natural sciences | Mathematics and Empiricism, by John von Neumann |
11/27 | Thanksgiving Break | ||
11/29 | Thanksgiving Break | ||
15 | 12/02 | Coxeter and Bourbaki | |
12/04 | Mathematics and Cognition | Useful invention or absolute truth? | |
12/06 | On mathematical platonism | Remarks on the Changeux-Connes debate |