-
Producer(s):
ARTE GEIE
-
Territories:
Worldwide.
-
Production year:
2023
-
Language(s):
German, English, French
-
Rights:
NON-THEATRICAL, TV, VOD, DVD, INTERNET
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.