数理逻辑回顾.pdfVIP

计算机科学MOOC课程群 计算机科学MOOC课程群 离散数学基础 离散数学基础 − 数理逻辑，或符号逻辑，也称为现代形式逻辑，采用一套符号体系及其组合的 语句、公式等描述结构，加上一套演绎系统，完全取代经典形式逻辑的语言化 的描述和推理方式。 数理逻辑是研究推理逻辑规律的一个数学分支，它采用数学符号化的方法（符号、 公式、公理化），给出逻辑规则，建立推理体系，进而讨论推理体系的一致性、 可靠性和完备性等。其研究对象是对证明和计算这两个直观概念进行符号化以后 的形式系统。 − 莱布尼兹：代数演绎的思想 » 莱布尼茨曾经设想过能不能创造一种¡°通用的科学语言¡±，可以把推理 过程象数学一样利用公式来进行计算，从而得出正确的结论。 − 布尔代数 » 布尔在1847年出版的《逻辑的数学分析，论演绎推理的演算法》一书中建 立了完整的逻辑代数体系，即布尔代数。 − 弗雷格的《表意符号》 » 弗雷格在1879年的《表意符号》和1884年的《数论的基础》中引入量词符 号和变元约束，使得数理逻辑的符号系统更加完备。 − 罗素悖论 » 集合论在19世纪末由康托建立后，集合概念成为最基本、应用最广的一个 概念，人们曾经相信，全部数学的基础理论可用集合概念统一起来。 1903年英国唯心主义哲学家、逻辑学家、数学家罗素对集合论提出了以他名字命名 的“罗素悖论”，几乎动摇了整个数学基础，引起了所谓第三次数学危机。 − 罗素悖论 » 集合可以划分为两类。第一类集合是：集合本身又是该集合中的元素，例 如人们经常说的¡°所有集合所成的集合¡±；第二类集合是：集合本身不 是该集合的元素，例如直线上点的集合，或所有人的集合。一个集合必须 是且只能是这两类集合中的一类。 − 罗素悖论 » 现在定义  R  是由所有第二类集合所构成的集合。那么，R 是两类集合中的 哪一类呢？  – 如果  R  是它本身的成员，则  R 是第一类集合而不是第二类集合，由  R  的定义  R 不 是它本身的成员。另一方面，如果  R 不是它本身的成员，则  R 是第二类集合而不是 第一类集合，由  R  的定义  R  是它本身的成员。  悖论在于：无论哪种情况，都将导致矛盾。 − 罗素悖论 - 理发师困境   » 罗素悖论的通俗形式是所谓“理发师困境” 。某村理发师宣布：他给所有不 给自己刮脸的人刮脸，并且只给村子里这样的人刮脸。那么“理发师是否自 己给自己刮脸？”如果他给自己刮脸。那么他就不符合他的原则；如果他不 给自己刮脸，那么他按原则就该为自己刮脸。  − 莱布尼兹的逻辑主义思想萌芽 » 逻辑学先于一切科学 莱布尼兹时代，他把逻辑学想象成一种普遍的科学， 这种科学包括构成其它所有科 学的基础的一些原则。这种逻辑学先于一切科学的观点，是逻辑主义思想原则的萌 芽。 − 罗素的《数学原理》   » 罗素与怀特海于1913年完成了逻辑主义的经典巨著《数学原理》。 作者企图在这3卷本的数学巨著中向人们说明：全部数学可以从一个逻辑公理系统严 格推导出来，也就是说可以从逻辑概念出发，用明显的定义得出数学概念；由逻辑 命题开始用纯逻辑的演绎推得数学定理。从而，全部数学都可以从基本的逻辑概念 和逻辑规则推导出来。 这样，就可以把数学看成是逻辑学的延伸或分支。所以，罗素说：“逻辑学是数学 的青年时代，而数学是逻辑学的壮年时代。”、“数学即逻辑。”数学化归于逻辑 是罗素的基本观点，但实际上并不成功。 《数学原理》以严格的形式化的符号语言来陈述作者建立的逻辑体系、定义和定理， 标志着符号逻辑方法的成功，并显示了数学的逻辑基础研究的意义，进一步显示了 现代逻辑的科学意义。 − 希尔伯特 » 希尔伯特(德,1862-1943)于1900年8月8日在巴黎第二届国际数学家大会 上，提出了新世纪数学家应当努力解决的23个数学问题，被认