10 minSeason 2 • Episode 10
LatestImagine 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.
Math is an exotic and confusing country. We speak a bizarre language, full of homeomorphisms, differential varieties, transfinite numbers. But we also find epic landscapes, dizzying ideas and even, sometimes, useful things!
FR
