The Joy of Logic

Category: Math
Download:

A sharp, witty, mind-expanding and exuberant foray into the world of logic with computer scientist Professor Dave Cliff.

You might also like

Is math discovered or invented?

Would mathematics exist if people didn't? Did we create mathematical concepts to help us understand the world around us, or is math the native language of the universe itself? Jeff Dekofsky traces some famous arguments in this ancient and hotly debated question.

TED-Ed • 2014 • Math

Decoded

Secret codes run the world. The code of life, DNA, is the operating system for all organisms, which spawned intelligent life like us who eventually created codes of our own--language that allows us to talk and the alphabet that lets us write.

11/17Big History • 2013 • Math

Prediction

Marcus du Sautoy continues his exploration of the hidden numerical code that underpins all nature. This time it's the strange world of what happens next. Professor du Sautoy's odyssey starts with the lunar eclipse - once thought supernatural, now routinely predicted through the power of the code. But more intriguing is what the code can say about our future.

3/3The CodeMath

Weirder and Weirder

Hannah explores a paradox at the heart of modern maths, discovered by Bertrand Russell, which undermines the very foundations of logic that all of maths is built on. These flaws suggest that maths isn't a true part of the universe but might just be a human language - fallible and imprecise. However, Hannah argues that Einstein's theoretical equations, such as E=mc2 and his theory of general relativity, are so good at predicting the universe that they must be reflecting some basic structure in it. This idea is supported by Kurt Godel, who proved that there are parts of maths that we have to take on faith. Hannah then explores what maths can reveal about the fundamental building blocks of the universe - the subatomic, quantum world. The maths tells us that particles can exist in two states at once, and yet quantum physics is at the core of photosynthesis and therefore fundamental to most of life on earth - more evidence of discovering mathematical rules in nature. But if we accept that maths is part of the structure of the universe, there are two main problems: firstly, the two main theories that predict and describe the universe - quantum physics and general relativity - are actually incompatible; and secondly, most of the maths behind them suggests the likelihood of something even stranger - multiple universes. We may just have to accept that the world really is weirder than we thought, and Hannah concludes that while we have invented the language of maths, the structure behind it all is something we discover. And beyond that, it is the debate about the origins of maths that has had the most profound consequences: it has truly transformed the human experience, giving us powerful new number systems and an understanding that now underpins the modern world.

3/3Magic Numbers: Hannah Fry's Mysterious World of Maths • 2018 • Math

What's an algorithm?

An algorithm is a method of solving problems both big and small. Though computers run algorithms constantly, humans can also solve problems with algorithms. David J. Malan explains how algorithms can be used in seemingly simple situations and also complex ones.

TED-EdMath

How big is infinity?

Using the fundamentals of set theory, explore the mind-bending concept of the "infinity of infinities" -- and how it led mathematicians to conclude that math itself contains unanswerable questions.

TED-EdMath