
2 Season
20 Episode
数学漫步之旅 - Season 2 Episode 10 判定问题:数学的终结?
想象一个机器能够判断所有命题真假的世界…… 可惜事实并非如此。丘奇(Church)、埃尔布兰(Herbrand)、哥德尔(Gödel)和图灵(Turing)各自以不同方式探索, 试图确定是否存在一种算法,能够判定任何数学断言是否可被证明。 这个被称为判定问题(Entscheidungsproblem)的问题震撼了数学界, 同时也为计算机科学的诞生奠定了坚实基础。
- Year: 2023
- Country: France
- Genre: 纪录
- Studio: arte.tv
- Keyword: mathematician, mathematics, popular science
- Director:
- Cast: