There is a quiet crisis that happens in mathematics departments around the world. A student breezes through Calculus I, II, and III, mastering integrals, derivatives, and vector fields. They are, by all standard metrics, good at math. Then, they walk into their first upper-level proof-based course—Real Analysis or Abstract Algebra—and hit a wall.
They realize they have spent years learning to operate mathematical machinery, but they have never learned how the machine is built.
At MIT, 18.090: Introduction to Mathematical Reasoning (IMR) serves as the essential bridge over this gap. It is the course where the motto shifts from "find the answer" to "prove the answer exists." For students seeking extra quality in their mathematical education, 18.090 offers a rigorous, humbling, and ultimately empowering transformation. The Bridge: How MIT’s 18
Bridges the "Proof Gap" Painlessly
Most students struggle with the leap from "solve for x" to "prove that for all x, if P then Q." This supplement provides pattern-matching templates: how to start a proof by contradiction, when to use induction, and how to handle uniqueness proofs. Each template comes with 2–3 worked examples plus 5 practice drills.
Solutions Are Pedagogical, Not Just Answers
A typical entry: Bridges the "Proof Gap" Painlessly Most students struggle
Problem: Show that √2 is irrational.
Low-quality answer: "Assume rational, derive contradiction."
Extra Quality answer: Begins with "We use proof by contradiction. Step 1: Write √2 = a/b in lowest terms… Step 2: Square both sides → 2b² = a² → a is even… Step 3: Substitute a=2c → 2b² = 4c² → b² = 2c² → b even. Contradiction (a,b not coprime)."
Then adds: Common mistake: forgetting to state "lowest terms" – without that, no contradiction.
Modular Difficulty
The material is color-coded: Solutions Are Pedagogical, Not Just Answers A typical
Emphasis on Language Precision
A standout section compares everyday English vs. mathematical statements:
To achieve extra quality, you need the real source code.
The standard MIT lecture notes (available on OCW) are excellent but terse. To achieve extra quality, you must augment them with three distinct types of resources: conceptual deep-dives, problem-solving drills, and verification tools.
One of the most mind-expanding sections of 18.090. You learn that the set of natural numbers ( \mathbbN ) and the set of integers ( \mathbbZ ) have the same cardinality (they are countable), but the real numbers ( \mathbbR ) are uncountable (Cantor's diagonal argument).
There is a quiet crisis that happens in mathematics departments around the world. A student breezes through Calculus I, II, and III, mastering integrals, derivatives, and vector fields. They are, by all standard metrics, good at math. Then, they walk into their first upper-level proof-based course—Real Analysis or Abstract Algebra—and hit a wall.
They realize they have spent years learning to operate mathematical machinery, but they have never learned how the machine is built.
At MIT, 18.090: Introduction to Mathematical Reasoning (IMR) serves as the essential bridge over this gap. It is the course where the motto shifts from "find the answer" to "prove the answer exists." For students seeking extra quality in their mathematical education, 18.090 offers a rigorous, humbling, and ultimately empowering transformation.
Bridges the "Proof Gap" Painlessly
Most students struggle with the leap from "solve for x" to "prove that for all x, if P then Q." This supplement provides pattern-matching templates: how to start a proof by contradiction, when to use induction, and how to handle uniqueness proofs. Each template comes with 2–3 worked examples plus 5 practice drills.
Solutions Are Pedagogical, Not Just Answers
A typical entry:
Problem: Show that √2 is irrational.
Low-quality answer: "Assume rational, derive contradiction."
Extra Quality answer: Begins with "We use proof by contradiction. Step 1: Write √2 = a/b in lowest terms… Step 2: Square both sides → 2b² = a² → a is even… Step 3: Substitute a=2c → 2b² = 4c² → b² = 2c² → b even. Contradiction (a,b not coprime)."
Then adds: Common mistake: forgetting to state "lowest terms" – without that, no contradiction.
Modular Difficulty
The material is color-coded:
Emphasis on Language Precision
A standout section compares everyday English vs. mathematical statements:
To achieve extra quality, you need the real source code.
The standard MIT lecture notes (available on OCW) are excellent but terse. To achieve extra quality, you must augment them with three distinct types of resources: conceptual deep-dives, problem-solving drills, and verification tools.
One of the most mind-expanding sections of 18.090. You learn that the set of natural numbers ( \mathbbN ) and the set of integers ( \mathbbZ ) have the same cardinality (they are countable), but the real numbers ( \mathbbR ) are uncountable (Cantor's diagonal argument).