Overview:
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.
Genre : Documentary
Actors : -
Release Date : 2023-10-10
Duration : 10 menit
Rating : ⭐ 0/10 (0 votes)
▶ Play