18.090 Introduction To Mathematical Reasoning Mit [ 100% CONFIRMED ]
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
: Assuming the opposite of what you want to prove and showing it leads to an impossibility. Mathematical Induction : Proving a statement is true for and that its truth for implies its truth for Department of Mathematics | University of Washington Prerequisites & Logistics Corequisite : You can take 18.090 concurrently with Multivariable Calculus (18.02) Self-Study Resource
Introduction to Cardinality
Logical Foundations: Truth tables, logical connectives (AND, OR, NOT, implication), quantifiers (∀ "for all" and ∃ "there exists"), and the all-important concept of contrapositive. You learn that "If P then Q" is logically equivalent to "If not Q then not P"—a trick that will save your life on exams.
This is where 18.090 Introduction to Mathematical Reasoning enters the picture. Unlike MIT’s famous calculus sequence (18.01, 18.02) or the rigorous analysis class (18.100), 18.090 sits in a unique pedagogical sweet spot. It is a bridge course—a linguistic and logical boot camp designed to transform a student who computes into a mathematician who proves. 18.090 introduction to mathematical reasoning mit
The course assumes only high school algebra and a willingness to be confused. It rejects the "cookbook" approach to math (identify the problem type, apply the algorithm, get the answer) and replaces it with the "detective" approach (observe the hypothesis, construct a logical chain, defend every link).
4. Cardinality (Infinity)
- Countable vs. Uncountable sets.
- Cantor’s Diagonal Argument (Proving real numbers are "bigger" than integers).
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. Countable vs
Common Misconceptions (And Why 18.090 Destroys Them)
Before 18.090, students harbor several dangerous intuitions. The course is designed to systematically demolish them.