Study note
An Introduction to Gödel's Theorems
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- book.douban.com
- Vault note
library/books/math/An-Introduction-to-Gödel's-Theorems-a501f5762a21b53b.md
Summary
Peter Smith 对 Gödel 不完备性定理的入门讲解，从形式系统、可计算性、算术化语法到第一、第二不完备性定理。
Highlights
解释清楚、路线循序渐进，适合想真正理解不完备性定理证明思想的读者。
Notes
Peter Smith；2013-5-6。
Comments
Loading comments...