《数理逻辑是什么》 扫描版 pdf

内容简介

  本书是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。

  简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念,几位作者精选数理逻辑典型的思想,生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系,读者可根据理解的程度,暂时跳过某些章节,待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容,奠定进一步学习逻辑、数学、计算机科学等知识的基础。

作者简介

作者简介

约翰·N.克罗斯利(John N. Crossley) 英国数学家、逻辑学家。1963年于牛津大学获得哲学博士学位与数学硕士学位。毕业后成为牛津大学第位数理逻辑教师,牛津大学万灵学院研究员。自1968年起,长期任教于澳大利亚莫纳什大学,并于2010年成为该校荣休教授。

  主要研究领域为逻辑、数学和计算机科学。著有《构成性序型》(Constructive Order Types,1969)、《数理逻辑是什么》(What Is Mathematical Logic?,1972,合著)、《组合函子》(Combinatorial Functors,1974,合著)、《数的出现》(The Emergence of Number,1987)、《九章算术:导读与注释》(The Nine Chapters on the Mathematical Art: Companion & Commentary,2000,合著)、《程序就是证明:柯里—霍华德对应》(Adapting Proofs-as-Programs: The Curry-Howard Protocol,2005,合著)、《成长的数字观》(Growing Ideas of Number,2007)等。

译者简介

夏素敏 南京大学哲学博士,中国社会科学院哲学研究所副研究员。主要研究方向为道义逻辑、逻辑哲学等。出版有专著《道义悖论研究初探》等。

闫佳亮 中国社会科学院研究生院哲学系硕士研究生在读。主要研究兴趣为哲学逻辑、逻辑哲学等。

资源下载此资源下载价格为3书卷点,VIP免费,请先
资源下载
下载价格3 书卷点
VIP免费
0

评论0

充值系统可能漏单,没有充值成功的会在24小时内补单,没有补单的请留言或私信
显示验证码
没有账号? 注册  忘记密码?