数学漫步之旅 第 2 季 Episode 10 判定问题：数学的终结？ 2023
8.5/10 by 2 位用户
想象一个机器能够判断所有命题真假的世界…… 可惜事实并非如此。丘奇（Church）、埃尔布兰（Herbrand）、哥德尔（Gödel）和图灵（Turing）各自以不同方式探索， 试图确定是否存在一种算法，能够判定任何数学断言是否可被证明。 这个被称为判定问题（Entscheidungsproblem）的问题震撼了数学界， 同时也为计算机科学的诞生奠定了坚实基础。
- 发布日期: 2023-10-10
- 运行时间: 10 分钟
- 类型: 纪录
- 明星:
- 导演:
-
6. 艾丽西亚·布尔与多面体的奇妙世界 2023-10-10
-
7. 开普勒猜想，或如何堆放你的炮弹 2023-10-10
-
8. 混沌理论——无序中的秩序 2023-10-10
-
9. 科瓦列夫斯卡的陀螺，或最优旋转之道 2023-10-10
-
10. 判定问题：数学的终结？ 2023-10-10
