郝兆宽 复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。 杨睿之 复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。 杨 跃 新加坡国立大学数学系教授。主要研究兴趣是数理逻辑,尤其是递归论、皮亚诺算术模型。
数理逻辑
杨跃, 郝兆宽, 杨睿之
评分 7.7分
本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。 本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。 本