剧集 数学漫步之旅 Voyages au pays des maths

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