第1讲-离散数学.pptxVIP

1第一部分数理逻辑数理逻辑(MathematicalLogic)又称符号逻辑(SymbolicLogic)是用数学方法来研究推理形式结构和推理规律数学学科。与计算机科学、人工智能、语言学等有亲密联络。有证实论、模型论、递归论、集合论四大分支

本课程介绍数理逻辑最基本内容：逻辑演算中命题逻辑和一阶逻辑1/34

2简单历史——三个阶段（一）1、初始阶段：1660年代—19世纪末将数学应用于逻辑Aristotle：形式逻辑（主词和谓词逻辑）。Leibniz：建立直观而又准确思维演算。遇有争论，双方能够拿起笔来说：让我们来算一下。GeorgeBoole:逻辑代数。DeMorgan:关系逻辑。[1]王宪钧，数理逻辑引论，北京大学出版社，1982。2/34

3简单历史——三个阶段（二）2、过分阶段：19世纪末—1940前后逻辑应用于数学非欧几何与公理化方法。微积分与实数理论，Piano算术。集合论与数学基础(1900年世界数学家大会)悖论与第三次数学危机，Hilbert计划。3/34

4简单历史——三个阶段（三）3、成熟阶段：1930s—1970年成为数学独立分支G?del完全性定理和不完全性定理。四个分支：公理集合论：大基数，连续统问题递归论（可计算性理论）：Turing机，不可解性模型论：实数非标准模型证实论：超穷归纳法,Gentzen数论友好性证实4/34

5与计