首先学习了三段论
亚里士多德在逻辑学上最重要的工作就是三段论的学说。一个三段论就是一个包括
有大前提、小前提和结论三个部分的论证。三段论有许多不同的种类，其中每一种经院
学者都给起了一个名字。最为人所熟知的就是称为“Barbara”①的那一种：
凡人都有死（大前提）。
苏格拉底是人（小前提）。
所以：苏格拉底有死（结论）。
通过三段论让我对逻辑起源有了了解。
紧接着 我们收看了一个小故事
三个逻辑学家下班后想在一起喝一杯，所以来到了一家酒吧。服务员询问说，“你们所有人都点杯啤酒，怎么样？”接下来的回答让他很疑惑。
第一个人说，“我不知道。”
第二个人说，“我也不知道”。
如果你是那个服务员，你应该给他们端来多少杯啤酒？
请注意，三个逻辑学家看似莫名其妙的话，其实是在回答服务员的询问：
第一个逻辑学家所说的，“我不知道”，指的是他自己愿意点杯啤酒，但不知道其他人想喝什么、想喝多少；第二个人的“我也不知道”，指的也是同样的意思。如果他们不想喝啤酒，或者不只要一杯，会回答“不”或者“我要点两杯”。
当第三个逻辑学家发言，他已经很清楚自己的两个同伴都要点一杯啤酒，所以他的“好的”指的就是他也要点一杯啤酒。所以，服务员应该给他们端来三杯啤酒。
这个故事反应了逻辑的严谨性，和 我们平时使用计算机编程一样，每一步都不能跳过，必须按逻辑执行，类似机器的逻辑，正是我们需要训练的。
然后我们了解了逻辑发展中黑暗的时光，各种谬论动摇了数学基础，导致科学家们疲惫不已。
幸好罗素通过努力出版了数学原理，从而挽救了濒临崩溃的世界理论。（ps:花了3百页证明1+1=2，牛逼）
接下来认识的这个大牛堪称计算机的奠基人
在现今的电子世界中，我们经常会听到一个叫“布尔”变量的词——只有两个值，1或0，TRUE或者FALSE——就是以他的名字命名的。有些人可能会想，“这是个多么无聊的发明啊！谁会有需求用到这种变量啊。”但历史总是惊人地相似，其实，布尔类型变量只是乔治布尔对逻辑学贡献的一个副产品。
乔治·布尔出名前，数学和逻辑学已单独发展了二百多年。他通过布尔代数这一概念，将两个学科结合在了一起。数理逻辑领域创建后，一系列新探索都被带动起来，例如通用计算。
乔治·布尔发明布尔变量最初的目标，是想通过一系列数学公理来重现经典逻辑的运算结果。他从研究经典代数开始，例如x,y变量，加减乘除这种。
一开始，他发现经典代数和逻辑的相似之处很多。例如，p and p（在这里，and表示“与”运算）和q and p是一样的，就像q*p = p*q。但是如果深入追究，就发现还是有所不同的。比如p*p=p^2，但是p and p还是p。这就存在歧义，乔治·布尔的想法是：仍然使用经典代数的符号，但是添加了一些额外的公理，就能表示出绝大多数逻辑学的结果了。
乔治·布尔用数学语言正式地描述了这套理论。但是几十年来，这些理论又不断被修正，从上个世纪的经验中，更加简单的形式逐渐被发现。之后，也就是16年前，Stephen Wolfram（即本文作者）结束了这漫长的进化历史。之前的工作已经证明了一套至简的公理体系是完全可行的，Stephen提出，其实只需要一条公理就够了。
没有乔治布尔发明的布尔值 和 与 或 非 运算 哪去搞计算机啊，这位大佬生活的年代离计算机还很遥远，只能说牛逼。
接下来这位大佬可以说是计算机之父了，他所开创的图灵机是现代计算机的雏形，以他名字命名的图灵奖是计算机界的超级大奖
艾伦·麦席森·图灵（英语：Alan Mathison Turing，1912年6月23日—1954年6月7日），英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，第二次世界大战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统恩格玛，帮助盟军取得了二战的胜利。
牛逼，大佬改变世界
最后做了一个人工模拟门电路的实验，虽然太快了没理解清楚，但是对计算机的基本操作有了认识
通过高低电平表达二进制数字0和1，通过各种门电路实现逻辑的转换