逻辑的乐趣

与计算机科学家戴夫·克里夫教授展开了一场尖锐、机智、思维拓展和充满活力的逻辑世界之旅。这部电影遵循了获奖的《统计的喜悦》及其续集《你赢的尾巴——机会的科学》的脚步，带领观众踏上了新的过山车之旅，经历了哲学、数学、科学和技术，所有这些都是在帽子下运行的逻辑，运用了与前任一样的智慧、智慧、动画和欢乐的书呆子。埃索斯，这部电影从亚里士多德到爱丽丝梦游仙境，从科幻到超级计算机，讲述了探索确定性和声音推理本身的基础的迷人故事。布里斯托尔大学计算机科学与工程教授戴夫·克里夫不是抽象的理论家。15年前，他结合逻辑和一些数学知识编写了第一批在股票和股票交易方面超越人类的计算机程序。他说，免费赠送软件并不是他最合乎逻辑的举动……在25个7岁的孩子们的帮助下，克里夫教授创造了一台完全由孩子们组成的计算机，这是有史以来第一次，它只靠逻辑运行。在澳大利亚布里斯班举行的国际信息学奥林匹克竞赛中，我们还遇到了世界上最聪明的天才儿童。“逻辑的乐趣”也为逻辑史上的英雄们喝彩：将逻辑从哲学转向数学的乔治·布尔；360多页但英勇地证明了1+1=2的伯特兰·罗素；带来逻辑的库尔特·戈德尔。阿兰·图灵（Alan Turing），用克里夫所说的“近乎完美的悖论”来启发他思考计算机逻辑的巨大挫折，这部电影最终问道，人类真的能保持领先吗？今天的逻辑计算机器能比我们聪明吗？关于我们自己的大脑，这告诉我们什么？我们到底有多“合乎逻辑”…？