数理逻辑和算法理论：计算机科学与人工智能的数学基础

第0章绪论10.1什么是算法化和公理化矛盾统一的数学发展史l0.2什么是数理逻辑40.3算法概念的演变60.4哥德尔不 性定理7第1章逻辑的数学化91.1莱布尼茨的逻辑的数学化构想91.2布尔的逻辑代数121.3弗雷格的逻辑演算211.4命题演算和谓词演算系统的完善25第2章集合论公理化352.1古典集合论的创立362.2第三次数学危机(集合论悖论)的引发432.3集合论的公理化47第3章数学基础问题三大派之争533.1逻辑主义543.2直觉主义573.3形式主义633.4数学基础问题三大派之争的简要评述67第4章数理逻辑主要内容的形成714.1希尔伯特的四个中心问题和哥德尔的 贡献714.2数理逻辑主要内容的形成734.3哥德尔 性定理794.4哥德尔不 性定理824.5哥德尔不 性定理的历史意义864.6哥德尔的数学思想91第5章丘奇-图灵论题的创立和计算机的出现945.1可计算性理论的兴起945.2丘奇-图灵论题的创立1005.3图灵理想计算机的意义1065.4计算机的