图书介绍
元数学导论 下PDF|Epub|txt|kindle电子书版本网盘下载
- （美）克林（Kleene，S.C.）著；莫绍揆译 著
- 出版社： 北京：科学出版社
- ISBN：13031·2717
- 出版时间：1984
- 标注页数：688页
- 文件大小：16MB
- 文件页数：467页
- 主题词：证明论
PDF下载
下载说明
元数学导论 下PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第三部分 递归函数235
第九章 原始递归函数235
43．原始递归函数235
44．显式定义238
45．谓词，质因子表示243
46．串值递归式252
47．一致性255
48．哥德尔的β函数261
49．原始递归函数及数论形式体系264
第十章 元数学的算术化270
50．元数学作为一般算术270
51．递归的元数学定义276
52．哥德尔编号279
53．归纳定义与递归定义284
第十一章 一般递归函数287
54．原始递归函数的形式计算287
55．一般递归函数296
56．递归函数形式体系的算术化302
57．μ运算子，枚举，对角过程306
58．范式，坡斯特定理317
59．一般递归函数及数论形式体系326
60．邱吉定理，广义哥德尔定理330
61．哥德尔定理的对称形340
第十二章 部分递归函数351
62．邱吉论点351
63．部分递归函数358
64．3值逻辑368
65．哥德尔数377
66．递归定理387
第十三章 可机算函数396
67．杜令机器396
68．递归函数的可机算性403
69．可机算函数的递归性414
70．杜令论点418
71．半群的字的问题423
第四部分 数理逻辑（附加项目）430
第十四章 谓词演算与公理系统430
72．哥德尔的完备性定理430
73．具相等性的谓词演算441
74．摹状定义的可消除性448
75．公理系统，斯科林奇论，自然数列467
76．判定问题480
第十五章 相容性，古典系统及直觉主义系统488
77．坚钦的形式系统488
78．坚钦的范式定理497
79．相容性证明510
80．判定过程，直觉主义地不可证性532
81．把古典系统化归于直觉主义系统545
82．递归地可实现性556
附录Ⅰ ＃哥德尔第二定理的证明575
附录Ⅱ 49及§74中缺漏处的补足598
附录Ⅲ 在定理36证明中由（ⅳ）转到（ⅴ）的过程的形式体系化604
附录Ⅳ 79例2中公式的构成606
附录Ⅴ 等式及不定摹状词的可消除性610
附录Ⅵ 把直到小于ε0的序数的归纳法形式体系化于第四章 的系统内614
附录Ⅶ 用直到ε0的归纳而作的古典算术相容性的证明（舒提）。诺维科夫的结果616
参考文献627
中英名词对照表及索引654
译者的话687