18.090 Introduction To Mathematical Reasoning Mit May 2026

Student attempts a direct proof: Let ( n^2 = 2k ). Then ( n = \sqrt{2k} )... which is not an integer.

For MIT students, it’s a requirement. For anyone else reading this guide, it’s a blueprint. And 18.090 is the workshop where you learn the trade. Are you an MIT student currently enrolled in 18.090? Check the MIT Student Information System (SIS) for current offerings and the Math Department’s undergraduate office for office hours. For self-learners, Richard Hammack's "Book of Proof" is available for free at people.vcu.edu/~rhammack/BookOfProof/ — that is the closest you can get to the MIT experience without the tuition. 18.090 introduction to mathematical reasoning mit

For many incoming students at the Massachusetts Institute of Technology, the jump from high school calculus to upper-level theoretical mathematics feels like stepping off a firm dock into deep, murky water. In high school, math is often about calculation: find the derivative, solve for ( x ), compute the integral. But in college—especially at MIT—mathematics transforms into a discipline of logic, structure, and proof . Student attempts a direct proof: Let ( n^2 = 2k )

The honest answer: You will feel lost. You will erase entire proofs. You will question if you belong in a math major. For MIT students, it’s a requirement