猜你喜欢
剧照
详细剧情
长篇影评
1 ) 逻辑的乐趣：一部看一遍就更聪明一点的科普纪录片
逻辑是什么？逻辑就是事情的因果规律。而逻辑学，就是关于思维规律的学说。
2003年，BBC推出了《逻辑的乐趣》的纪录片，纪律片由Dave Cliff教授，他基于逻辑和数学设计的ZIP程序，应用于交易所，准确提供市场供求变化。Dave Cliff教授以轻松有趣，浅显易懂的方式介绍了逻辑及逻辑的一些重要理论。
适合学生党看？因为数学、语言、哲学、科学、计算机及人工智能等学科和领域，都以逻辑作引擎。
也适合单身狗看？了解逻辑理论，你不仅能科学、合理的推导出自己单身的原因，从而积极行动，而且还为接下来的约会，提供了话题，赢得一脸的崇拜，成为撩妹神技。
说到逻辑学，首要提到的是亚里士多德，被称为百科全书式的科学家，其中一个名号便是“逻辑学之父”。他的博学的成果，基于逻辑思维方式，对过去和同时代的理论持批判态度，提出并探讨理论上的盲点，使用演绎法推理，用“三段论”的形式论证。
亚里士多德的“三段论”非常简单，它包含三个命题，前两个命题是前提，第三个即结论。举个例子：人终有一死，苏格拉是个人，得出结论“苏格拉底终有一死”。
19世纪的查尔斯·路德维希·道奇森，英国数学家，他用真名写作数学书，但写逻辑游戏和数理逻辑的书时，却化名路易斯·卡罗尔。没错他就是经典名著《爱丽丝漫游仙境》的作者，同时，他还是普及逻辑推理和批判思维的第一人。
接下来是计算机及数学专业的同学们熟悉的乔治·布尔。他认为逻辑更倾向于数学，而非哲学。他的著作《逻辑的数学分析》是对符号逻辑的贡献之一，《思维规律的研究》更为重要，书中介绍了后来以他名字命名的“布尔代数”。在他死后一个世纪，他的逻辑变成计算机语言，对计算机发展的起着革命性的作用，所以，计算机语言中将逻辑运算称为布尔运算，将其结果称为布尔值。
片中出场的著名人物，有德国数学家和逻辑学家弗雷格和英国哲学家伯特兰 · 罗素，还有计算机之父阿兰 · 图灵，在这里，还可以看到阿兰 · 图灵和他的同事戈登·韦尔奇曼一起制造的“通用机器”。
总之，这是一部让人看一遍，就会有所收获，也会更聪明一点的纪录片，不要忘了看哦!
2 ) 逻辑其实很有趣的吖
作为一个INFP型人格的人，再加上多年文科式学习的熏陶，与严谨的理科思维相去甚远，也曾被人谴责逻辑能力有待提升，遂来看了这部片子。
这部片子最初以一个冷笑话似的小事切入，后期逐渐引入逻辑学科的发展以及与数学、计算机等应用科学的关系。前面还是比较有趣的，后半部分更像是逻辑学推动计算机的应用，整体还是比较浅显易懂的，但是看完感觉这部片子改名为“逻辑学简史”或许更为适当。
逻辑是很精练、基础的，然而充满复杂系统的世界却可以用它去推理，每个人都在有意无意的使用逻辑，逻辑是人类运转的基础。印象比较深的还有“我们永远不可能拥有完全的、确定性的事实”这个悖论。
3 ) 观后感
什么是逻辑？什么是合乎逻辑的？
你只需要明白三个逻辑学家和一个酒馆的故事。
一天，三个逻辑学家走进了一家酒吧。侍者问，你们每个人都要来一杯啤酒吗？第一个逻辑学家说，我不知道。第二个逻辑学家说，我也不知道。第三个逻辑学家说，是的。请问，三位逻辑学家到底要不要啤酒？
原文作者给出的答案是这样的：面对侍者的问题“你们每人都要一杯啤酒吗？”第一个逻辑学家如果自己不要，就会说不是。他说不知道，因为他要啤酒，却不知道后面俩人要不要。同理，第二位逻辑学家知道第一位要啤酒，自己也要啤酒，却不知道第三位要不要。所以说不知道。第三位知道前两位都要啤酒，而自己也要，所以说，是。结论是三位都要啤酒。
你得出结论的质量取决于你投入思想的质量。
逻辑的源头，2500万年前亚里士多德的三段论。
256种三段论，亚里士多德确认19种是有效的。确认如果前提正确，结论也一定正确。
认为是一种数学，只要把逻辑转化成一个方程式
布尔的新数学运算将所有的逻辑简化到可以用新的方法整合的形式。
认为所有事物都可以精简为符号和两个数字：
死后的一个世纪，乔治·布尔提出的逻辑运算如此精炼，广泛运用计算机领域。
计算机的根本就是一堆0和1.
and，or，not
编程：
推理现实世界发挥了很重要的作用。
公元前600年，悖论：威胁数学的根基。
布尔运算的一个不足：
哥德尔
任何想成为数学基础的逻辑系统，必须完整不矛盾。发现数学和逻辑的局限，
对于绝对可以证明的数学逻辑结论经历到瓶颈。
所有的数学逻辑系统都是局限的。宣告逻辑纪元结束。
艾伦·图灵 （受哥德尔启示）
开始更注重实践的逻辑革命
通用机器是一个想象中的东西，
1997年图灵提出
象棋大师被“深蓝”计算机打败，引起轰动。
最后教授认为，人始终有一些机器无法替代的独特属性：比如，
利他主义，创造力和爱是人类独有 我们创造了逻辑规则，使得真理和确定性能够固定下来，否则我们很难找到他们。
4 ) 幼儿园那段，并不是演示 逻辑运算是四则运算，而是四则运算可以等价为逻辑运算吧？
这正好与片子在这里想表达的意图相反。
片子此处想说明，所有的逻辑都是运算，这是从形式逻辑走向符号逻辑的一环。
小朋友演示的，是用与、或、非逻辑门实现2+3=5的四则运算，这是四则运算可以用逻辑来实现。
影评正文不得少于140字，“下一步按钮”在屏幕的右上方，在PC机上超出视线范围。这是专门为手机设计的么？
提问界面按“发布问题”按钮没有反应，在这之前刚刚向我介绍新编辑器如何之好。好么？
哎呀拍的好有意思啊，内容属于通俗易懂的常规介绍，不过这个教授实在是好萌，旁白有些用了很生动的声音来讲解的，给这个本身3★的纪录片增添了很多妙趣。每次看计算机原理当时都能看懂，结果过后就忘= =
这个片子不能叫the joy of logic 应该叫 the history of logic。
没想到哥德尔是饿死的，正在看集异璧。
maybe even better
近期看的最深入浅出的纪录片的，而且讲的还是一般人不感兴趣的逻辑学，整个纪录片条理很好，不断的追问而不是一股脑的堆积史料，风格轻松！推荐！
从三段论到布尔逻辑再到奥地利学派，这条路径是逻辑被自动化应用结果。但我觉得更重要的是另一条路径，讨论语言的逻辑，语义学，维特根斯坦，禅宗和人类认知，以及逻辑对人来说，除了是工具，它还是什么。
作为文科生，逻辑能力一般，但近几年却开始迷逻辑学和统计学。此片挺浅显且风格幽默，很适合入门了解逻辑学。从亚里士多德到图灵，一路展示逻辑学的发展和应用历程。到最后引出了近几年大热的话题：人工智能和人类的角力，结合近期在看的《未来简史》，简直让我脑洞大开。教授很萌。
亚里士多德提出三段论后2000年，克林姆警告未来的理性，乔治布尔提出布尔逻辑，罗素的集合悖论，到哥德尔的不完备性，之后图灵的机器。
人生在世还是要多看纪录片啊～
小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～
挺好的 就是内容有点少～
简单生趣的介绍了逻辑以及从逻辑引发开的现实应用，没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践，很具有现实意义的谈资。
确切地说应该叫逻辑简史趣谈
大多数中国人不讲逻辑到底符不符合逻辑？
看的一愣一愣的，如果理解没错的话，主要讲述的是逻辑的发展历程吧？
3.5星 讲的太简单了
布尔型逻辑，说到罗素的集合时居然连理发师悖论都没提。
下面那个“从感兴趣到放弃”哈哈哈哈哈。前半段确实比较有趣，后半段略meh...短评：小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～【same here】
推荐报计算机相关专业的学子多看看BBC出品的逻辑片，在系统学习专业课程前了解一些科学史、名人史有助于增进大家对底层逻辑的理解。推荐学英语的学子看BBC英字原版，虽然在讲科学道理，但字幕却很干净利落，生词和专业名词不占据太多，真的是BBC良心制作了。另外，资源在Bilibili 上就有，是纯英字的，在此感谢B站，为逻辑科普留下火种！
准确讲应该叫“逻辑学简史”，内容比较少。一群孩子演示逻辑门那段比较有趣。2019-02-11想看。