Dating back to ancient Greece, the idea that any mathematical statement can ultimately be proven true or false, and any apparent contradiction ultimately erased, was as enticing as it was intuitive for many logicians and mathematicians. However, this long-dominant belief was upended in the early 20th century when the logician Kurt Gödel converted a written paradox – ‘This statement cannot be proved’ – into an equation, shattering the notion that mathematics could be built on structures of total certainty. This animation from TED-Ed traces how Gödel was able to use words to transform mathematics forever, and how his ‘incompleteness theorem’ has led to breakthroughs in both his field and the digital world.
video
Beauty and aesthetics
Can you see music in this painting? How synaesthesia fuelled Kandinsky’s art
10 minutes
video
Astronomy
The remarkable innovations inspired by our need to know the night sky
5 minutes
video
Knowledge
Why it takes more than a lifetime to truly understand a single meadow
11 minutes
video
Physics
Groundbreaking visualisations show how the world of the nucleus gives rise to our own
10 minutes
video
Earth science and climate
There’s a ‘climate bomb’ ticking beneath the Arctic ice. How can we prepare?
8 minutes
video
Political philosophy
The radical activist couple who fought for social change in the courtroom
21 minutes
video
Physics
To change the way you see the Moon, view it from the Sun’s perspective
5 minutes
video
Ecology and environmental sciences
GPS tracking reveals stunning insights into the patterns of migratory birds
6 minutes
video
Human rights and justice
Can providing humanitarian aid be illegal? A troubling case from the US-Mexico border
17 minutes