安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑:证明及其限度/郝兆宽, 杨睿之, 杨跃著

版本说明:

2版

出版发行项:

上海:复旦大学出版社,2020

ISBN及定价:

978-7-309-14568-7/CNY49.00

载体形态项:

xv, 255页;24cm

其它题名:

证明及其限度

丛编项:

逻辑与形而上学教科书系列

个人责任者:

郝兆宽 著

个人责任者:

杨睿之 著

个人责任者:

杨跃 著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

责任者附注:

郝兆宽, 复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。杨睿之, 复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。杨跃, 新加坡国立大学数学系教授。主要研究方向为数理逻辑, 尤其是递归论、皮亚诺算术模型。

书目附注:

有书目 (第249-250页) 和索引

提要文摘附注:

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始, 介绍了数理逻辑的基本知识。全书共10章: 第一章是预备知识, 主要介绍书中所需要的集合论的初步知识; 第二至第六章是一阶逻辑的基本内容, 重点介绍哥德尔的完全性定理; 第七章是递归论的基本知识, 也是为后面内容所做的准备; 第八章介绍一阶算术的一些片段; 第九和第十章是哥德尔的两个不完全性定理。

豆瓣简介：