Check us out on:
That bridge is officially called .
A distinctive MIT feature is the use of LaTeX for final projects. Students write a short paper (3–5 pages) proving a non-trivial theorem of their choice, from Cantor’s diagonal argument to the infinitude of primes in arithmetic progressions (special case). 18.090 introduction to mathematical reasoning mit
The curriculum introduces students to the formal language of mathematics through several pillars: That bridge is officially called
Without 18.090, students often struggle in these upper-level courses because they understand the computations but fail to construct the necessary proofs. The curriculum introduces students to the formal language
Do not use advanced texts like Rudin's Principles of Mathematical Analysis or Munkres' Topology for this class – they assume you already know how to write proofs. 18.090 is where you learn that skill.
Prepare students to read, write, and understand rigorous mathematical proofs; transition from computational to proof-based mathematics; develop precise logical reasoning and clear mathematical writing.
Check us out on:
