数理逻辑发展史：从莱布尼茨到哥德尔

内容简介

《数理逻辑发展史：从莱布尼茨到哥德尔》是一本关于数理逻辑发展历程的著作。本书从莱布尼茨的逻辑思想出发，详细介绍了数理逻辑的发展历程，直至哥德尔的贡献。

书中不仅涵盖了数理逻辑的基本概念和理论，还深入探讨了各个时期的重要人物和他们的贡献。通过对历史背景和思想脉络的梳理，读者可以更好地理解数理逻辑的演变过程及其在现代科学中的重要性。

第一章导论
    第一节数理逻辑史的研究对象和分期
    第二节数理逻辑史研究中的几个方法论问题
第二章亚里士多德的三段论
第一编数理逻辑前史——古典形式逻辑时期
    第三章斯多阿学派的命题逻辑
    第四章中世纪的形式逻辑
第二编数理逻辑初创时期
    第五章数理逻辑产生的时代背景
    第六章莱布尼茨的数理逻辑思想
    第七章逻辑代数
    第八章关系逻辑
第三编数理逻辑奠基时期
    第九章逻辑演算的建立和发展
    第十章从素扑集合论到公理集合论
    第十一章逻辑主义论题和逻辑类型论
    第十二章直觉主义的数学基础和逻辑
    第十三章形式公理学和证明论
    第十四章哥德尔的伟大贡献
    第一节哥德尔完全性定理

下载权限

查看

￥

免费下载

评论并刷新后下载

登录后下载

查看演示

{{attr.name}}：

您当前的等级为

登录后免费下载登录小黑屋反思中，不准下载！评论后刷新页面下载评论支付以后下载请先登录您今天的下载次数（次）用完了，请明天再来支付积分以后下载立即支付支付以后下载立即支付您当前的用户组不允许下载升级会员

您已获得下载权限您可以每天下载资源次，今日剩余次

免责申明：
1. 本站分享的所有书籍均来源于自互联网，我们只进行收集整理，并不对书籍内容进行更改。
2. 部分书籍中可能有书籍压制者放置的广告，这并不是本站所为，请注意甄别。
3. 我们分享这些书籍，纯粹是出于知识分享的热情，以及对互联网分享精神的高度认同和践行，不以盈利为目的。
4. 本站分享的所有书籍，仅供个人学习研究使用，请勿用于任何商业用途，否则产生的一切法律纠纷与本站无关。
5. 如果这些书籍让你有所收获，在条件允许的情况下，请一定购买正版书籍，这是对创作者最好的支持。
6. 如果您是此书籍的版权所有者，且您不希望此作品出现在本站，请联系我们，我们将在收到您的请求后48小时内予以删除。