讲稿《哥德尔定理是个什么玩意儿》.pdf

哥德尔定理是个什么玩意儿？ Godel’s Theorem Jake @ Swarm Agents Club 哥德尔定理是个什么玩意儿？ 上 你相信科学吗？ • 作为真理与信仰的科学 – 拉普拉斯的决定论 – 科学=真理？ • 作为方法与手段的科学 – 科学v.s.人类语言 – 科学本身可以告诉你科学的边界 不可能的科学 • 经济学：阿罗不相容原理 • 物理学：海森堡的不确定性原理（测不准） • 数学：哥德尔不完备性定理 哥德尔的前世 • 欧氏几何——严 格和公理化的楷 模 • 非欧几何——抽 象画的副产品 Euclid Lobachevsky Gauss Riemann 欧几里德第五公设 • 如果一条线段与两条直线相交，在某一侧的内 角和小于两直角和，那么这两条直线在不断延 伸后，会在内角和小于两直角和的一侧相交。 公理化的力量 • 牛顿：微积分 • 贝克莱：流数的幽灵 • 柯西：ε-δ语言 • 康托尔：集合论 Newton Cauchy • 弗雷格：数学大厦的 崩塌 Cantor Frege 罗素悖论 • Let us call a set abnormal if it is a member of itself, and normal otherwise. For example, take the set of all squares in the plane. That set is not itself a square, and therefore is not a member of the set of all squares. So it is normal. On the other hand, if we take the complementary set that contains all non-squares, that set is itself not a square and so should be one of its own members. It is abnormal. • Now we consider the set of all normal sets, R. Dete