back to Home Page

Welcome!
Here you will see info about what we did in class, upcoming exams, solutions for past exams, etc.,
CHECK AT LEAST ONCE A WEEK!!

COURSE PAGE WITH SYLLABUS, GRADING SCHEME ETC

Notes and exams from fall 2025.

---

---

Started 8-11-2026

---

Saturday, 8-15-26
In our first class we will introduce ourselves, talk about how the course will be structured and provide important information about things you need to pay attention to, throughout the semester.
In remaining time we will discuss the emerging field of AI generated math.

Some questions for you:
What does AI mean?
How does it work?
What are some of the things it can do?
What does it mean for society?

Try to listen to these two talks by Terry Tao, one of the best mathematicians around.
Talk at the International Conference of Mathematicians that just concluded in Philadelphia.
Terry Tao's talk on machine learning and mathematical proofs.

---

Tuesday, 8-11-2026
Final exam solutions from last fall. Final exam Version 3 PROBLEMS.
Final exam Version A Solutions.
Final exam Version 3 SOLUTIONS.
Final Exam Version B Solutions.
What we did in first week of fall 2025:
We introduced logic and set theory. We talked about Russell's paradox, how Euclid's parallel lines postulate (that they never intersect) could not be proved and became an an axiom, and basic set theory.
Notes from class on set theory and logic .
We read section 1 of the textbook on basic notions of sets and did as many exercises as possible.

(Optional) Extra reading related to class:
Here is a How Russell's paradox means there is no set contining all sets
Note on Russell's paradox from 2017.
This note contains its definition, history, and an example using web search principles.

Terry Tao's talk on machine learning and mathematical proofs.

The Dunning-Kruger effect which is about people not knowing what they don't know.