Kurt Gödel proves that any sufficiently complex mathematical system contains true statements that cannot be proven within the system — shattering the dream of a complete mathematical foundation.
This is one of hundreds of moments in an interactive timeline of human history.
Explore the full timeline →