Unlike many proof-based courses, 18.090 only requires Calculus II as a corequisite rather than a strict prerequisite. This means you can take it concurrently with your multi-variable calculus training. This flexibility is rare and valuable, allowing you to build proof skills earlier in your academic career without having to wait until completing a long list of lower-level courses. Despite this accessibility, the course does not sacrifice depth or challenge—it simply meets students where they are and elevates them.
At MIT, 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.
: Homework assignments make up roughly 50% of the course grading weight. These problem sets are intentionally structured to ensure students cannot rely on quick Google searches or basic automation; they require hours of drafting and refining arguments.
For most undergraduates, the transition from high school calculus to university-level proofs is a profound shock. You might have aced the AP Calculus BC exam, earned a 5, and even dabbled in some linear algebra. Yet, when you first encounter a course like at MIT, a strange thing happens. The numbers disappear. The equations become sparse. In their place appear cryptic symbols: ( \forall, \exists, \ni, \implies, \iff ). The questions no longer ask, “What is ( x )?” but rather, “Is this statement true for all integers?”
: Officially requires basic calculus familiarity, but its primary prerequisite is a willingness to abandon pattern-matching in favor of rigid, analytical thought. Core Curriculum of 18.090 Unlike many proof-based courses, 18
: You will dive into logic-heavy concepts like infinite sets , quantifiers , and various methods of proof .
A powerful tool for examining cyclic systems. 4. Mathematical Writing and Communication
Understanding the foundational properties of integers.
18.090 wasn't just a class; it was a rite of passage. For many students, it was the "bridge" subject taken before the legendary "heavy hitters" like 18.100 (Real Analysis) 18.701 (Algebra I) Despite this accessibility, the course does not sacrifice
Whenever you see a theorem, try to "break" it. Understanding why a theorem doesn't work if you remove one condition is the best way to understand why it does work.
The course begins with the building blocks of mathematical reasoning. You will master:
One of the course’s most valuable assets is its emphasis on writing. Mathematics is a language, and 18.090 functions as an intensive writing seminar. Students learn that a proof is not just a sequence of symbols, but a persuasive argument intended for a human reader.
A standout section compares everyday English vs. mathematical statements: : Homework assignments make up roughly 50% of
Often referred to as the "proofs class," 18.090 is a "communication intensive" (CI-M) course that introduces students to the fundamental techniques of rigorous mathematical argument MIT OpenCourseWare.
is more than a course; it is a right of passage. Designed by world-class faculty and refined through high student satisfaction, it serves as the essential bridge to the upper echelons of mathematical study. By mastering logical arguments, set theory, algebra basics, and analysis fundamentals, you gain the "extra quality" of a true mathematical mind: rigor, clarity, and the ability to reason abstractly .
Whether you are an MIT student planning your schedule, a self-learner seeking the gold standard in proof-based mathematics education, or an educator looking for a model of excellence, 18.090 represents a benchmark worth studying. In the world of mathematical education, few courses can claim to bridge the gap from computational mathematics to pure proof with such clarity, support, and effectiveness. 18.090 is, quite simply, the quality gateway to advanced mathematics.