18.090 Introduction To Mathematical Reasoning Mit -
In the words of a former 18.090 TA: "This course takes the veil off mathematics. After 18.090, you realize that all of calculus, all of linear algebra—it's just arguments. And arguments can be examined, challenged, and created. You become a participant in math, not just a consumer."
), the course typically centers on the "grammar" of mathematics: MIT Mathematics Logic and Truth Tables: 18.090 introduction to mathematical reasoning mit
"The first time I had to present a proof at the board, I forgot how to breathe. By week 10, I was arguing with the TA about the difference between 'there exists unique' and 'there exists at least one.' I grew more in 14 weeks than in 4 years of high school." — Course Evaluation 2019 In the words of a former 18
In an age of ChatGPT and Wolfram Alpha, one might ask: Why learn to prove anything? The computer can do it. This is a dangerous fallacy. You become a participant in math, not just a consumer
: Review elementary properties of integers, including divisibility, prime numbers, and the distinction between even and odd integers. Functions & Relations
If you struggled with the proof portions of 6.042 or feel lost reading a math textbook, 18.090 is your parachute.