什么是逻辑？什么是合乎逻辑的？
你只需要明白三个逻辑学家和一个酒馆的故事。
一天，三个逻辑学家走进了一家酒吧。侍者问，你们每个人都要来一杯啤酒吗？第一个逻辑学家说，我不知道。第二个逻辑学家说，我也不知道。第三个逻辑学家说，是的。请问，三位逻辑学家到底要不要啤酒？
原文作者给出的答案是这样的：面对侍者的问题“你们每人都要一杯啤酒吗？”第一个逻辑学家如果自己不要，就会说不是。他说不知道，因为他要啤酒，却不知道后面俩人要不要。同理，第二位逻辑学家知道第一位要啤酒，自己也要啤酒，却不知道第三位要不要。所以说不知道。第三位知道前两位都要啤酒，而自己也要，所以说，是。结论是三位都要啤酒。
你得出结论的质量取决于你投入思想的质量。
逻辑的源头，2500万年前亚里士多德的三段论。
256种三段论，亚里士多德确认19种是有效的。确认如果前提正确，结论也一定正确。
认为是一种数学，只要把逻辑转化成一个方程式
布尔的新数学运算将所有的逻辑简化到可以用新的方法整合的形式。
认为所有事物都可以精简为符号和两个数字：
死后的一个世纪，乔治·布尔提出的逻辑运算如此精炼，广泛运用计算机领域。
计算机的根本就是一堆0和1.
and，or，not
编程：
推理现实世界发挥了很重要的作用。
公元前600年，悖论：威胁数学的根基。
布尔运算的一个不足：
哥德尔
任何想成为数学基础的逻辑系统，必须完整不矛盾。发现数学和逻辑的局限，
对于绝对可以证明的数学逻辑结论经历到瓶颈。
所有的数学逻辑系统都是局限的。宣告逻辑纪元结束。
艾伦·图灵 （受哥德尔启示）
开始更注重实践的逻辑革命
通用机器是一个想象中的东西，
1997年图灵提出
象棋大师被“深蓝”计算机打败，引起轰动。
最后教授认为，人始终有一些机器无法替代的独特属性：比如，
利他主义，创造力和爱是人类独有
我们创造了逻辑规则，使得真理和确定性能够固定下来，否则我们很难找到他们。
