逻辑的乐趣
Dave Cliff
Kieran Edwards
《逻辑的乐趣》是一部充满智慧和趣味的纪录片，由计算机科学家戴夫·克利夫教授带领我们探索逻辑的世界。继获奖作品《数据之美》及其续集《机遇之尾——几率的科学》，本片以同样的机智与洞见带观众踏上一次惊险之旅，领略哲学、数学、科学和技术中的逻辑之美。影片从古希腊哲学家亚里士多德到爱丽丝漫游奇境，再到科幻小说和超级计算机，戴夫·克利夫教授带领我们追寻确定性的奥秘以及合理推理的基础。作为布里斯托大学计算机科学与工程学教授的他，并非纯粹的理论研究者。15年前，他将逻辑与数学相结合，开发了第一个超越人类在股票交易中的表现的电脑程序。这部影片中，克利夫教授还与25名七岁儿童合作，创造了史上首个完全由孩子组成的计算机系统。此外，本片也介绍了逻辑学的一些传奇人物：乔治·布尔将逻辑从哲学领域拓展到了数学；伯特兰·罗素证明了1+1=2的过程耗时360多页；库尔特·哥德尔通过证明某些真理无法被证明而颠覆了逻辑学；以及艾伦·图灵，他几乎是在对逻辑的打击中发明了计算机。影片最终引发了一个问题：人类是否还能保持领先？今天这一代逻辑性极强的计算机器是否比我们更聪明？这又告诉我们关于我们自己思维的哪些事情呢？
