18.090 Introduction To Mathematical Reasoning Mit May 2026

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

You can compute derivatives in your sleep, but when asked, "Prove that if n is odd, then n² is odd," you freeze. Take 18.090. 18.090 introduction to mathematical reasoning mit

Introduction: The Hidden Threshold For many students entering the hallowed halls of the Massachusetts Institute of Technology, there is a silent, often terrifying, academic barrier. It is not calculus—most MIT freshmen have already mastered differentiation and integration in high school. It is not linear algebra or differential equations. The true hurdle is mathematical maturity . "Book of Proof" by Richard Hammack (free online)

Large Language Models are excellent at pattern recognition but terrible at logical consistency. They routinely "hallucinate" false proofs that look correct. 18.090 teaches the one skill that AI cannot yet automate: . Take 18

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.