This semester we'll be reading a selection of papers from From Frege to Gödel translated by Jean van Heijenoort. Exactly which papers will be determined on week-by-week basis─some are more difficult/interesting than others! We meet Fridays 1:30-2:30PM in CDS 1001. All faculty and students are welcome. If you want to participate, please send an email to Nathan.
| Date | Topic |
|---|---|
| 2/13 | Peano (1889). The principles of arithemtic, presented by a new method |
| 2/20 |
Burali-Forti (1897). A question on transfinite numbers and On well-ordered classes (Dedekind (1890). Letter to Keferstein) |
| 2/27 |
Russell (1902). Letter to Frege Frege (1902). Letter to Russell Richard (1905). The principles of mathematics and the problem of sets |
| 3/6 | Russell (1908). Mathematical logic as based on the theory of types (Part 1) |
| 3/20 | Russell (1908). Mathematical logic as based on the theory of types (Part 2) |
| 3/27 |
Zermelo (1908). Investigations in the foundations of set theory I Zermelo (1904). Proof that every set can be well-ordered Zermelo (1908). A new proof of the possibility of a well-ordering |
| 4/3 | Fraenkel (1922). The notion of "definite" and the independence of the axiom of choice |
| 4/10 | Schönfinkel (1924). On the building blocks of mathematical logic |
| 4/17 | Hilbert (1925). On the infinite |
| 4/24 | Kolmogorov (1925). On the principle of the excluded middle |
| 5/1 | Gödel (1930). The completeness of the axioms of the functional calculus of logic |