This will be the class blog for 16100 in Autumn 2025, and will be an occasional supplement to the regular course lectures. (I started blogging about courses during the pandemic, but students find the blog useful so have continued to use it.)
You should really think about this course as several courses in one. What are those courses?
- An introduction to proof. There is an accepted language (with its own vocabulary and grammar) for writing down mathematical proofs. A key part of this course is being able to learn to write down such arguments).
- Transitioning from thinking about mathematics as a technique for doing calculations to a theory of why things are true. You probably all did Calculus in high school and got great grades; now you have to unlearn everything you thought you knew. OK, perhaps that is an exaggeration; more accurate is that you will have to learn how much you don’t know and have taken for granted throughout your entire mathematics education. Through the looking glass we go!
Syllabus: You can find a syllabus here which has some information about grading for the course.
Dear Professor, the homework 2 on Gradescope seems to have errors in labeling the questions.
All HW questions should be sent to the TA
Professor, Calegari, check this out: https://imgur.com/a/hAneVDT
His name is Calgey and he is excited to go to your lecture (and even has your lecture notes on him)
He appears to be in a similar physical shape to me at the moment!