基本信息
- 作者： 约翰·N.克罗斯利（John N. Crossley）
- 译者： 夏素敏闫佳亮
- 出版社：中国轻工业出版社
- ISBN：9787518420957
- 上架时间：2021-5-17
- 出版日期：2018 年12月
- 开本：16开
- 版次：1-1
- 所属分类：数学 > 数理逻辑
编辑推荐
数理逻辑领域长销40余年的经典普及之作
以简洁又有趣的方式介绍“难懂”的数理逻辑
以专业而严谨的视角讲述数理逻辑典型思想
为学习逻辑、数学、计算机科学等奠定基础
内容简介
书籍
数学书籍
《数理逻辑是什么》是数理逻辑领域的代表性著作，旨在向零基础的读者普及数理逻辑知识。自1972年问世以来，本书得到众多逻辑学家的肯定，并始终是该领域的长销之作。
简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念，几位作者精选数理逻辑中*典型的思想，生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系，读者可根据理解的程度，暂时跳过某些章节，待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容，奠定进一步学习逻辑、数学、计算机科学等知识的基础。
数学书籍
《数理逻辑是什么》是数理逻辑领域的代表性著作，旨在向零基础的读者普及数理逻辑知识。自1972年问世以来，本书得到众多逻辑学家的肯定，并始终是该领域的长销之作。
简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念，几位作者精选数理逻辑中*典型的思想，生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系，读者可根据理解的程度，暂时跳过某些章节，待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容，奠定进一步学习逻辑、数学、计算机科学等知识的基础。
前言
本书是以克里斯·布里克希尔（Chris
Brickhill）和约翰·N. 克罗斯利构想出来的讲稿为基础形成的。我们的目的在于介绍现代数理逻辑中非常重要的思想，而略去那些具体的数学细节，后者是进行逻辑专业研究时才需要的。这些讲稿于1971年秋、冬分别在莫纳什（Monash）大学和墨尔本（Melbourne）大学的讲座中报告过，它们得到了听众的广泛欢迎，这也促使我们写成了这本书，我们希望本书能够让没有受过数学训练的人们也能了解到数理逻辑中精彩的方方面面。
值得多说两句的是，我们自己在讲授过程中获益良多，听众的反馈也超出了我们的想象。十分感谢莫纳什大学的约翰·麦吉里（John McGechie）副教授和墨尔本大学的道格拉斯·加斯金（Douglas Gasking）教授在这一过程中所给予我们的大力支持，也非常感谢丹尼斯·鲁宾逊（Dennis Robinson）和特里·贝姆（Terry
Boehm）对克里斯·布里克希尔在准备这些讲稿时所提供的帮助。最后，我们感谢安妮—玛丽·范登堡（Anne-Marie Vandenberg），她专业的打字工作使本书顺利面世。
约翰·N．克罗斯利
于澳大利亚艾尔斯岩
1971年8月
Brickhill）和约翰·N. 克罗斯利构想出来的讲稿为基础形成的。我们的目的在于介绍现代数理逻辑中非常重要的思想，而略去那些具体的数学细节，后者是进行逻辑专业研究时才需要的。这些讲稿于1971年秋、冬分别在莫纳什（Monash）大学和墨尔本（Melbourne）大学的讲座中报告过，它们得到了听众的广泛欢迎，这也促使我们写成了这本书，我们希望本书能够让没有受过数学训练的人们也能了解到数理逻辑中精彩的方方面面。
值得多说两句的是，我们自己在讲授过程中获益良多，听众的反馈也超出了我们的想象。十分感谢莫纳什大学的约翰·麦吉里（John McGechie）副教授和墨尔本大学的道格拉斯·加斯金（Douglas Gasking）教授在这一过程中所给予我们的大力支持，也非常感谢丹尼斯·鲁宾逊（Dennis Robinson）和特里·贝姆（Terry
Boehm）对克里斯·布里克希尔在准备这些讲稿时所提供的帮助。最后，我们感谢安妮—玛丽·范登堡（Anne-Marie Vandenberg），她专业的打字工作使本书顺利面世。
约翰·N．克罗斯利
于澳大利亚艾尔斯岩
1971年8月
