| title | layout | nav_order |
|---|---|---|
Home |
default |
1 |
This is the main webpage for the course on the formalization of mathematics, taking place in Fall 2023. Lecture notes will be posted here, along with additional information related to the course.
- Instructor: Adam Topaz (email: [email protected])
- Lectures: Tuesdays and Thursdays, 11am to 12:20pm (Edmonton time).
- Office Hours: TBA.
- Webpage: formal-mathematics.github.io
Here is a tentative schedule for the course. Note: this schedule is subject to change at any time!
- Week 1:
- 2023-09-05: Logistics, setup, and introduction to Lean4.
- 2023-09-07: Basics: logic, types, functions, relations in Lean4.
- Week 2:
- 2023-09-12: Basics
- 2023-09-14: Basics
- Week 3:
- 2023-09-19: Order
- 2023-09-21: Order
- Week 4:
- 2023-09-26: Order
- 2023-09-28: Order
- Week 5:
- 2023-10-03: Algebra
- 2023-10-05: Algebra
- Week 6:
- 2023-10-10: Algebra
- 2023-10-12: Algebra
- Week 7:
- 2023-10-17: Algebra
- 2023-10-19: Topology
- Week 8:
- 2023-10-24: Topology
- 2023-10-26: Topology
- Week 9:
- 2023-10-31: Topology
- 2023-11-02: Topology
- Week 10:
- 2023-10-31: Category Theory
- 2023-11-02: Category Theory
- Week 11:
- 2023-11-07: Category Theory
- 2023-11-09: Category Theory
- Week 12:
- 2023-11-14: Reading week, no class.
- 2023-11-16: Reading week, no class.
- Week 13:
- 2023-11-21: Advanced Topics
- 2023-11-23: Advanced Topics
- Week 14:
- 2023-11-28: Advanced Topics
- 2023-11-30: Advanced Topics
- Week 15:
- 2023-12-05: Advanced Topics
- 2023-12-07: Advanced Topics