Large Language Models are excellent at pattern recognition but terrible at logical consistency. They routinely "hallucinate" false proofs that look correct. 18.090 teaches the one skill that AI cannot yet automate: .

Furthermore, mathematical reasoning is the foundation of:

That "aha" moment—seeing why contrapositive works—is what 18.090 delivers again and again.

18.090 exists to catch students before they fall into the "abstraction gap". It is typically taken after Multivariable Calculus (

18.090 (Introduction to Mathematical Reasoning) at MIT is widely known as the "bridge" course for students transitioning from the computational math of high school to the abstract, proof-based world of a math major. It focuses on the fundamental shift from calculating an answer to why it must be true. The Story of 18.090: From Calculation to Certainty

When reading a proof in a textbook, do not just skim it. Cover the next step with a piece of paper and try to predict what comes next. Ask yourself: Why did they choose that specific variable?

18.090: Introduction to Mathematical Reasoning is an MIT course designed to bridge the gap between calculation-heavy calculus and abstract, proof-based higher mathematics. It is intended for students who want to build a solid foundation in constructing and understanding mathematical arguments before moving on to advanced subjects like Real Analysis (18.100) or Algebra (18.701). MIT Mathematics Preparation Roadmap