哥德尔不完全性定理PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:(美)雷蒙德 M.斯穆里安著;余俊伟译
- 出 版 社:北京:科学出版社
- 出版年份:2019
- ISBN:9787030596345
- 页数:164 页
第1章 哥德尔证明背后的一般思路 1
1.1哥德尔定理和塔斯基定理的抽象形式 5
1.2 L的不可判定的句子 11
第2章 塔斯基算术定理 15
2.1语言LE 15
2.2并置与哥德尔编码 22
2.3塔斯基定理 27
第3章 含幂运算的皮亚诺算术的不完全性 31
3.1公理系统P.E. 31
3.2公理系统的算术化 34
第4章 不含有幂运算的算术 46
4.1 P.A.的不完全性 46
4.2更多关于∑1-关系的讨论 58
附录 61
第5章 哥德尔基于ω-一致性的证明 64
5.1一些抽象的不完全性定理 66
5.2∑0-完全性 75
第6章 罗瑟系统 87
6.1源自罗瑟的一些抽象的不完全性定理 88
6.2一个一般的分离原理 90
6.3罗瑟的不可判定的句子 94
6.4比较哥德尔句子与罗瑟句子 95
6.5更多关于分离的介绍 98
第7章 谢泼德森表示定理 100
7.1谢泼德森表示定理 100
7.2恰好的罗瑟系统 105
7.3罗瑟不可判定的句子的变体 109
7.4谢泼德森定理的一种加强 112
第8章 可定义性与对角线化 113
8.1可定义性与完全可表示性 113
8.2 S中函数的强可定义性 115
8.3 (R)中递归函数的强可定义性 117
8.4不动点与哥德尔句子 120
8.5真谓词 122
第9章 一致性的不可证性 124
9.1可证性谓词 124
9.2一致性的不可证性 126
9.3亨金句子与洛伯定理 128
第10章 关于可证性与真的一般评论 131
第11章 自指系统 136
11.1关于自身推理的逻辑学家 136
11.2一个一般背景下的不完全性的证明 147
11.3类型G系统 151
11.4模态系统 155
参考文献 159
索引 161
- 《Maya 2018完全实战技术手册》来阳编著 2019
- 《浸出物和可提取物手册 吸入制剂的安全性评价、界定与最佳实践》(美)伯等主编 2014
- 《化妆品安全性评价实验》赵平 2018
- 《吉他完全自学教程》张瑶编著 2019
- 《思科ACI部署完全指南》弗兰克·达根哈特 2020
- 《Photoshop CC完全自学教程》张洪波,郑铮编著 2019
- 《新完全掌握日语能力考试自学手册 N2 词汇》(日)氏原庸子,佐伯玲子 2019
- 《电厂锅炉自动控制系统技术及安全性研究》董寒晖著 2018
- 《安全协议实施安全性自动化分析与验证》孟博 2019
- 《Office2019完全自学教程》凤凰高新教育编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019