18090 Introduction To Mathematical Reasoning Mit Extra Quality

You will stare at a blank page for 30 minutes. This is normal. This is "mathematical weightlifting." If you look up the solution immediately, you rob yourself of the neural pathway growth required for the exam.

In calculus, you memorized formulas. In 18.090, you must memorize definitions verbatim.

Below is a complete, structured syllabus and course materials for a one-semester undergraduate course titled "18.090 Introduction to Mathematical Reasoning" (modeled on MIT-style transition-to-proof courses). It includes course description, learning objectives, week-by-week topics, lectures, readings, problem sets (with solutions outlines), sample exams with solutions, projects, grading scheme, homework policies, and recommended resources. Use, adapt, or extract any part for teaching or self-study.

— Course title: 18.090 Introduction to Mathematical Reasoning
— Course length: 14 weeks (one semester), 3 lecture hours/week, plus recitation/discussion section
— Intended audience: First-year undergraduates moving from computational courses to rigorous proof-based mathematics.

Summary content (table of contents)

Week 2:

Week 3:

Week 4:

Week 5:

Week 6:

Week 7:

Week 8:

Week 9:

Week 10:

Week 11:

Week 12:

Week 13:

Week 14:

Sample PS1 (Logic & Proof basics)

Sample PS8 (Induction)

Full set of problems for all weeks included; each with complete step-by-step solutions and instructor notes.

If you want, I can:

Which deliverable would you like next?

18.090: The Threshold of Infinity sat in a plastic chair in Building 2, staring at a chalkboard covered in symbols that looked more like ancient runes than the math he knew from high school. For Leo, math had always been a series of recipes: plug

into a formula, turn the crank, and get an answer. But here, in 18.090 (Introduction to Mathematical Reasoning) , the crank was gone. The professor, Bjorn Poonen

, walked in and didn't write a single number. Instead, he wrote one word: "In this class," the professor began, "we stop asking the answer is and start asking we are allowed to believe it." The First Crack in the Wall

Leo’s first "Problem Set" (pset) felt like a trap. It didn't ask him to calculate anything. It asked him to prove that there are infinitely many prime numbers. Leo knew it was true—he’d read it in a book—but proving it felt like trying to catch smoke with his bare hands. He spent three hours in the Barker Library

, staring at the white space on his paper. He tried to list them. 2, 3, 5, 7... but they never ended. How do you talk about 'never ending' without getting lost in the void? Then, he remembered a line from the course description

Focuses on understanding and constructing mathematical arguments.

He realized he didn't need to count every prime; he just needed a logical wall that nothing could jump over. He used Reductio ad Absurdum —assuming the primes

end, and then showing that assumption broke the universe. When the contradiction finally clicked, Leo felt a rush he’d never gotten from a calculator. It wasn't just math; it was architecture. The Land of Different Infinities By mid-semester, the class moved into Set Theory

. This was where Leo’s brain truly began to stretch. They weren't just talking about infinity; they were talking about of infinity. Semyon Dyatlov drew two sets on the board: the Integers ( ) and the Real Numbers (all the decimals between "Are they the same size?" he asked. Leo’s intuition said , but his logic said they’re both infinite, so they must be equal. He was wrong. Using Cantor’s Diagonal Argument

, the class proved that the "infinity" of decimals is fundamentally larger than the "infinity" of counting numbers. Leo left the room feeling like he was walking on air. The world looked the same, but the foundation beneath it—the logic holding it all together—was suddenly visible, layered and deep. The Gateway to Greatness

18.090 wasn't just a class; it was a rite of passage. For many students, it was the "bridge" subject taken before the legendary "heavy hitters" like 18.100 (Real Analysis) 18.701 (Algebra I) You will stare at a blank page for 30 minutes

By the end of the term, Leo didn't fear the blank page anymore. He had learned the "grammar" of the universe— quantifiers, relations, and induction

. On his final pset, he didn't just solve problems; he told stories. Each proof was a narrative, starting with a premise and marching toward an inevitable, beautiful conclusion.

As he walked out of the final exam toward the Infinite Corridor, Leo realized he wasn't just a student who was "good at math" anymore. He was a mathematician. typical syllabus

from the 18.090 curriculum to see how these arguments are structured?

is designed for students who want to master the art of the mathematical argument before diving into the deep end of advanced subjects like Real Analysis or Abstract Algebra. Why This Course Matters In introductory calculus, the goal is often finding the . In 18.090, the goal is proving

that answer must be true. It transforms math from a set of rules you follow into a logical structure you build from the ground up. Proof as a Tool

: You learn to construct valid arguments using universal rules, algorithms, and facts. The Foundation for Pure Math : It is specifically recommended for those heading toward (Real Analysis) or (Algebra I). Logical Precision

: The course emphasizes defining terms—like absolute value, divisibility, and even/odd numbers—with extreme precision. What You Actually Study

The curriculum moves beyond the "plug-and-chug" method and into the machinery of logic. Key topics typically include: 6.1: Introduction on Mathematical Reasoning

This feature assumes the core material is based on MIT’s famous course 18.090 (or similar reasoning-focused courses like 6.042J), but enhanced with additional rigor, interactive elements, and pedagogical depth.

5.1. LaTeX Everywhere

5.2. Voice-to-Proof

5.3. Dark Mode for Theorem-Proving