剧照
详细剧情
A sharp, witty, mind-expanding and exuberant foray into the world of logic with computer scientist Professor Dave Cliff. Following in the footsteps of the award-winning 'The Joy of Stats' and its sequel, 'Tails You Win - The Science of Chance', this film takes viewers on a new rollercoaster ride through philosophy, maths, science and technology- all of which, under the bonnet, run on logic.
Wielding the same wit and wisdom, animation and gleeful nerdery as its predecessors, this film journeys from Aristotle to Alice in Wonderland, sci-fi to supercomputers to tell the fascinating story of the quest for certainty and the fundamentals of sound reasoning itself.
Dave Cliff, professor of computer science and engineering at Bristol University, is no abstract theoretician. 15 years ago he combined logic and a bit of maths to write one of the first computer programs to outperform humans at trading stocks and shares. Giving away the software for free, he says, was not his most logical move...
With the help of 25 seven-year-olds, Professor Cliff creates, for the first time ever, a computer made entirely of children, running on nothing but logic. We also meet the world's brainiest whizz-kids, competing at the International Olympiad of Informatics in Brisbane, Australia.
'The Joy of Logic' also hails logic's all-time heroes: George Boole who moved logic beyond philosophy to mathematics; Bertrand Russell, who took 360+ pages but heroically proved that 1 + 1 = 2; Kurt Godel, who brought logic to its knees by demonstrating that some truths are unprovable; and Alan Turing, who, with what Cliff calls an 'almost exquisite paradox', was inspired by this huge setback to logic to conceive the computer.
Ultimately, the film asks, can humans really stay ahead? Could today's generation of logical computing machines be smarter than us? What does that tell us about our own brains, and just how 'logical' we really are...?
长篇影评
1 ) 逻辑其实很有趣的吖
作为一个INFP型人格的人，再加上多年文科式学习的熏陶，与严谨的理科思维相去甚远，也曾被人谴责逻辑能力有待提升，遂来看了这部片子。
这部片子最初以一个冷笑话似的小事切入，后期逐渐引入逻辑学科的发展以及与数学、计算机等应用科学的关系。前面还是比较有趣的，后半部分更像是逻辑学推动计算机的应用，整体还是比较浅显易懂的，但是看完感觉这部片子改名为“逻辑学简史”或许更为适当。
逻辑是很精练、基础的，然而充满复杂系统的世界却可以用它去推理，每个人都在有意无意的使用逻辑，逻辑是人类运转的基础。印象比较深的还有“我们永远不可能拥有完全的、确定性的事实”这个悖论。
2 ) 观后感
什么是逻辑？什么是合乎逻辑的？
你只需要明白三个逻辑学家和一个酒馆的故事。
一天，三个逻辑学家走进了一家酒吧。侍者问，你们每个人都要来一杯啤酒吗？第一个逻辑学家说，我不知道。第二个逻辑学家说，我也不知道。第三个逻辑学家说，是的。请问，三位逻辑学家到底要不要啤酒？
原文作者给出的答案是这样的：面对侍者的问题“你们每人都要一杯啤酒吗？”第一个逻辑学家如果自己不要，就会说不是。他说不知道，因为他要啤酒，却不知道后面俩人要不要。同理，第二位逻辑学家知道第一位要啤酒，自己也要啤酒，却不知道第三位要不要。所以说不知道。第三位知道前两位都要啤酒，而自己也要，所以说，是。结论是三位都要啤酒。
你得出结论的质量取决于你投入思想的质量。
逻辑的源头，2500万年前亚里士多德的三段论。
256种三段论，亚里士多德确认19种是有效的。确认如果前提正确，结论也一定正确。
认为是一种数学，只要把逻辑转化成一个方程式
布尔的新数学运算将所有的逻辑简化到可以用新的方法整合的形式。
认为所有事物都可以精简为符号和两个数字：
死后的一个世纪，乔治·布尔提出的逻辑运算如此精炼，广泛运用计算机领域。
计算机的根本就是一堆0和1.
and，or，not
编程：
推理现实世界发挥了很重要的作用。
公元前600年，悖论：威胁数学的根基。
布尔运算的一个不足：
哥德尔
任何想成为数学基础的逻辑系统，必须完整不矛盾。发现数学和逻辑的局限，
对于绝对可以证明的数学逻辑结论经历到瓶颈。
所有的数学逻辑系统都是局限的。宣告逻辑纪元结束。
艾伦·图灵 （受哥德尔启示）
开始更注重实践的逻辑革命
通用机器是一个想象中的东西，
1997年图灵提出
象棋大师被“深蓝”计算机打败，引起轰动。
最后教授认为，人始终有一些机器无法替代的独特属性：比如，
利他主义，创造力和爱是人类独有 我们创造了逻辑规则，使得真理和确定性能够固定下来，否则我们很难找到他们。
3 ) 幼儿园那段，并不是演示 逻辑运算是四则运算，而是四则运算可以等价为逻辑运算吧？
这正好与片子在这里想表达的意图相反。
片子此处想说明，所有的逻辑都是运算，这是从形式逻辑走向符号逻辑的一环。
小朋友演示的，是用与、或、非逻辑门实现2+3=5的四则运算，这是四则运算可以用逻辑来实现。
影评正文不得少于140字，“下一步按钮”在屏幕的右上方，在PC机上超出视线范围。这是专门为手机设计的么？
提问界面按“发布问题”按钮没有反应，在这之前刚刚向我介绍新编辑器如何之好。好么？
4 ) 逻辑的乐趣：一部看一遍就更聪明一点的科普纪录片
逻辑是什么？逻辑就是事情的因果规律。而逻辑学，就是关于思维规律的学说。
2003年，BBC推出了《逻辑的乐趣》的纪录片，纪律片由Dave Cliff教授，他基于逻辑和数学设计的ZIP程序，应用于交易所，准确提供市场供求变化。Dave Cliff教授以轻松有趣，浅显易懂的方式介绍了逻辑及逻辑的一些重要理论。
适合学生党看？因为数学、语言、哲学、科学、计算机及人工智能等学科和领域，都以逻辑作引擎。
也适合单身狗看？了解逻辑理论，你不仅能科学、合理的推导出自己单身的原因，从而积极行动，而且还为接下来的约会，提供了话题，赢得一脸的崇拜，成为撩妹神技。
说到逻辑学，首要提到的是亚里士多德，被称为百科全书式的科学家，其中一个名号便是“逻辑学之父”。他的博学的成果，基于逻辑思维方式，对过去和同时代的理论持批判态度，提出并探讨理论上的盲点，使用演绎法推理，用“三段论”的形式论证。
亚里士多德的“三段论”非常简单，它包含三个命题，前两个命题是前提，第三个即结论。举个例子：人终有一死，苏格拉是个人，得出结论“苏格拉底终有一死”。
19世纪的查尔斯·路德维希·道奇森，英国数学家，他用真名写作数学书，但写逻辑游戏和数理逻辑的书时，却化名路易斯·卡罗尔。没错他就是经典名著《爱丽丝漫游仙境》的作者，同时，他还是普及逻辑推理和批判思维的第一人。
接下来是计算机及数学专业的同学们熟悉的乔治·布尔。他认为逻辑更倾向于数学，而非哲学。他的著作《逻辑的数学分析》是对符号逻辑的贡献之一，《思维规律的研究》更为重要，书中介绍了后来以他名字命名的“布尔代数”。在他死后一个世纪，他的逻辑变成计算机语言，对计算机发展的起着革命性的作用，所以，计算机语言中将逻辑运算称为布尔运算，将其结果称为布尔值。
片中出场的著名人物，有德国数学家和逻辑学家弗雷格和英国哲学家伯特兰 · 罗素，还有计算机之父阿兰 · 图灵，在这里，还可以看到阿兰 · 图灵和他的同事戈登·韦尔奇曼一起制造的“通用机器”。
总之，这是一部让人看一遍，就会有所收获，也会更聪明一点的纪录片，不要忘了看哦!
这个片子不能叫the joy of logic 应该叫 the history of logic。
3.5星 讲的太简单了
没想到哥德尔是饿死的，正在看集异璧。
布尔型逻辑，说到罗素的集合时居然连理发师悖论都没提。
下面那个“从感兴趣到放弃”哈哈哈哈哈。前半段确实比较有趣，后半段略meh...短评：小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～【same here】
maybe even better
大多数中国人不讲逻辑到底符不符合逻辑？
推荐报计算机相关专业的学子多看看BBC出品的逻辑片，在系统学习专业课程前了解一些科学史、名人史有助于增进大家对底层逻辑的理解。推荐学英语的学子看BBC英字原版，虽然在讲科学道理，但字幕却很干净利落，生词和专业名词不占据太多，真的是BBC良心制作了。另外，资源在Bilibili 上就有，是纯英字的，在此感谢B站，为逻辑科普留下火种！
准确讲应该叫“逻辑学简史”，内容比较少。一群孩子演示逻辑门那段比较有趣。2019-02-11想看。
从三段论到布尔逻辑再到奥地利学派，这条路径是逻辑被自动化应用结果。但我觉得更重要的是另一条路径，讨论语言的逻辑，语义学，维特根斯坦，禅宗和人类认知，以及逻辑对人来说，除了是工具，它还是什么。
人生在世还是要多看纪录片啊～
亚里士多德提出三段论后2000年，克林姆警告未来的理性，乔治布尔提出布尔逻辑，罗素的集合悖论，到哥德尔的不完备性，之后图灵的机器。
看的一愣一愣的，如果理解没错的话，主要讲述的是逻辑的发展历程吧？
作为文科生，逻辑能力一般，但近几年却开始迷逻辑学和统计学。此片挺浅显且风格幽默，很适合入门了解逻辑学。从亚里士多德到图灵，一路展示逻辑学的发展和应用历程。到最后引出了近几年大热的话题：人工智能和人类的角力，结合近期在看的《未来简史》，简直让我脑洞大开。教授很萌。
小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～
近期看的最深入浅出的纪录片的，而且讲的还是一般人不感兴趣的逻辑学，整个纪录片条理很好，不断的追问而不是一股脑的堆积史料，风格轻松！推荐！
挺好的 就是内容有点少～
确切地说应该叫逻辑简史趣谈
哎呀拍的好有意思啊，内容属于通俗易懂的常规介绍，不过这个教授实在是好萌，旁白有些用了很生动的声音来讲解的，给这个本身3★的纪录片增添了很多妙趣。每次看计算机原理当时都能看懂，结果过后就忘= =
简单生趣的介绍了逻辑以及从逻辑引发开的现实应用，没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践，很具有现实意义的谈资。