Study note
Gödel's Proof
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- routledge.com
- Vault note
library/books/math/Gödel's-Proof-8c76b26029e161a8.md
Summary
面向非专业读者讲解 Gödel 不完备性定理的经典入门书，从公理化方法、形式系统与一致性问题出发，逐步介绍元数学、Gödel 编码和证明的核心思路。
Highlights
篇幅短、技术门槛较低，重点建立理解证明所需的概念框架。适合在 Peter Smith 的系统教材之前阅读，也能为之后理解自指和形式系统打下基础。
Comments
Loading comments...