2 季节
20 插曲
数学漫步之旅 - Season 2 Episode 10 判定问题：数学的终结？
想象一个机器能够判断所有命题真假的世界…… 可惜事实并非如此。丘奇（Church）、埃尔布兰（Herbrand）、哥德尔（Gödel）和图灵（Turing）各自以不同方式探索， 试图确定是否存在一种算法，能够判定任何数学断言是否可被证明。 这个被称为判定问题（Entscheidungsproblem）的问题震撼了数学界， 同时也为计算机科学的诞生奠定了坚实基础。
- 年: 2023
- 国家: France
- 类型: 纪录
- 工作室: arte.tv
- 关键词: mathematician, mathematics, popular science
- 导向器:
- 投:
"
"
"
"
"
"
"
"
"
"
