For anyone looking to move beyond the "formula-crunching" of early calculus and start doing "real" math, 18.090: Introduction to Mathematical Reasoning at MIT is the ultimate gateway.
: Starting from a known fact and logically reaching a conclusion. Proof by Contrapositive 18.090 introduction to mathematical reasoning mit
For many second-year undergraduates at MIT, the transition from problem sets involving derivatives and integrals to proving theorems about limits or number theory can be jarring. 18.090 – Introduction to Mathematical Reasoning is explicitly designed to ease this transition. Unlike standard “transition to proof” courses elsewhere, 18.090 leverages MIT’s problem-solving culture while emphasizing clarity, rigor, and creativity in logical argumentation. For anyone looking to move beyond the "formula-crunching"
While specific syllabi vary by semester (and instructor, often Prof. Paul Seidel or Prof. Andrew Lin), the canonical topics of 18.090 include: Paul Seidel or Prof
