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."

However, the MIT math department is quick to remind students: 18.090 is not the destination. It is the driver's license. You now know how to operate the vehicle of mathematical thought. The real journey begins when you take that vehicle onto the highways of analysis, topology, and number theory. 18.090 introduction to mathematical reasoning mit

For the student standing at the threshold of advanced mathematics, 18.090 is the key that unlocks the door. Behind that door is a universe of infinite precision, elegant abstraction, and rigorous beauty. Turn the key. The proof awaits.

Are you an MIT student preparing for 18.090? Start reading Velleman’s "How to Prove It" the summer before your freshman year. Are you an educator? Adopt the structured, low-content, high-logic approach of 18.090. It will change how your students see mathematics forever.

MIT course 18.090 (Introduction to Mathematical Reasoning) focuses on the transition from computational math to proof-based mathematics. To "prepare a paper" for this course, you must move beyond getting the right answer and focus on the logical structure, rigor, and clarity of your mathematical argument. 1. Select a Foundational Topic

Your paper should explore a concept that allows for rigorous proof construction. Common topics in the 18.090 syllabus include: Infinite Sets:

Cantor’s diagonal argument or the cardinality of power sets. Methods of Proof:

Direct proof, contradiction, induction, or strong induction applied to number theory (e.g., the infinitude of primes). Algebraic Concepts: Permutations, fields, or the properties of vector spaces. Convergence of real number sequences using definitions. 2. Structure Your Mathematical Paper

A formal paper in this domain should follow a clear, logical progression: Introduction/Motivation: Proof techniques

Define the problem or theorem you are exploring. Explain why it is significant (e.g., "The proof that the square root of 2 is irrational is fundamental to our understanding of the real number system"). Definitions & Axioms:

State all prerequisite definitions clearly before using them in the proof. The Theorem Statement: Use precise mathematical language. For example: "Theorem: Let be a finite set. Then the power set has cardinality

2 raised to the the absolute value of cap S end-absolute-value power The Proof: This is the core of your paper. State the method (e.g., "We proceed by induction on Show every step of the reasoning without "gaps." Conclusion/Reflection:

Briefly discuss the implications or potential generalizations of your result. 3. Adhere to Academic Standards

All formal mathematical papers at MIT, especially for subjects like 18.090, should be prepared using . This ensures equations like are formatted professionally. Target the Audience:

Write for your fellow students. Assume they understand basic calculus but may not know the specific nuances of your topic. Clarity over Complexity:

The goal of 18.090 is "understanding and constructing mathematical arguments". A simple proof that is perfectly executed is better than a complex one that is logically muddy. 4. Example Theorem Construction Sets, functions, and relations

To demonstrate the level of rigor expected, consider a proof by contradiction: the square root of 2 end-root is irrational. Assume the Negation: the square root of 2 end-root is rational. Then and the fraction is in simplest form ( Algebraic Manipulation: Squaring both sides gives Deduce Contradiction: This implies is even, thus must be even (say ). Substituting back, . This means is also even.

, which contradicts the initial assumption that the fraction was in simplest form. Thus, the square root of 2 end-root must be irrational. Which specific mathematical topic are you planning to cover in your paper? Course 18: Mathematics IAP/Spring 2026

Unlike calculus, where you apply formulas, this course teaches you how to verify truth. You will learn the language of mathematics.

MIT does not currently have a full OCW (OpenCourseWare) version of 18.090 with video lectures, but the spirit of the course is reproducible. If you want to replicate the 18.090 experience at home, assemble the following toolkit:

Textbook (The Bible): "How to Prove It: A Structured Approach" by Daniel J. Velleman. This is the unofficial text for 18.090. Work through every exercise in Chapters 1-5. Do not skip the "Negations" section.

Supplemental Problems: "Book of Proof" by Richard Hammack (free online). This is more gentle than Velleman but excellent for drilling.

Practice with an Adversary: The hardest part of 18.090 to replicate is the blackboard defense. Find a study partner. You write a proof. They try to break it. Do not accept your own proof until your partner has failed to find a loophole.

The MIT Archives: Search for "MIT 18.090 problem sets" (many are available via the MIT Math Department's course archive or student repos). Attempt the 2015–2019 p-sets. They are legendary for their difficulty.