|
小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～ |
|
亚里士多德提出三段论后2000年，克林姆警告未来的理性，乔治布尔提出布尔逻辑，罗素的集合悖论，到哥德尔的不完备性，之后图灵的机器。 |
|
近期看的最深入浅出的纪录片的，而且讲的还是一般人不感兴趣的逻辑学，整个纪录片条理很好，不断的追问而不是一股脑的堆积史料，风格轻松！推荐！ |
|
大多数中国人不讲逻辑到底符不符合逻辑？ |
|
推荐报计算机相关专业的学子多看看BBC出品的逻辑片，在系统学习专业课程前了解一些科学史、名人史有助于增进大家对底层逻辑的理解。
推荐学英语的学子看BBC英字原版，虽然在讲科学道理，但字幕却很干净利落，生词和专业名词不占据太多，真的是BBC良心制作了。
另外，资源在Bilibili 上就有，是纯英字的，在此感谢B站，为逻辑科普留下火种！ |
|
看的一愣一愣的，如果理解没错的话，主要讲述的是逻辑的发展历程吧？ |
|
确切地说应该叫逻辑简史趣谈 |
|
这个片子不能叫the joy of logic 应该叫 the history of logic。 |
|
人生在世还是要多看纪录片啊～ |
|
没想到哥德尔是饿死的，正在看集异璧。 |
|
作为文科生，逻辑能力一般，但近几年却开始迷逻辑学和统计学。此片挺浅显且风格幽默，很适合入门了解逻辑学。从亚里士多德到图灵，一路展示逻辑学的发展和应用历程。到最后引出了近几年大热的话题：人工智能和人类的角力，结合近期在看的《未来简史》，简直让我脑洞大开。教授很萌。 |
|
哎呀拍的好有意思啊，内容属于通俗易懂的常规介绍，不过这个教授实在是好萌，旁白有些用了很生动的声音来讲解的，给这个本身3★的纪录片增添了很多妙趣。每次看计算机原理当时都能看懂，结果过后就忘= = |
|
学科大神简介，……布尔-弗雷格-罗素-哥德尔-图灵-……研究基础学科的好处就是几十几百年后你的成果还会垫起各种你都没机会见到的应用学科，然后成为无数人膜拜的大神和无数考生的噩梦哈哈哈。一个小时的长度刚好够改名叫逻辑学：从感兴趣到放弃😂😂😂 |
|
三段论，二进制，应用。 |
|
下面那个“从感兴趣到放弃”哈哈哈哈哈。前半段确实比较有趣，后半段略meh...短评：小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机～【same here】 |
|
#B站是个好地方# |
|
这部有点太散乱了。而且讲了太多历史和结论，却没有讲明白促成这些结论的过程。起码《统计的乐趣》就能很好讲明白统计是怎么回事，我们能用统计做什么。这部就不行。 |
|
BGM挺古怪.从布尔值到计算机.讲的不是多有趣,小朋友算得数那个我没看懂.一代天才哥德尔居然是饿死的.ps:b站弹幕好多刷陈老师的.紧接着去看他的特奖答辩,少年天才(他声音很嗲. |
|
我以为这部纪录片是让我们学习逻辑以及思辨，但其实更像是告诉我们逻辑学的进化史，而且关注更多的是逻辑和数学 科学的关系。我是数学白痴，所以很多内容都是不懂的。呃，对待自己不懂的知识，就让它继续沉默吧。补充一点，记得其中的一句话，逻辑是关于真理和确定性的学科。以及黑道尔还是别的什么名字，我先记录着，以后有空看看他的学说。 |
|
带豆包学逻辑，顺便温习了逻辑学和分析哲学史。小孩矩阵那段生动直观。 |
|
3.5星 讲的太简单了 |
|
挺好的 就是内容有点少～ |
|
前面云里雾里 后面从图灵的机器开始联想到人工智能主题的电影才有乐趣 |
|
看到自闭。逻辑的定义实在是太泛，而当今对逻辑的理解又高度数理化。基本上科普都是提一下形式逻辑，然后就变成了弗雷格和罗素的形式演绎逻辑，讲一下二进制和逻辑门，最后索性放弃，变成了电路和计算机通识课，实属管中窥豹。而罗素，居然在principia mathematics中用了360多页证明1+1=2，真是变态到冒烟，我一直认为数学和逻辑学显然不是科学的。哥德尔的不完全性定理…好像解决了我一直以来一个愚蠢的问题: 既然相对论是基于true premises, 而又借助数学达到valid argument，为什么解释不了微观世界 |
|
820 |
|
我发现BBC的纪录片都能寓教于乐，深入浅出的叙事 |
|
连看三部bbc科普纪录片，真是欲罢不能了ww |
|
准确讲应该叫“逻辑学简史”，内容比较少。一群孩子演示逻辑门那段比较有趣。2019-02-11想看。 |
|
太浅了没有更新我的常识pool，但是看到OI陈立杰也是醉了，以及最后我发现其中一个被采访的人是当年看的oxford公开课intro to general phil的prof也是醉了；最终我自己都被自己“怎么什么都知道”的尿性给震惊到了。。。 |
|
从三段论到布尔逻辑再到奥地利学派，这条路径是逻辑被自动化应用结果。但我觉得更重要的是另一条路径，讨论语言的逻辑，语义学，维特根斯坦，禅宗和人类认知，以及逻辑对人来说，除了是工具，它还是什么。 |
|
简单生趣的介绍了逻辑以及从逻辑引发开的现实应用，没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践，很具有现实意义的谈资。 |
|
图形演示和小故事还是挺形象有趣的~从古典哲学家的逻辑之辩，一路发展到如今的计算机，看似与生活无关的思想最终改变了世界。不过，基础学科真的是聪明人的世界。。Wien ist so schön |
|
布尔型逻辑，说到罗素的集合时居然连理发师悖论都没提。 |
|
好可爱的纪录片:D |
|
从用人类语言学的逻辑 到用数学作为通用语言在分析解决问题的逻辑，再到数学作为电脑语言的逻辑，最后去寻求人类大脑和电脑共同的逻辑。 |
|
字幕组翻的有点糟糕 |
|
maybe even better |
|
所以说，好的程序员没情商有逻辑。值得一看的科教普及片。 |
|
无处不在的逻辑，计算机科学的基础。 |
|
有这时间不如看一小时讲逻辑的书 |
|
罗素花了9年时间，用360多页来在逻辑上证明1+1=2。就，很佩服。 |
|
片子最大的亮点：卖萌。可能是因为觉得人们认为逻辑枯燥，所以用了很多搞怪卖萌的素材哈哈哈。内容比较浅显，介绍了重要的逻辑学家和成就。哲学、科学、数学都离不开逻辑。 |
|
好吧，我不能指望靠一部纪录片来入门逻辑的。 |
|
B站，前半还是很引人入胜的（就是小朋友走0,1那个我没看懂，这辈子学不了编程了><），最后十分钟讲人工智能因为都是大家天天说的东西，看起来就没啥意思了。。 |
|
罗素写了本360页的书来证明1+1=2🥹 |
|
和营销号所写的有偏差，主要是讲逻辑这门思维学科的发展简史，是怎样从哲学领域发展到数学，再从数学走向工业，最后成为现在数字互联网的基础。大致上说把事物归纳成集合与子集的圈圈关系，进行推演。逻辑本身也是有局限性的，所以会有悖论和矛盾。听得一知半解吧。有印象的是《爱丽丝梦游仙境》居然也是一本有关逻辑的小说，作者本职是数学家；以及进行了类似《三体》人列计算机的小演示。人的大脑比计算机有什么优势，是否可以把自己也数据化成为数字生命，还有足够的探索空间。 |
|
关于逻辑的简单介绍，纪录片里面的出现的每位人物，都是大神。从亚里士多德的三段论到艾灵·图伦，逻辑是所有人应该掌握的一门学科。对我来说，有些地方还是太深了，看来要好好去学学逻辑学才能看懂。 |
|
Introduction to logic... 比较平俗的逻辑学发展简史介绍。要说展示逻辑学的乐趣，这个片子还是差距不小。 |
|
前面有点无趣，后面比较有意思，不过限于边幅，都是点到即止的科普。（8分） |
|
更侧重逻辑的应用发展史而不是趣味 |
