This is an old revision of the document!
Divi Schmidt The following notes are organized by lecture date. The notes from lecture are handwritten on my iPad and vary in format depending on the content of the lecture. I include questions underneath the relevant lecture notes. Additionally, there is a short summary for each lecture that includes my thoughts on the content and discusses the content in perspective of the entire course.
This lecture is the foundation of the rest of the course. We start from the naturals and build everything in the course off of this first number set. It is quite amazing everything that we can construct from this very first concept, and something that one cannot appreciate until much later in the course. We also introduce induction, which is also a fundamental (and also very cool) concept for constructing proofs, something we do a lot of in this course. Notes: jan19.pdf
Notes: april6.pdf