Students often ask: "Will I ever prove that the square root of 2 is irrational again in real life?" Probably not. But here is what you will use:
In the words of a former 18.090 TA: "This course takes the veil off mathematics. After 18.090, you realize that all of calculus, all of linear algebra—it's just arguments. And arguments can be examined, challenged, and created. You become a participant in math, not just a consumer."
The primary goal is not to memorize facts, but to master the methodology of mathematics. By the end of the course, you should be able to:
A typical 18.090 problem:
Prove: If (n) is an integer and (n^2) is even, then (n) is even.
Solution outline (proof by contrapositive):
Assume (n) is odd. Then (n = 2k+1) for some integer (k).
Thus (n^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k) + 1), which is odd.
Therefore, if (n^2) is even, (n) cannot be odd, so (n) is even. ∎
This simple exercise reinforces contrapositive reasoning and parity — a building block for more advanced modular arithmetic proofs.
MIT’s course 18.090, Introduction to Mathematical Reasoning, serves as a foundational bridge between computational calculus and abstract, proof-based mathematics. This paper explores the course’s objectives, typical syllabus, pedagogical methods, and its role in preparing undergraduates for higher-level courses in analysis, algebra, and topology. Special emphasis is placed on how the course demystifies mathematical logic, set theory, and proof techniques, thereby transforming students from passive formula-users into active mathematical thinkers.
MIT does not currently have a full OCW (OpenCourseWare) version of 18.090 with video lectures, but the spirit of the course is reproducible. If you want to replicate the 18.090 experience at home, assemble the following toolkit:
Textbook (The Bible): "How to Prove It: A Structured Approach" by Daniel J. Velleman. This is the unofficial text for 18.090. Work through every exercise in Chapters 1-5. Do not skip the "Negations" section.
Supplemental Problems: "Book of Proof" by Richard Hammack (free online). This is more gentle than Velleman but excellent for drilling.
Practice with an Adversary: The hardest part of 18.090 to replicate is the blackboard defense. Find a study partner. You write a proof. They try to break it. Do not accept your own proof until your partner has failed to find a loophole.
The MIT Archives: Search for "MIT 18.090 problem sets" (many are available via the MIT Math Department's course archive or student repos). Attempt the 2015–2019 p-sets. They are legendary for their difficulty. 18.090 introduction to mathematical reasoning mit
If you have typed "18.090 introduction to mathematical reasoning mit" into a search engine, you are probably standing at a crossroads. You have finished the computation-based math and are peering into the abstract unknown.
The honest answer: 18.090 is hard. You will feel lost. You will erase entire proofs. You will question if you belong in a math major.
But you will also experience the unique thrill of constructing an ironclad argument from nothing but logic. You will learn to read a theorem and see its skeleton. And when you move on to analysis, topology, or number theory, you will realize that 18.090 gave you the only tool that matters: the ability to reason.
For MIT students, it’s a requirement. For anyone else reading this guide, it’s a blueprint. Mathematical reasoning is not a talent—it’s a craft. 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.
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.
Commonly referred to as a "mathematical maturity" booster, this course is designed specifically for students who want to master the art of the proof before diving into notoriously difficult upper-level subjects like Real Analysis (18.100) Algebra (18.701) Why 18.090 is an MIT "Hidden Gem" The Bridge to Proofs
: While courses like 18.02 (Multivariable Calculus) focus on computation, 18.090 shifts the focus to
things are true. You’ll learn how to construct airtight arguments using logic, set theory, and induction. Flexible Timing
: Unlike many advanced math subjects, you can take 18.090 as early as your second semester since it only requires as a corequisite. Low-Stakes Prep
: It provides a lower-pressure environment to "struggle and wrestle" with abstract concepts—skills that are essential for the more brutal problem sets in the Pure Math major. Key Topics You’ll Conquer
The course covers the "alphabet" of higher mathematics, including: Foundational Logic : Mastering quantifiers like (for all) and there exists (there exists), and the mechanics of implication ( right arrow Set Theory Students often ask: "Will I ever prove that
: Understanding infinite sets, cardinality (the "size" of infinity), and the structure of the real number system. Number Theory
: Working with integers, divisors, and mathematical induction. Abstract Structures
: A first look at permutations, fields, and sequences of real numbers. Student Perspective
Many MIT students find that transitioning to 18.090 is where they actually start "loving" math because they stop memorizing formulas and start understanding the underlying structures. It's often the class that helps students decide if they want to double-major in Course 18 (Mathematics) 18.0x - MIT Mathematics
18.090: Introduction to Mathematical Reasoning is a specialized undergraduate subject at MIT designed to bridge the gap between calculation-based math (like standard calculus) and the abstract world of rigorous proofs. MIT Mathematics Purpose and Audience
The course is primarily intended for students who want to build a solid foundation in mathematical proof construction
before tackling advanced, proof-heavy "Course 18" requirements. It serves as a stepping stone for: MIT Mathematics 18.100 (Real Analysis):
Often cited as the first "true" proof course for many majors. 18.701 (Algebra I):
An advanced abstract algebra course that requires prior proof experience. 18.901 (Introduction to Topology):
A fundamental geometry course that relies heavily on rigorous logic. MIT Mathematics Core Focus Areas
While specific topics can vary by instructor (recent versions have been taught by faculty like Semyon Dyatlov Paul Seidel
), the course typically centers on the "grammar" of mathematics: MIT Mathematics Logic and Truth Tables: In the words of a former 18
Understanding logical connectives (AND, OR, NOT), implications (
), and the construction of truth tables to verify logical consistency. Set Theory:
The basic language of modern math, including operations like unions, intersections, and complements. Proof Techniques:
Direct proofs, proofs by contradiction, contrapositives, and the principle of mathematical induction
—which is actually a form of deductive reasoning despite its name. Mathematical Language:
Learning to distinguish between "inclusive or" (standard in math) and "exclusive or" (common in everyday English). Academic Role Within the MIT Mathematics Department
, 18.090 is classified as an intermediate subject. It is not always a mandatory requirement for the Pure Math major, but it is highly recommended for those who find the jump to 18.100 Real Analysis
daunting. By mastering the reasoning skills in 18.090, students transition from "solving for x" to proving why "x" must exist, providing the absolute certainty required in formal mathematical theorems Semyon Dyatlov's Homepage - MIT Mathematics
This course serves as the bridge between computational calculus (like 18.01/18.02) and abstract mathematics (like 18.100 Real Analysis or 18.701 Algebra). It is designed to teach students how to write rigorous proofs and think abstractly.
In an age of ChatGPT and Wolfram Alpha, one might ask: Why learn to prove anything? The computer can do it. This is a dangerous fallacy.
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: epistemic self-defense.
Furthermore, mathematical reasoning is the foundation of:
To understand the value of 18.090, one must see where it fits in the MIT ecosystem.