剧情简介：
想象一个机器能够判断所有命题真假的世界…… 可惜事实并非如此。丘奇（Church）、埃尔布兰（Herbrand）、哥德尔（Gödel）和图灵（Turing）各自以不同方式探索， 试图确定是否存在一种算法，能够判定任何数学断言是否可被证明。 这个被称为判定问题（Entscheidungsproblem）的问题震撼了数学界， 同时也为计算机科学的诞生奠定了坚实基础。
用片名去平台搜索正版播放，本站不存储、不提供下载。
