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.
Entscheidungsproblem: The End of Mathematics?
Journey into Maths Country · Season 2 · Episode 10
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.
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.
Episode Details
Air date, runtime, timezone, and episode position.
Season
2
Episode
10
Air Date
10/Oct/2023
Air Time
—
Runtime
10 min
Overview
Episode summary.
Episode Navigation
Move between previous and next episodes.
Previous Episode
Kovaleskaya's Spinning Top or The Best Way to Spin
Next Episode
No next episode