Skip to content
One Long Tail
Lessons
Hands-on
Plans
About us
Menu
Lessons
all 428, by branch
Hands-on
lessons you can touch
Plans
what we're building
About us
who we are, contact
All mathematics lessons
Mathematics
Lesson 83 of 85
The four colour theorem
Can a computer's proof be trusted?
c. 2000 BC
today
Era 6 of 6:
Uncertainty and the machine
, 1900 – present
Check yourself
Loading exercises…