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: .

Not everyone at MIT takes 18.090. Some arrive with AP credit in BC Calculus and a strong background in math competitions (IMO, USAMO). For those students, 18.090 might be redundant. However, for the following archetypes, 18.090 is non-negotiable:

Recent offerings of 18.090 have included a unit on (a proof assistant). If your semester uses this:

Rigorous definitions of injections (one-to-one), surjections (onto), and bijections (invertible functions).

: A first look at permutations, fields, and sequences of real numbers. Student Perspective

In calculus, if you spent 30 minutes on a problem, you were doing it wrong. In pure math, spending three days on a single proof is completely normal. Give your brain time to simmer on difficult concepts. Be Specific with Quantifiers: "For every there is a " is completely different from "There is a ." Treat your logical symbols with absolute precision.

—which is actually a form of deductive reasoning despite its name. Mathematical Language:

Pedagogical methods and assessment

The primary focus of this subject is . It is particularly recommended for students who want "proof-writing" experience before tackling high-level analysis or algebra courses like 18.100 (Real Analysis) or 18.701 (Algebra I). Core Topics

Assuming the opposite of what you want to prove and showing it leads to a logical impossibility.

18.090 Introduction: To Mathematical Reasoning Mit Work

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: .

Not everyone at MIT takes 18.090. Some arrive with AP credit in BC Calculus and a strong background in math competitions (IMO, USAMO). For those students, 18.090 might be redundant. However, for the following archetypes, 18.090 is non-negotiable:

Recent offerings of 18.090 have included a unit on (a proof assistant). If your semester uses this: 18.090 introduction to mathematical reasoning mit

Rigorous definitions of injections (one-to-one), surjections (onto), and bijections (invertible functions).

: A first look at permutations, fields, and sequences of real numbers. Student Perspective Large Language Models are excellent at pattern recognition

In calculus, if you spent 30 minutes on a problem, you were doing it wrong. In pure math, spending three days on a single proof is completely normal. Give your brain time to simmer on difficult concepts. Be Specific with Quantifiers: "For every there is a " is completely different from "There is a ." Treat your logical symbols with absolute precision.

—which is actually a form of deductive reasoning despite its name. Mathematical Language: Not everyone at MIT takes 18

Pedagogical methods and assessment

The primary focus of this subject is . It is particularly recommended for students who want "proof-writing" experience before tackling high-level analysis or algebra courses like 18.100 (Real Analysis) or 18.701 (Algebra I). Core Topics

Assuming the opposite of what you want to prove and showing it leads to a logical impossibility.