Name: 数理逻辑（第二版）
ISBN: 9787309145687

作者: 郝兆宽 / 杨睿之 / 杨跃
出版社: 复旦大学出版社
副标题: 证明及其限度（第二版）
出版年: 2020-8
页数: 255
装帧: 平装
丛书: 逻辑与形而上学教科书系列
ISBN: 9787309145687

豆瓣评分

8.3

87人评价

5星

49.4%
4星

28.7%
3星

10.3%
2星

3.4%
1星

8.0%

评价:

内容简介 · · · · · ·

数理逻辑是一门非常成熟的学科

相比于其他教材

本书将逻辑与元数学联系在一起

更多地介绍语义部分和强调语法语义的统一

数理逻辑（第二版）的创作者 · · · · · ·

郝兆宽作者

作者简介 · · · · · ·

郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。

杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。

杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。

目录 · · · · · ·

第二版序
引言:什么是数理逻辑?
第一章预备知识
1.1 证明的必要性
1.2集合
1.3关系
· · · · · · (更多)

丛书信息 · · · · · ·

　　逻辑与形而上学教科书系列(共7册)，这套丛书还有《作为哲学的数理逻辑》《数理逻辑》《集合论》《递归论》《初等模型论》等。

喜欢读"数理逻辑（第二版）"的人也喜欢 · · · · · ·

: 数学的建筑

: Model Theory 8.3

: 哥德尔纲领 8.7

: 初等模型论 8.9

: 模态逻辑教程 9.0

: An Introduction to Proof Theory

: The Higher Infinite

: 集合论基础 8.9

: 模型论基础 7.3

: A Mathematical Introduction to Logi... 8.8

我来说两句

短评 · · · · · · ( 全部 28 条 )

数理逻辑（第二版）的书评 · · · · · · ( 全部 7 条 )

热门只看本版本的评论

jjwwjjww 2017-06-12 13:44:40 复旦大学出版社2014版

国内最好的数理逻辑教科书

这篇书评可能有关键情节透露

第一次开数理逻辑课的时候一直在寻找一本对于哥德尔不完备性定理阐述详尽的教材。发现不论中英文，没有一本是令人满意的。后来本书作者之一告诉我他们正在撰写一本数理逻辑教材。看到草稿后就爱不释手——这正是我想用的教材。本书假定的读者对象涵盖了哲学系，计算机系以及... (展开)

2 7回应

(#ﾟДﾟ) 2018-11-01 23:45:07 复旦大学出版社2014版

教案……但无疑是好教案，适合复习

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定... (展开)

1回应

unknown1 2024-12-21 05:52:54

一些补充阅读建议

建议使用赵希顺《简明数理逻辑》对照学习，《简明数理逻辑》显然深度参照了复旦这本《证明及其限度》，补足了很多关键缺陷。《简明》的第二章集合论部分讲到了所必需的序数和基数算数内容，尽管对选择公理的介绍还不够清晰(譬如一些依赖选择公理的构造，如可数个可数集合的并... (展开)

0回应

Hao 2022-03-04 11:58:46

廿二载努力，廿二载不忘

第一次接触到数理逻辑是上个世纪 90 年代我在上初中的时候。没想到隔了 20 多年自己开始自学数理逻辑了。正好图形学和机器学习都有国际会议的奖项了，可以抽空思考一下别的领域的问题。一阶谓词逻辑体系其实并没有那么难。这本书看的非常快，说句实话，到哥德尔那里就看不懂... (展开)

0回应

知则 2021-08-02 15:02:24

读郝兆宽之《数理逻辑：证明及其限度》

郝兆宽, 杨睿之, 杨跃. 数理逻辑：证明及其限度. ISBN: 978-7-309-11025-8 郝兆宽, 杨睿之, 杨跃. 数理逻辑：证明及其限度. ISBN: 978-7-309-14568-7 这本书虽然不是我的数理逻辑启蒙书，但却是我读过的写的最适合入门的国内数理逻辑入门教材。最初读这本书的时候买的是 Amazon... (展开)

0回应