Below is a tentative calendar for the course. Sections numbers refer to sections of the textbook.
Date | Subject | Reference | Homework |
05/28 | Elements of Mathematical Logic | Sections 1.1 to 1.3. | Homework 1 available. |
05/30 | Elements of inference. | Sections 1.4 to 1.7. | |
06/04 | Fundamentals of Set Theory | Sections 2.1 to 2.3 | Homework 2 available. Homework 1 due. |
06/06 | The Natural Numbers. | Sections 2.4, 2.5 and 2.6. | |
06/11 | Midterm | |
Homework 2 due. |
06/13 | Relations between sets. | Sections 3.1, to 3.3 | Homework 3 available. |
06/18 | Functions. | Sections 4.1 to 4.4 | |
06/20 | Cardinality. | Sections 5.1 to 5.3. | Homework 4 available. Homework 3 due. |
06/25 | Comparability, the Axiom of Choice, and Zorn's Lemma. | ||
06/27 | Integers and Rationals | |
|
06/28 | The Real Numbers | |
|
07/02 | Final exam. | |
Homework 4 due |
The Grand Hilbert Hotel, by Jessica Gomes.
Marlon de Oliveira Gomes is a fifth-yeah Ph.D. student in the Mathematics Department at Stony Brook University.
Hilbert's hotel is a thought experiment that illustrates the counterintuitive properties of infinite sets. It is always fully booked, but there is always room for more.
The facade is inspired by the architecture of Pelourinho, the historic center of Salvador, Brazil.