热搜:南怀瑾 |证严上人

分类浏览



数理逻辑:证明及其限度
作者:
郝兆宽 杨睿之 杨跃 著
定价:
36 元
页数:
249页
ISBN:
978-7-309-11025-8/O.554
字数:
289千字
开本:
16 开
装帧:
平装
出版日期:
2014年11月       
本类其他相关图书

内容提要


       本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
       本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
       本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
       书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。

作者简介


       郝兆宽
       复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。
      
       杨睿之
       复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。
      
       杨 跃
       新加坡国立大学数学系教授。主要研究兴趣是数理逻辑,尤其是递归论、皮亚诺算术模型。
      
      

书摘

书评       

   

地址:上海市国权路579号
邮编:200433
电话:021-65642854(社办)
传真:021-65104812

 
 

版权所有©复旦大学出版社,2002-2022年若有问题请与我们 (webmaster@fudanpress.com) 联系! 沪ICP备05015926号