逻辑的乐趣电影

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...?

很轻松愉快的了解我最恐惧的领域，因为自认为是最不擅长的。但这部给了我非常简洁有趣的背景知识。Aristotle: syllogism ➡️ Charles Dodgson/Lewis Carroll ➡️ George Boole ➡️ Gustav Klimt ➡️ Vienna Circle ➡️ Gottlob Frege ➡️ Bertrand Russell ➡️ Kurt Godel ➡️ Alan Turing ➡️ AI 逻辑清晰地解释世界的同时，也存在本身的矛盾，若是根基不稳，整个逻辑解释的世界也随之崩塌，造成不确定的混乱。看纪录片的时候有些好奇为什么一个画家可以如此深刻地让人们质疑逻辑推理，让人们反思现代文明的根本？未来人利用机器能开创怎样的世界呢？我应该害怕吗？

作为一个INFP型人格的人，再加上多年文科式学习的熏陶，与严谨的理科思维相去甚远，也曾被人谴责逻辑能力有待提升。这部片子最初以一个冷笑话似的小事切入，后期逐渐引入逻辑学科的发展以及与数学、计算机等应用科学的关系。前面还是比较有趣的，后半部分更像是逻辑学推动计算机的应用，整体还是比较浅显易懂的，看完感觉这部片子改名为“逻辑学简史”更为适当。逻辑是很精练、基础的，然而充满复杂系统的世界却可以用它去推理，每个人都在有意无意的使用逻辑，逻辑是人类运转的基础。印象比较深的还有“我们永远不可能拥有完全的、确定性的事实”这个悖论。

已经过了饶有兴趣看这种纪录片的年级了，更喜欢干货扎实的系统性理论。片中出现的天才Lijie Chen（）人家生下来就是为了开挂啊。罗素里程碑意义的Principia Mathematica出版，用360多页来逻辑上证明1+1=2。图灵1936年发表论文（Received 28 May,1936.——Read 12 November,1936.）(23岁)的时候就提出了the universial computing machine（现在的计算机）.

和营销号所写的有偏差，主要是讲逻辑这门思维学科的发展简史，是怎样从哲学领域发展到数学，再从数学走向工业，最后成为现在数字互联网的基础。大致上说把事物归纳成集合与子集的圈圈关系，进行推演。逻辑本身也是有局限性的，所以会有悖论和矛盾。听得一知半解吧。有印象的是《爱丽丝梦游仙境》居然也是一本有关逻辑的小说，作者本职是数学家；以及进行了类似《三体》人列计算机的小演示。人的大脑比计算机有什么优势，是否可以把自己也数据化成为数字生命，还有足够的探索空间。

还行3.5分。虽然全篇看完，只有一个模糊的概念，而且语言关系，很多都是一知半解，不能很好的理解。但最后的篇幅还是让我起了思考，人类是特殊的，也是伟大的，这些伟大的成就起源于很小的基础，计算机就起源于0和1的二进制，但现在的成就无可匹量。这种伟大的成就人类可以再复制吗？新的诞生的超级人工智能和人类比又欠缺在哪里呢？限制我们人类自身的又是什么呢？怎么才能冲破这种藩篱和牢笼呢？实在是一个难题。

对逻辑学并无了解的人来说这个纪录片不是太友好啊，感觉是流水账一般的history of logic，并没有感受到joy of logic。幼儿园那一段如何用布尔逻辑进行加法运算，明明可以花个几分钟解释的却并没有，不过这里倒是会让人想起《三体》中的人列计算机，很生动形象的解释方式。还有罗素的1+1=2的证明，如果是放在《三体》中基础物理规律被三体人干扰的情境中，似乎是很有意义的。

我不明白啊！！！我没有感到逻辑的乐趣hhhh，我只是沉迷推理，emmm看别人推理，我自己推不清。我就记住了什么布尔逻辑就是什么东西都可以用0或1表示，连接就是not，and，or吧这三个，由此奠定了以后计算机二进制的基础。最后讲到艾伦·图灵还有AI，我有点不太明白这个连接是啥，估计是逻辑对数学和engineering的作用和基础啥的吧。啧，想要离理科近一点真难啊。

这部讲逻辑的纪录片本身逻辑性不强，有点像堆砌事实的流水账，内容缺乏内在联系或内在联系不突出。逻辑在证明数学基本定律上失败，但是在计算机等工程领域获得成功，且为人们把真理确定下来，便于保存真理提供了很好的工具，逻辑跟AI有密不可分的关联，不得不承认这是逻辑非常有价值的领域，也许是最有价值的领域，不过我还是想知道逻辑在社会人文领域的应用。

推荐报计算机相关专业的学子多看看BBC出品的逻辑片，在系统学习专业课程前了解一些科学史、名人史有助于增进大家对底层逻辑的理解。推荐学英语的学子看BBC英字原版，虽然在讲科学道理，但字幕却很干净利落，生词和专业名词不占据太多，真的是BBC良心制作了。另外，资源在Bilibili 上就有，是纯英字的，在此感谢B站，为逻辑科普留下火种！

“256种三段论”，“绝对的确定性”在悖论面前似乎总会以失败告终，“那些确定性的但却永远都无法得到证明的事实”，“集合悖论”（回看了几遍都没看懂）……所谓的“不确定性”大概能与伟大的图灵思考的与混沌理论相关联起来。重要提示：不能单看中文字幕，一定得带上原版字幕！最后，量子计算机究竟能不能把π的值全算出来！！？？

一段逻辑学的发展，趣味的讲述，虽然从中没看到太多乐趣??但是作为对逻辑学的一个简单入门了解还是挺好的。从亚里士多德到图灵，正是这些伟人的哲思，才构建了现在的数字帝国。现如今如火如荼的AI将会给未来带来什么，结合之前看过的《未来简史》，确实很难预料，也许在生活中少偷懒，多用用逻辑，说不定会给我们带来更多灵感??

我们创造了逻辑，逻辑是支配我们思考到底原则，逻辑使得真理和确定性固定下来并装进了计算机。逻辑学是数学的一个分支，是否可以用逻辑描述大部分数学问题？编程是否就是逻辑的推理和运算，然后交给计算机执行，计算机根据接收到的条件，按照程序（逻辑规则）执行相应的结果？也许逻辑的本质就是数学？

简单介绍逻辑学历史和基础知识，还是蛮不错的纪录片...作为文科生大学时选修的逻辑学结果是四年来最喜欢的课，而且直到工作后都受益匪浅，另外我竟然是通过C4D才认识Boole的2333 ....果然19世纪-20世纪初的欧洲才是理想中的欧洲...发现、理性、进取和自省...