经典阅读 01 -- 《逻辑的引擎》上

经典阅读 01 – 《逻辑的引擎》上

01 - 莱布尼兹之梦

莱布尼兹（1646-1716）

数学家、法学家、矿工、外交、莱布尼兹轮、编写公爵家族简史。

莱布尼兹之梦

1. 创造涵盖人类知识全部范围的百科全书
2. 对其背后的关键概念提供合适的符号
3. 推理演算（calculus rationcinator）

• 公理 1 B+N = N+B 两组事物组合在一起

• 公理 2 A+A = A

总结

虽然莱布尼兹以如此的热情和信息描述了普遍文字，但他却没有完成任何具体的工作。但是梦想是一个伟大的开始！

02 - 布尔代数

布尔（1815-1864）

落魄的教师，自己建的学校校长，死于上课途中淋雨之后的肺炎。

布尔的逻辑代数

0代表空集
1代表全部
运算
0 x = 0 x的空集
1 x = x x的全体

• 并集
  1 - x 不在 x中的事物的类

例子

x+(1-x) = 1
xx = x
x (1-x) = 0 没有任何东西既属于又不属于一个给定的类

三段论

所有X都是Y X=XY
所有Y都是Z Y=YZ
——————=>
所有X都是Z X=XZ

X=XY=X(YZ)=(XY)Z=XZ

总结

• 布尔也指出三段论并不是逻辑的全部。很多日常推理涉及他所谓的“二级命题”，即其他命题之间关系的命题。
• 布尔的伟大成就是证明了逻辑演绎可以成为数学的一个分支。
• 离完备性的目标还有距离。

03 弗雷格从突破到绝望

弗雷格（1848-1925）

极端右翼思想，数学博士，编外讲师，副教授

形式化的句法

全称量词（All）
存在量词（exist）
如果，那么
非
或
且

总结

• 第一次有一个精确的数理逻辑系统至少在原则上包含了数学家们通常使用的全部推理。
• 希望能够为自然数提出一种纯粹逻辑的理论，从而证明一切数学是逻辑的一个分支。

费雷格的绝望

• 罗素悖论：
  • The set of all those things that can be defined in fewer than 19 English words.
• 能否找到一种计算方法，它能够说明在弗雷格的逻辑中某一推理是否是正确的呢？
• “正当工作就要完成之时发现那大厦的基础已经动摇，对于一个科学工作者来说，没有什么能比这更不幸的了”