2 ฤดูกาล
20 ตอน
Voyages au pays des maths - 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.
- ปี: 2023
- ประเทศ: France
- ประเภท: Documentary
- สตูดิโอ: arte.tv
- คำสำคัญ: mathematician, mathematics, popular science
- ผู้อำนวยการ:
- นักแสดง:
"
"
"
"
"
"
"
"
"
"
