逻辑的乐趣 · 全部短评

#hint# Logic: 亚里士多德三段论 与或非逻辑门 罗素论证1+1=2 图灵机器→AI Algha go deepblue 卡斯帕罗夫 人类暂时还领先于机器

“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,Not Aristotle-Syllogism-256 possibilities， only 19 are validated George Boll: logic-> mathematics Frege-Russell-9 yrs 1+1=2 computer science

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

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

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

人生在世还是要多看纪录片啊～

有这时间不如看一小时讲逻辑的书

从一个简单的逻辑学家笑话开始讲起，分别讲述了逻辑学不同时代的发展、应用，局限性和危害。思路清晰，像读完了一本书。这里概括一下：亚里士多德三段式逻辑（苏格拉底）→逻辑游戏的推广（爱丽丝）→0与1的数学模型（计算机的算法，儿童算实验）→逻辑，如何提问（编程大赛）→悖论：逻辑的可知性（维也纳克利姆特）→逻辑的证明：罗素（理发师悖论）、哥德尔→用逻辑解决部分事情就可以：图灵。计算机之父→逻辑的现代应用（股票交易、飞机起降）→不要让机器的逻辑吞噬人类

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

挺好的 就是内容有点少～

好可爱的纪录片:D

#B站是个好地方#

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

罗素写了本360页的书来证明1+1=2🥹

建立在简单“与或非”基础运算之上的人类文明运作的基本要素，包括但不限于交通和基建维管、数字和计算机运算以及当代数学宇宙的建立和推演 英语中字：【【纪录片】逻辑的乐趣-哔哩哔哩】 https://b23.tv/LACPFPa 央视配音：【【央视】《逻辑之趣》【1080P+】-哔哩哔哩】 https://b23.tv/q7UDBmu #波妞粑粑的纪录片放映室 #豆瓣电影

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

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

这个8点多分怎么出来的,感觉绕的晕晕的还没学会啥,怎么小学生都能看,前几十分钟都会,后面的都听不懂~ 一个大学生一脸尴尬

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

maybe even better