18.090 Introduction To Mathematical Reasoning Mit Jun 2026

In an age of ChatGPT and Wolfram Alpha, one might ask: Why learn to prove anything? The computer can do it. This is a dangerous fallacy.

"If you are Course 18 (Math major), do not skip 18.090. I tried to go straight to 18.100 and got destroyed. I took 18.090 the next semester and got an A in 18.100. Correlation is not causation, but..." — Reddit r/mit comment

While the syllabus evolves slightly depending on the instructor (notable past instructors include Dr. Paul Bamberg and Prof. Haynes Miller), the core of 18.090 revolves around four fundamental pillars. Let’s explore each in detail.

Mastering injectivity (one-to-one functions), surjectivity (onto functions), and bijectivity (invertible functions). 18.090 introduction to mathematical reasoning mit

Finishing 18.090 is a milestone. You will have written hundreds of proofs. You will have internalized the difference between "necessary" and "sufficient." You will wince when a friend says, "Well, it works for n=1, so it's probably true."

According to the MIT Course Catalog, 18.090 emphasizes active participation and developing skill in constructing arguments 3.2.2.

The curriculum of 18.090 introduces concepts that form the bedrock of all advanced mathematics. Rather than focusing on one specific subfield, it pulls foundational elements from several areas: 1. Formal Logic and Set Theory In an age of ChatGPT and Wolfram Alpha,

Before you can build a proof, you must understand the building blocks. Students learn about sentential logic (and, or, implies), quantifiers (for all, there exists), and the basic properties of sets. This provides the syntax needed to write clear, unambiguous mathematical statements. 2. Proof Techniques

Mastering the syntax of mathematical statements, quantifiers, and logical connectives.

Though a newer addition, 18.090 has a distinguished origin and is now a permanent part of the curriculum. It was created by professors , all of whom are renowned researchers and dedicated teachers. "If you are Course 18 (Math major), do not skip 18

Exploring the sizes of infinite sets and understanding why some infinities are larger than others. Why 18.090 is Critical for Aspiring Mathematicians

"The first time I had to present a proof at the board, I forgot how to breathe. By week 10, I was arguing with the TA about the difference between 'there exists unique' and 'there exists at least one.' I grew more in 14 weeks than in 4 years of high school." — Course Evaluation 2019