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
Animals and humans
One man’s quest to save an orphaned squirrel, as narrated by David Attenborough
14 minutes
video
Computing and artificial intelligence
A future in which ‘artificial scientists’ make discoveries may not be far away
9 minutes
video
History
Hags, seductresses, feminist icons – how gender dynamics manifest in witches
13 minutes
video
Earth science and climate
Images carved into film form a haunting elegy for a disappearing slice of Earth
3 minutes
video
Meaning and the good life
Leading 1950s thinkers on the search for happiness in trying times
29 minutes
video
Biology
Butterflies become unrecognisable landscapes when viewed under electron microscopes
4 minutes
video
Engineering
Can monumental ‘ice stupas’ help remote Himalayan villages survive?
15 minutes
video
Virtues and vices
Why Bennie tried to disappear, and what happened when he was found decades later
16 minutes
video
Cognition and intelligence
A father forgets his child’s name for the first time in this poetic reflection on memory
4 minutes