0.0
本片是一部以“逻辑”为主题的科普纪录片,由计算机科学教授戴夫·克里夫担任引导者,带观众展开一场横跨哲学、数学、科学与技术的思维之旅。影片从亚里士多德、乔治·布尔、伯特兰·罗素、哥德尔到图灵,梳理逻辑如何一步步从哲学工具演变为现代计算机的基础语言。除了历史脉络,片中还通过生动实验与现实案例,展示逻辑在程序设计、股票交易、信息学竞赛等领域的实际力量,甚至用孩子们组成“人肉计算机”来解释运算原理。影片在轻松幽默的表达中提出更深层的问题:当机器越来越擅长逻辑推理,人类是否还能始终领先,我们的大脑又究竟有多“理性”?
播放列表
猜你喜欢
相关推荐
评论 共 0 条
扫码手机观看
评论加载中…