18.090 Introduction To Mathematical Reasoning Mit Today

Course Title: 18.090 – Introduction to Mathematical Reasoning

Core Curriculum: The Four Pillars of Logic

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.

Summary Recommendation for a Student in 18.090

| If you want... | Get this... | | :--- | :--- | | One book to own | Velleman – How to Prove It | | A free, online reference | Hammack – Book of Proof (people.vcu.edu/~rhammack/BookOfProof/) | | To pass the problem sets | The 18.090 OCW problem set solutions (check your work) | | To understand the logic rules | Solow – How to Read and Do Proofs (Chapter 2–4) |

Note: Do not use advanced texts like Rudin's Principles of Mathematical Analysis or Munkres' Topology for this class – they assume you already know how to write proofs. 18.090 is where you learn that skill.

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: 18.090 introduction to mathematical reasoning mit

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:

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: Course Title: 18

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: "How to Prove It: A Structured Approach" by Daniel J

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

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

1. The Official (or Historically Used) MIT Texts

  • "How to Prove It: A Structured Approach" by Daniel J. Velleman (3rd Edition)
    • Why it’s the best: This is widely considered the gold standard for 18.090. It focuses on the structure of proofs (e.g., "To prove a universal statement, do X; to prove an existential statement, do Y"). Most MIT instructors have drawn heavily from this.
  • "Book of Proof" by Richard Hammack (Virginia Commonwealth University)
    • Why it’s useful: It is free online (legal) under a Creative Commons license. It is incredibly clear, concise, and has hundreds of exercises. Many 18.090 TAs recommend this as a secondary text.

Course Overview

  • Official Title: Introduction to Mathematical Reasoning
  • Context: In standard calculus, you calculate answers. In this course, you learn why those answers exist and how to prove mathematical facts logically. It is the "boot camp" for aspiring mathematicians.
  • Prerequisites: Calculus II (MIT 18.02). However, the content is distinct from calculus; it relies more on logic and set theory than derivatives and integrals.