Mat138h1 - Introduction to proofs - FAlL 2022
This is the course webpage for MAT138H1 (Introduction to Proofs) at the University of Toronto, Fall 2022.
A proof that 1+1=2, from Principia Mathematica
Please read the syllabus.
Office Hours this week: Tuesday 3-4, BA6172
Activities
On Wednesday, September 14, we tried to write down the largest positive integer we could using 100 characters or less.
Here is a link for an in-class activity on Wednesday, September 21. Please don’t fill it in until then! We’ll use this to try to approximate pi.
Homework
Homework 1, due Monday September 26. If you’d like to access it via Crowdmark, use this link.
Homework 2, due Wednesday October 12. If you’d like to access it via Crowdmark, use this link. We’ll discuss the Peano axioms in class, but the Wikipedia article is excellent! See also Chapter 1 here for a nice intro. (Please submit via Crowdmark, barring emergency.)
Homework 3, due Wednesday October 19. If you’d like to access it via Crowdmark, use this link. The reference for this problem set is mostly chapter 7 of JDH’s book. (Please submit via Crowdmark, barring emergency.)
Homework 4 is available on Crowdmark! The reference for this problem set is primarily Chapter 5 of JDH’s book. If you’d prefer to take a look at a pdf, see here. Remember that the Midterm is on Wednesday, October 26!
Homework 5 is available on Crowdmark, and due Monday, November 14.
Homework 6 is available on Crowdmark, and due Monday, November 28. You may enjoy this related Numberphile video.
Homework 7 is available on Crowdmark, and due Thursday, December 8.
There will be a final exam review session in SS 2105 from 1 to 2 pm on Friday, December 9.