小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～

亚里士多德提出三段论后2000年，克林姆警告未来的理性，乔治布尔提出布尔逻辑，罗素的集合悖论，到哥德尔的不完备性，之后图灵的机器。

近期看的最深入浅出的纪录片的，而且讲的还是一般人不感兴趣的逻辑学，整个纪录片条理很好，不断的追问而不是一股脑的堆积史料，风格轻松！推荐！

看的一愣一愣的，如果理解没错的话，主要讲述的是逻辑的发展历程吧？

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

作为文科生，逻辑能力一般，但近几年却开始迷逻辑学和统计学。此片挺浅显且风格幽默，很适合入门了解逻辑学。从亚里士多德到图灵，一路展示逻辑学的发展和应用历程。到最后引出了近几年大热的话题：人工智能和人类的角力，结合近期在看的《未来简史》，简直让我脑洞大开。教授很萌。

大多数中国人不讲逻辑到底符不符合逻辑？

哎呀拍的好有意思啊，内容属于通俗易懂的常规介绍，不过这个教授实在是好萌，旁白有些用了很生动的声音来讲解的，给这个本身3★的纪录片增添了很多妙趣。每次看计算机原理当时都能看懂，结果过后就忘= =

学科大神简介，……布尔-弗雷格-罗素-哥德尔-图灵-……研究基础学科的好处就是几十几百年后你的成果还会垫起各种你都没机会见到的应用学科，然后成为无数人膜拜的大神和无数考生的噩梦哈哈哈。一个小时的长度刚好够改名叫逻辑学：从感兴趣到放弃

这个片子不能叫the joy of logic 应该叫 the history of logic。

