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.
videoMathematics
After centuries of trying, we’ve yet to arrive at a perfect way to map colour
20 minutes
videoMusic
A riveting audiovisual dive into what makes sounds harmonious, or not
28 minutes
videoMathematics
Spiral into the ‘golden ratio’ – and separate the myths from the maths
4 minutes
videoHistory of science
How we came to know the size of the Universe – and what mysteries remain
26 minutes
videoHistory of science
Ideas ‘of pure genius’ – how astronomers have measured the Universe across history
29 minutes
videoHistory
Hags, seductresses, feminist icons – how gender dynamics manifest in witches
13 minutes