什么是逻辑？什么是合乎逻辑的？

你只需要明白三个逻辑学家和一个酒馆的故事。

一天，三个逻辑学家走进了一家酒吧。侍者问，你们每个人都要来一杯啤酒吗？第一个逻辑学家说，我不知道。第二个逻辑学家说，我也不知道。第三个逻辑学家说，是的。请问，三位逻辑学家到底要不要啤酒？

原文作者给出的答案是这样的：面对侍者的问题“你们每人都要一杯啤酒吗？”第一个逻辑学家如果自己不要，就会说不是。他说不知道，因为他要啤酒，却不知道后面俩人要不要。同理，第二位逻辑学家知道第一位要啤酒，自己也要啤酒，却不知道第三位要不要。所以说不知道。第三位知道前两位都要啤酒，而自己也要，所以说，是。结论是三位都要啤酒。

你得出结论的质量取决于你投入思想的质量。

逻辑的源头，2500万年前亚里士多德的三段论。

256种三段论，亚里士多德确认19种是有效的。确认如果前提正确，结论也一定正确。

认为是一种数学，只要把逻辑转化成一个方程式

布尔的新数学运算将所有的逻辑简化到可以用新的方法整合的形式。

认为所有事物都可以精简为符号和两个数字：

死后的一个世纪，乔治·布尔提出的逻辑运算如此精炼，广泛运用计算机领域。

计算机的根本就是一堆0和1.

and，or，not

编程：

推理现实世界发挥了很重要的作用。

公元前600年，悖论：威胁数学的根基。

布尔运算的一个不足：

哥德尔

任何想成为数学基础的逻辑系统，必须完整不矛盾。发现数学和逻辑的局限，

对于绝对可以证明的数学逻辑结论经历到瓶颈。

所有的数学逻辑系统都是局限的。宣告逻辑纪元结束。

艾伦·图灵 （受哥德尔启示）

开始更注重实践的逻辑革命

通用机器是一个想象中的东西，

1997年图灵提出

象棋大师被“深蓝”计算机打败，引起轰动。

最后教授认为，人始终有一些机器无法替代的独特属性：比如，

利他主义，创造力和爱是人类独有

我们创造了逻辑规则，使得真理和确定性能够固定下来，否则我们很难找到他们。