看到自闭。逻辑的定义实在是太泛,而当今对逻辑的理解又高度数理化。基本上科普都是提一下形式逻辑,然后就变成了弗雷格和罗素的形式演绎逻辑,讲一下二进制和逻辑门,最后索性放弃,变成了电路和计算机通识课,实属管中窥豹。而罗素,居然在principia mathematics中用了360多页证明1+1=2,真是变态到冒烟,我一直认为数学和逻辑学显然不是科学的。哥德尔的不完全性定理…好像解决了我一直以来一个愚蠢的问题: 既然相对论是基于true premises, 而又借助数学达到valid argument,为什么解释不了微观世界
和营销号所写的有偏差,主要是讲逻辑这门思维学科的发展简史,是怎样从哲学领域发展到数学,再从数学走向工业,最后成为现在数字互联网的基础。大致上说把事物归纳成集合与子集的圈圈关系,进行推演。逻辑本身也是有局限性的,所以会有悖论和矛盾。听得一知半解吧。有印象的是《爱丽丝梦游仙境》居然也是一本有关逻辑的小说,作者本职是数学家;以及进行了类似《三体》人列计算机的小演示。人的大脑比计算机有什么优势,是否可以把自己也数据化成为数字生命,还有足够的探索空间。
B站,前半还是很引人入胜的(就是小朋友走0,1那个我没看懂,这辈子学不了编程了><),最后十分钟讲人工智能因为都是大家天天说的东西,看起来就没啥意思了。。
前面云里雾里 后面从图灵的机器开始联想到人工智能主题的电影才有乐趣
带豆包学逻辑,顺便温习了逻辑学和分析哲学史。小孩矩阵那段生动直观。
好吧,我不能指望靠一部纪录片来入门逻辑的。
我以为这部纪录片是让我们学习逻辑以及思辨,但其实更像是告诉我们逻辑学的进化史,而且关注更多的是逻辑和数学 科学的关系。我是数学白痴,所以很多内容都是不懂的。呃,对待自己不懂的知识,就让它继续沉默吧。补充一点,记得其中的一句话,逻辑是关于真理和确定性的学科。以及黑道尔还是别的什么名字,我先记录着,以后有空看看他的学说。
字幕组翻的有点糟糕
BGM挺古怪.从布尔值到计算机.讲的不是多有趣,小朋友算得数那个我没看懂.一代天才哥德尔居然是饿死的.ps:b站弹幕好多刷陈老师的.紧接着去看他的特奖答辩,少年天才(他声音很嗲.
布尔型逻辑,说到罗素的集合时居然连理发师悖论都没提。
简单生趣的介绍了逻辑以及从逻辑引发开的现实应用,没有想到简单逻辑居然在后人的发展下有如此之深的扩展与实践,很具有现实意义的谈资。
从三段论到布尔逻辑再到奥地利学派,这条路径是逻辑被自动化应用结果。但我觉得更重要的是另一条路径,讨论语言的逻辑,语义学,维特根斯坦,禅宗和人类认知,以及逻辑对人来说,除了是工具,它还是什么。
#B站是个好地方#
820
三段论,二进制,应用。
学科大神简介,……布尔-弗雷格-罗素-哥德尔-图灵-……研究基础学科的好处就是几十几百年后你的成果还会垫起各种你都没机会见到的应用学科,然后成为无数人膜拜的大神和无数考生的噩梦哈哈哈。一个小时的长度刚好够改名叫逻辑学:从感兴趣到放弃😂😂😂
哎呀拍的好有意思啊,内容属于通俗易懂的常规介绍,不过这个教授实在是好萌,旁白有些用了很生动的声音来讲解的,给这个本身3★的纪录片增添了很多妙趣。每次看计算机原理当时都能看懂,结果过后就忘= =
这部有点太散乱了。而且讲了太多历史和结论,却没有讲明白促成这些结论的过程。起码《统计的乐趣》就能很好讲明白统计是怎么回事,我们能用统计做什么。这部就不行。
大多数中国人不讲逻辑到底符不符合逻辑?
准确讲应该叫“逻辑学简史”,内容比较少。一群孩子演示逻辑门那段比较有趣。2019-02-11想看。
作为文科生,逻辑能力一般,但近几年却开始迷逻辑学和统计学。此片挺浅显且风格幽默,很适合入门了解逻辑学。从亚里士多德到图灵,一路展示逻辑学的发展和应用历程。到最后引出了近几年大热的话题:人工智能和人类的角力,结合近期在看的《未来简史》,简直让我脑洞大开。教授很萌。
看的一愣一愣的,如果理解没错的话,主要讲述的是逻辑的发展历程吧?
挺好的 就是内容有点少~
3.5星 讲的太简单了
下面那个“从感兴趣到放弃”哈哈哈哈哈。前半段确实比较有趣,后半段略meh...短评:小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机~【same here】
小孩子扮演与或非门那里想起三体里面秦始皇的人列计算机~
确切地说应该叫逻辑简史趣谈