Foundations of Math

Type:


Math

Repository Link:


https://git.sr.ht/~skylermarks/notes

My (long term) goal for these notes is to build a first course in higher math, starting from the foundations of logic and set theory and building towards comfort with a lot of the general tools and techniques which are helpful to have when beginning any course in the “upper division” (analysis, algebra, topology, etc.). I’ll include problems and (perhaps) solutions along with my notes.

The goal of these notes is not to be a discussion of the philosophy of math, although we will undoubtedly encounter moments when such a discussion would be possible or even natural. I will digress at times to have that discussion, but not always; my experience is not with philosophy of math but with using the foundations to prove things rigorously.