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

The Joy of Data

A witty and mind-expanding exploration of data, with mathematician Dr Hannah Fry. This high-tech romp reveals what data is and how it is captured, stored, shared and made sense of. Fry tells the story of the engineers of the data age, people most of us have never heard of despite the fact they brought about a technological and philosophical revolution. For Hannah, the joy of data is all about spotting patterns. Hannah sees data as the essential bridge between two universes - the tangible, messy world that we see and the clean, ordered world of maths, where everything can be captured beautifully with equations. The film reveals the connection between Scrabble scores and online movie streaming, explains why a herd of dairy cows are wearing pedometers, and uncovers the network map of Wikipedia. What's the mystery link between marmalade and One Direction? The film hails the contribution of Claude Shannon, the mathematician and electrical engineer who, in an attempt to solve the problem of noisy telephone lines, devised a way to digitise all information. Shannon singlehandedly launched the 'information age'. Meanwhile, Britain's National Physical Laboratory hosts a race between its young apprentices in order to demonstrate how and why data moves quickly around modern data networks. It's all thanks to the brilliant technique first invented there in the 1960s by Welshman Donald Davies - packet switching. But what of the future? Should we be worried by the pace of change and what our own data could be used for? Ultimately, Fry concludes, data has empowered all of us. We must have machines at our side if we're to find patterns in the modern-day data deluge. But, Fry believes, regardless of AI and machine learning, it will always take us to find the meaning in them.

2016 • Math

Prediction by the Numbers

Predictions underlie nearly every aspect of our lives, from sports, politics, and medical decisions to the morning commute. With the explosion of digital technology, the internet, and “big data,” the science of forecasting is flourishing. But why do some predictions succeed spectacularly while others fail abysmally? And how can we find meaningful patterns amidst chaos and uncertainty? From the glitz of casinos and TV game shows to the life-and-death stakes of storm forecasts and the flaws of opinion polls that can swing an election, “Prediction by the Numbers” explores stories of statistics in action. Yet advances in machine learning and big data models that increasingly rule our lives are also posing big, disturbing questions. How much should we trust predictions made by algorithms when we don’t understand how they arrive at them? And how far ahead can we really forecast?

NOVA PBS • 2018 • Math

The Secret Rules of Modern Living: Algorithms

Without us noticing, modern life has been taken over. Algorithms run everything from search engines on the internet to satnavs and credit card data security - they even help us travel the world, find love and save lives. Professor Marcus du Sautoy demystifies the hidden world of algorithms. By showing us some of the algorithms most essential to our lives, he reveals where these 2,000-year-old problem solvers came from, how they work, what they have achieved and how they are now so advanced they can even programme themselves.

2015 • Math

Why are manhole covers round?

Why are most manhole covers round? Sure it makes them easy to roll, and slide into place in any alignment. But there’s another, more compelling reason, involving a peculiar geometric property of circles and other shapes. Marc Chamberland explains curves of constant width and Barbier’s theorem.

TED-EdMath

Shapes

Marcus du Sautoy uncovers the patterns that explain the shape of the world around us. Starting at the hexagonal columns of Northern Ireland's Giant's Causeway, he discovers the code underpinning the extraordinary order found in nature - from rock formations to honeycomb and from salt crystals to soap bubbles.

2/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