18.090 Introduction To Mathematical Reasoning Mit |best| Jun 2026

A proof isn't just a list of steps; it's a narrative. Students are taught to write for an audience, ensuring every logical leap is justified.

Moving from high school mathematics to university-level mathematics is often a shock for students. In early schooling, math focuses heavily on computation, formulas, and algorithms. You are given an equation, and your job is to find the correct number.

: A major focus is placed on writing clear, unambiguous, and elegant proofs. Key Topics Covered in the Curriculum

18.090 Introduction to Mathematical Reasoning is a carefully designed on-ramp to the upper echelons of mathematics. If you're ready to move beyond computation and into the world of mathematical truth, 18.090 will equip you with the essential skills, confidence, and intuition to thrive in MIT’s most demanding math courses. 18.090 introduction to mathematical reasoning mit

: Recent offerings, such as in Spring 2025, have been taught by faculty like Semyon Dyatlov and Bjorn Poonen , often involving lecture notes and weekly problem sets designed to build analytical thinking.

The curriculum is a curated tour of the foundational ideas and structures of higher mathematics.

To ground logic in concrete structures, 18.090 applies these proof techniques to the integers ( Zthe integers A proof isn't just a list of steps; it's a narrative

), but a strictly smaller cardinality than the real numbers ( Rthe real numbers The 18.090 Proof Toolkit

Number theory provides an excellent playground for practicing new proof techniques because the objects (integers) are familiar, but the properties require deep rigor. Topics include: Divisibility and the Euclidean Algorithm. Prime numbers and the Fundamental Theorem of Arithmetic. Modular arithmetic (often called "clock arithmetic"). 4. Functions and Relations

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: In early schooling, math focuses heavily on computation,

Shifting your mindset from solving problems to proving theorems.

Many students encounter a hidden challenge in advanced math: you might be great at solving equations, but proving why a solution must exist requires a different kind of thinking. 18.090 is MIT’s solution to this challenge. The focus is not on learning new formulas but on understanding and constructing rigorous mathematical arguments. Its central mission is to serve as a "proofs bridge," providing students with the experience in mathematical logic and proof construction needed to succeed in higher-level, proof-based courses in analysis, algebra, and topology.