剧集 数学漫步之旅 Voyages au pays des maths
- 同类型剧集推荐
剧情简介
想象一个机器能够判断所有命题真假的世界……
可惜事实并非如此。丘奇（Church）、埃尔布兰（Herbrand）、哥德尔（Gödel）和图灵（Turing）各自以不同方式探索，
试图确定是否存在一种算法，能够判定任何数学断言是否可被证明。
这个被称为判定问题（Entscheidungsproblem）的问题震撼了数学界，
同时也为计算机科学的诞生奠定了坚实基础。
可惜事实并非如此。丘奇（Church）、埃尔布兰（Herbrand）、哥德尔（Gödel）和图灵（Turing）各自以不同方式探索，
试图确定是否存在一种算法，能够判定任何数学断言是否可被证明。
这个被称为判定问题（Entscheidungsproblem）的问题震撼了数学界，
同时也为计算机科学的诞生奠定了坚实基础。
剧照或相关图片
资源下载
评论
列表是空的或没有数据
列表是空的不代表没有数据，也可能因为系统未能筛选到符合您的筛选条件的数据。
您可适当修改筛选条件然后重试。
如果仍未有符合条件的数据返回，或有其它疑问可联系我们。