Your ultimate (e.g., computer science, data science, pure math) Your current comfort level with writing proofs Share public link
18.090 is an undergraduate subject focusing on understanding and constructing rigorous mathematical arguments. The curriculum covers foundational topics such as infinite sets, logical quantifiers, and various methods of proof. Simultaneously, it introduces selected concepts from algebra—including permutations, vector spaces, and fields—alongside key ideas from analysis, such as sequences of real numbers. The course is particularly suitable for students desiring additional experience with proofs before progressing to more advanced mathematics subjects or subjects in related areas with significant mathematical content.
Mastering the precise application of the universal quantifier ∀for all ("for all") and the existential quantifier ∃there exists ("there exists"). Implications: Deconstructing "If 18.090 introduction to mathematical reasoning mit
The primary goal of 18.090 is to teach you how to understand and construct formal mathematical arguments. While many introductory calculus or linear algebra courses focus on solving for a numerical value, this class shifts the focus to why a statement is true and how to prove it definitively. Key Content & Curriculum
However, the Math Department recommends concurrent enrollment in —officially 18.02 (Multivariable Calculus)—to ensure students have a sufficient mathematical foundation. The department specifically designed 18.090 to be taken concurrently with 18.02 , making it an ideal entry point for students who have completed single-variable calculus and are eager to start proof-based work without delay. Your ultimate (e
One of the most mind-bending segments of the course introduces students to Cantor’s theory of transfinite numbers. Students learn that not all infinities are the same size. Through diagonal arguments, 18.090 demonstrates that the infinity of the real numbers is strictly larger than the infinity of the integers, fundamentally shifting how students view the mathematical universe. Why 18.090 is Critical for STEM Students
definition. This segment strips away the hand-wavy limits of introductory calculus and replaces them with strict bounding proofs. Academic Fit: Who Should Take 18.090? The course is particularly suitable for students desiring
18.090 Introduction to Mathematical Reasoning is more than just a course; it is a rite of passage for MIT students entering the world of abstract mathematics. By focusing on the creation of proofs and the language of logic, it provides the structural foundation necessary for success in everything from Real Analysis to Abstract Algebra. For any student seeking to see why a mathematical statement is true—not just that it is true—18.090 is an indispensable first step.