逻辑的乐趣

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

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

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

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

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

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

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