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
Cosmology
Tiny, entangled universes that form or fizzle out – a theory of the quantum multiverse
11 minutes
video
Rituals and celebrations
A beginner’s guide to a joyful Persian tradition of spring renewal and rebirth
3 minutes
video
Astronomy
The history of astronomy is a history of conjuring intelligent life where it isn’t
34 minutes
video
Metaphysics
Simple entities in universal harmony – Leibniz’s evocative perspective on reality
4 minutes
video
Biography and memoir
Passed over as the first Black astronaut, Ed Dwight carved out an impressive second act
13 minutes
video
Engineering
A close-up look at electronic paper reveals its exquisite patterns – and limitations
9 minutes
video
Biography and memoir
The unique life philosophy of Abdi, born in Somalia, living in the Netherlands
29 minutes
video
Cognition and intelligence
What’s this buzz about bees having culture? Inside a groundbreaking experiment
8 minutes
video
Earth science and climate
The only man permitted in Bhutan’s sacred mountains chronicles humanity’s impact
22 minutes