Incompleteness and Computability: An Open Introduction to Gödel's Theorems
简介：
这本书是对元数学和哥德尔定理的介绍。它涵盖了递归函数理论，语法的算术化，第一和第二不完备性定理，算术模型，二阶逻辑和lambda演算。它基于开放逻辑项目，可免费下载t ic.openlogicproject.org。
英文简介：
This book is an introduction to metamathematics and Gödel's Theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
- 书名
- Incompleteness and Computability: An Open Introduction to Gödel's Theorems
- 译名
- 不完备性和可计算性：哥德尔定理的开放介绍
- 语言
- 英语
- 年份
- 2021
- 页数
- 296页
- 大小
- 3.92 MB
- 下载
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.pdf- 密码
- 65536
最后更新：2025-04-12 23:57:44
←The Definitive Guide to Cloud Computing
→Non-Euclidean Geometry: A Critical and Historical Study of Its Development