数理逻辑史简析.ppt

思考 为什么元朝以后我们国家的科学发展停滞了？ 为什么世界古文明只有中华文明发展至今？不是古希腊的文明不发达, 不是古印度的思想不深刻 大作业 关于计算机中的逻辑应用 (题目自拟) 要求: 电子版发到 buaa.logic@ (doc格式) 邮件题目: 学号-姓名-大作业题目, 题目为关键词 纸版送到G616, 存档 截止时间: 数理逻辑考试之前 参考题目 计算机语言背后的逻辑系统 (Lisp,ML) 硬件系统的逻辑描述 网络协议中的逻辑验证 逻辑理论机的原理 (Newell, Shaw, Simon, The Logic Theory Machine) 罗素类型论 Gérard Huet简单类型论 王浩 Gentzen-style 系统 Martinl?f 直觉主义类型论 (Nuprl) 范畴抽象机CAM和CAML语言 指针的逻辑描述 (参考中科大相关论文) 自动定理证明器 Automated theorem proving (HOL, Isabella, PVS etc) 谢谢! 2010.12.16 数理逻辑史简析 2010.12.16 ——直觉主义逻辑 主要内容 数学背景 - 莱布尼茨 - 第三次数学危机 三大学派 - 逻辑主义 - 直觉主义 - 形式主义 哲学背景 - 柏拉图主义 - 康德的哲学 中国的哲学与数学 - 周公问数 - 密率、徽率 - 算经十书 - 太极 思考 数的本质是什么？ 思想有什么样的作用？ 西方世界在第三次数学危机后如何产生了计算机理论？ 中国哲学有什么样的作用？ 直觉主义（构造主义）逻辑有什么样的作用？ 数学背景: 思想的启蒙 数理逻辑: 一切用特制符号和数学方法来研究处理演绎方法的理论,也被称为符号逻辑 Hobbes (1588-1679, 英国) Aristotle (前384-前322, 希腊) 符号逻辑这个名词是在数理逻辑发展的初期19 世纪80 年代提出的( 1881 年英国逻辑学家文恩J. Venn) 形式逻辑自亚里士多德起到17 世纪后期已有2000 余年的历史 英国的唯物主义哲学家霍布士1655 年就曾提出过这样的思想. 他说, 推理好像算术中的加法和减法一样, 思维是可以计算的 数学背景: 数理逻辑的创立 德国唯理论哲学家和数学家莱布尼茨( 1646 - 1716 ) 被认为是数理逻辑的创始人 Leibniz (1588-1679, 德国) 思维的演算: 遇到争论, 双方可以把笔拿在手中说: “让我们来算一下”, 就可以把问题解决 表意的符号语言和思维的演算是莱氏提出的重要思想, 这二者也正是现代数理逻辑的特征 数学背景: 数理逻辑的发展 第一阶段: 用数学方法研究和处理形式逻辑 从17 世纪70 年代的莱布尼茨到19 世纪末叶的布尔 , 德摩根, 施履德等共延续了约二百年,其成果是逻辑代数和关系逻辑 第二阶段: 研究数学思想方法和数学基础问题 19 世纪中叶起, 康托尔, 希尔伯特, 弗雷格, 皮亚诺, 罗素, 布劳维尔等人奠定了它的理论基础, 创建了特有的新方法, 成长为一门新学科. 其成果是集合论, 公理化方法, 逻辑演算, 证明论 第三阶段: 研究逻辑系统的完全性, 协调性, 计算机理论等 1931 年哥德尔发表不完备性定理至今. 本阶段数理逻辑的主要内容大致可以分为五个方面: 逻辑演算, 证明论, 公理集合论, 递归论, 模型论 数学背景: 集合论(1870s) 集合论是关于无穷集合和超穷数的数学理论. 数学里遇到的无穷有: 无穷过程, 无穷小和无穷大. 必须能作数学的处理, 能进行运算, 这样的无穷才能算作数学的对象 Cantor (1845-1918, 德国) 对无穷集合来说, 如果把一一对应作为是否相等的标准, 则一个无穷集就会和它自己的真部分相等. 这是和有穷领域里人们的常识以及数学知识 “ 全体大于部分 ” 相矛盾的.如果以“和真部分一一对应”为悖论, 就必须否认实无穷 数学背景: 第三次数学危机 1900 年在巴黎召开的第二次国际数学会议上, 庞加莱宣称: “数学的严格性到今天可以说已经达到了”, 因为利用集合论可以定义自然数与实数, 从而建立极限论, 为数学分析奠定了基础 Russell (1872-1970, 英国) 罗素( 1872 - 1970 ), 英国著名的哲学家, 数学家和社会改革家在会上结识了皮亚诺并得到很大的启发. 两年后, 罗素准备《数学原理》的书稿时, 发现一个悖论: 不以自己为元素的集合. 它是不是自己的元素？ 数学背景: 第三次数学危机 1902 年6 月, 他给致力于把算术化归于集合和逻辑的弗雷格写了一封信, 叙述了他发现的悖论. 在集合论中