4.0

Average Course Rating

This course will provide a practical introduction to mathematical proof, both as they have been done for centuries, and using a modern technological theorem prover. The course begins with the basic building blocks of mathematics: propositional logic, set theory, functions, and relations. These foundational tools lead to answers to questions that are surprisingly difficult, like “what are numbers?” Students will be exposed to mathematical notation and how to create it in digital documents, as well as an “artificially intelligent” proof assistant. The course will conclude with a consideration of the role of A.I. in pure mathematics, particularly as it applies to proofs.