Journey into Maths Country
Season 2 Episode 10 - Entscheidungsproblem: The End of Mathematics?
Imagine a world where a machine could calculate true and false... Failing that, Church, Herbrand, Gödel and Turing each tried in their own way to determine whether an algorithm could decide whether or not a mathematical assertion could be proved. The Entscheidungsproblem, the decision problem that rocked maths and, in the process, laid the foundations of computer science.
Episodes in Season 2
The Monty Hall Problem
10 min
Simpson's Paradox
10 min
Non-Euclidean Geometries
10 min
Planar Tessellations
10 min
Graph Theory
10 min
Alicia Boole in the Land of Polytopes
10 min
The Kepler Conjecture, or How to Store Your Cannonballs
10 min
Chaos Theory or Order in Disorder
10 min
Kovaleskaya's Spinning Top or The Best Way to Spin
10 min
Entscheidungsproblem: The End of Mathematics?
10 min