Entscheidungsproblem: The End of Mathematics?

October 10, 2023
0.0%

Journey into Maths Country - S2 - E10

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.

Journey into Maths Country: Season 2 - 10 Episode s


Journey into Maths Country: All seasons