剧集 | 上映日期: 2021-01-21(法国)

1
数学漫步之旅
8.5

数学漫步之旅

制片国家/地区: 法国
类型: 记录片 / 短片 / 动画
标签: 2021 / 法国 / 英语
想象一个机器能够判断所有命题真假的世界…… 可惜事实并非如此。丘奇(Church)、埃尔布兰(Herbrand)、哥德尔(Gödel)和图灵(Turing)各自以不同方式探索, 试图确定是否存在一种算法,能够判定任何数学断言是否可被证明。 这个被称为判定问题(Entscheid...
搜资源|SeedPX.com