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!
Returning Series
Voyages au pays des maths
September 23, 2021
October 10, 2023
2
20
French
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.
View Episodes