Foundations · Module 01

Numbers, Logic & Proof

Every later module assumes you can do this. It is the one thing school mathematics almost never teaches, and the one thing university mathematics assumes on day one.

By the end of this module

You can read and write a proof, and tell a real argument from a plausible one.

0%0 / 5 complete
01

What a proof is

Why is 'it works for the first thousand cases' not enough?

ReadingFree
Book of Proof ↗

Richard Hammack, VCU

Free, complete, and the friendliest entry into rigour that exists.

VideoFree
The most unexpected answer to a counting puzzle ↗

3Blue1Brown

Why intuition needs proof: the answer is π, and nothing about the setup suggests it.

02

Propositional and predicate logic

What does 'if...then' actually commit me to?

CourseFree
6.042J Mathematics for Computer Science ↗

MIT OCW

Tom Leighton. Logic, proof and discrete structures, taught superbly.

04

Induction and recursion

How can a finite argument establish infinitely many facts?

CourseFree
6.042J — Induction ↗

MIT OCW

Check yourself

End-of-module quiz

Every answer comes with the reasoning, not just a verdict. Getting one wrong and reading why is the point.

  1. 01The statement 'if it rains, the ground is wet' is FALSE only when:

  2. 02Cantor's diagonal argument shows that:

  3. 03Proof by contradiction works because:

Answer all 3 to finish the module.