无名图书的logo
无名图书
  • 最近更新
  • 文学
  • 社会文化
  • 历史
  • 经济
  • 理工科
  • 政治
  • 健康
  • 自然科学
  • 计算机
  • 设计
  • 美食旅行
  • 思想
  • 生物
  • 建筑
  • 绘本
  • 天文

杨跃

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

  • 数理逻辑

    杨跃, 郝兆宽, 杨睿之

    评分 7.7分

    本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。 本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。 本