BGM挺古怪.从布尔值到计算机.讲的不是多有趣,小朋友算得数那个我没看懂.一代天才哥德尔居然是饿死的.ps:b站弹幕好多刷陈老师的.紧接着去看他的特奖答辩,少年天才(他声音很嗲.

我以为这部纪录片是让我们学习逻辑以及思辨，但其实更像是告诉我们逻辑学的进化史，而且关注更多的是逻辑和数学 科学的关系。我是数学白痴，所以很多内容都是不懂的。呃，对待自己不懂的知识，就让它继续沉默吧。补充一点，记得其中的一句话，逻辑是关于真理和确定性的学科。以及黑道尔还是别的什么名字，我先记录着，以后有空看看他的学说。

下面那个“从感兴趣到放弃”哈哈哈哈哈。前半段确实比较有趣，后半段略meh...短评：小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～【same here】

带豆包学逻辑，顺便温习了逻辑学和分析哲学史。小孩矩阵那段生动直观。

前面云里雾里 后面从图灵的机器开始联想到人工智能主题的电影才有乐趣

看到自闭。逻辑的定义实在是太泛，而当今对逻辑的理解又高度数理化。基本上科普都是提一下形式逻辑，然后就变成了弗雷格和罗素的形式演绎逻辑，讲一下二进制和逻辑门，最后索性放弃，变成了电路和计算机通识课，实属管中窥豹。而罗素，居然在principia mathematics中用了360多页证明1+1=2，真是变态到冒烟，我一直认为数学和逻辑学显然不是科学的。哥德尔的不完全性定理…好像解决了我一直以来一个愚蠢的问题: 既然相对论是基于true premises, 而又借助数学达到valid argument，为什么解释不了微观世界

我发现BBC的纪录片都能寓教于乐，深入浅出的叙事

连看三部bbc科普纪录片，真是欲罢不能了ww

太浅了没有更新我的常识pool，但是看到OI陈立杰也是醉了，以及最后我发现其中一个被采访的人是当年看的oxford公开课intro to general phil的prof也是醉了；最终我自己都被自己“怎么什么都知道”的尿性给震惊到了。。。

准确讲应该叫“逻辑学简史”，内容比较少。一群孩子演示逻辑门那段比较有趣。2019-02-11想看。

图形演示和小故事还是挺形象有趣的~从古典哲学家的逻辑之辩，一路发展到如今的计算机，看似与生活无关的思想最终改变了世界。不过，基础学科真的是聪明人的世界。。Wien ist so schön

这部有点太散乱了。而且讲了太多历史和结论，却没有讲明白促成这些结论的过程。起码《统计的乐趣》就能很好讲明白统计是怎么回事，我们能用统计做什么。这部就不行。

从三段论到布尔逻辑再到奥地利学派，这条路径是逻辑被自动化应用结果。但我觉得更重要的是另一条路径，讨论语言的逻辑，语义学，维特根斯坦，禅宗和人类认知，以及逻辑对人来说，除了是工具，它还是什么。

简单生趣的介绍了逻辑以及从逻辑引发开的现实应用，没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践，很具有现实意义的谈资。

布尔型逻辑，说到罗素的集合时居然连理发师悖论都没提。

没想到哥德尔是饿死的，正在看集异璧。

从用人类语言学的逻辑 到用数学作为通用语言在分析解决问题的逻辑，再到数学作为电脑语言的逻辑，最后去寻求人类大脑和电脑共同的逻辑。

幸好之前读了《逻辑学》那个小册子，这里有些东西才能看懂。用板块模式追溯了逻辑学大阶段历史：从亚里士多德到数学在逻辑学的应用再到图灵和计算机的诞生。能把逻辑学介绍、拍摄得这么有意思，这个纪录片还是很盖的。

好吧，我不能指望靠一部纪录片来入门逻辑的。

片子最大的亮点：卖萌。可能是因为觉得人们认为逻辑枯燥，所以用了很多搞怪卖萌的素材哈哈哈。内容比较浅显，介绍了重要的逻辑学家和成就。哲学、科学、数学都离不开逻辑。

关于逻辑的简单介绍，纪录片里面的出现的每位人物，都是大神。从亚里士多德的三段论到艾灵·图伦，逻辑是所有人应该掌握的一门学科。对我来说，有些地方还是太深了，看来要好好去学学逻辑学才能看懂。

B站，前半还是很引人入胜的（就是小朋友走0,1那个我没看懂，这辈子学不了编程了><），最后十分钟讲人工智能因为都是大家天天说的东西，看起来就没啥意思了。。

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

前面有点无趣，后面比较有意思，不过限于边幅，都是点到即止的科普。（8分）

Introduction to logic... 比较平俗的逻辑学发展简史介绍。要说展示逻辑学的乐趣，这个片子还是差距不小。

二十分钟后变成“程序的乐趣”，半个小时以后变成“码农的乐趣”？！——不过有趣是真有趣，因为普及了很多逻辑学小幽默~

由于某妈介绍说可以给娃科普逻辑，我也赶紧学起来，结论是，好吧，还是给娃买套逻辑狗吧，这个科普BBC做的不错，可是，针对大人或者有计算机基础的大孩子，从与或非到二进制到人工智能，恐怕我娃十年内看不懂（疑犯追踪的后遗症，我听不得machine）

还好 易懂 逻辑性较弱 以后乘地铁要做数独 不能困顿大脑或胡思乱想

其实讲的是逻辑简史。让我震惊的知识点：1.罗素写的principia mathematica中，花360页证明了1+1＝2。2.任何逻辑系统都不完善incomplete。3.电脑和大脑很像，我们把社会规则rules编入电脑之后，电脑(我认为)可以成人。好多哲学家也是数学家，有些文学家也研究数学，比如Lewis Carroll，感觉自己思考的领域好狭窄好肤浅。PS：教授很可爱，免费了自己的ZIP(一个交易软件，所以他没有像比尔盖茨一样富有)。给小朋友做的二进制实验我没看懂，惭愧啊。

典型的bbc科普片风格，喜欢的很喜欢，不喜欢的会困。

从逻辑到数学，再到计算机和人工智能。从Aristotle的syllogism三段论开始，然后Charles Dodgson也就是爱丽丝漫游仙境的Lewis Carroll致力于逻辑的普及Logic for Ladies后改名为Symbolic Logic，然后George Boole用数学表达逻辑，算法的开始，再然后Gustav Klimt的壁画暗示不确定性，Gottlob Frege, Bertrand Russell论证1+1=2. M！Kurt Godel，Alan Turing将数学逻辑变为电子硬件成就了计算机的诞生。人工智能大可以比人类聪明，但人类却不只有逻辑的乐趣

“would three of you like a beer”? "I don't know" I don't know" yes"Paradox: This sentence is false. T or F? And, Or,NotAristotle-Syllogism-256 possibilities， only 19 are validatedGeorge Boll: logic-> mathematics Frege-Russell-9 yrs 1+1=2computer science

轻松有趣配乐萌，从图灵开始变得更有意思。