The MIT course serves as a foundational bridge for students transitioning from computational mathematics to the rigorous world of formal proofs. Unlike standard calculus, this course focuses on the art of construction —how to build airtight mathematical arguments and interpret the complex writing of others. Essay: The Gateway to Formal Thought
While MIT OpenCourseWare (OCW) provides some video for 18.090, they are often flat. For , turn to:
Fields, vector spaces, and permutations. Analysis: Sequences of real numbers. The MIT course serves as a foundational bridge
The most straightforward method. You assume the hypothesis is true and use definitions, axioms, and previously proven theorems to logically deduce the conclusion.
Do you need specific on any of these topics? Share public link For , turn to: Fields, vector spaces, and permutations
Book of Proof by Richard Hammack (Free online).
: You will develop the ability to write and present mathematical proofs effectively. MIT Mathematics Standard Topics Covered You assume the hypothesis is true and use
If 18.090 teaches a specific skill, it is the art of the "Proof." But this is more than just writing lines of logic; it is about communication.
It forces students to question their assumptions and ensure every argument is watertight.
: When the negation of the conclusion provides a more concrete mathematical structure to work with than the original hypothesis. Proof by Contradiction (Reductio ad Absurdum) You assume the theorem is false ( ), which means is true and