Study note
哥德尔证明
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- book.douban.com
- Vault note
library/books/math/哥德尔证明-90ff2e63c2d0fe8d.md
Summary
Nagel 与 Newman 对 Gödel 不完备性定理的经典短篇说明，解释形式系统、算术化和不可判定命题的核心思想。
Highlights
适合快速理解 Gödel 定理为什么重要，再继续读 Peter Smith 或 Mendelson 等技术教材。
Notes
Ernest Nagel、James R. Newman；2008-3。
Comments
Loading comments...