哥德尔证明（Godel's Proof）

［Ｇｅｎｅｒａｌ　Ｉｎｆｏｒｍａｔｉｏｎ］ 书名＝哥德尔证明 作者＝（美）欧内斯特・内格尔，詹姆士・Ｒ・纽曼著；陈东威，连永君译 页数＝１１２ 出版社＝北京市：中国人民大学出版社 出版日期＝２００８．０３ ＳＳ号＝１１９８０２４０ ＤＸ号＝０００００４９４７１７６ 简介＝ ｕｒｌ＝ｈｔｔｐ：／／ｂｏｏｋ２．ｄｕｘｉｕ．ｃｏｍ／ｂｏｏｋＤｅｔａｉｌ．ｊｓｐ？ｄ ｘＮｕｍｂｅｒ＝０００００４９４７１７６＆ｄ＝８８Ｂ０Ｆ４０６３Ｃ４５６２５３８０９２ Ａ４９６３０５６Ｂ２８５＆ｆｅｎｌｅｉ＝０２０７０７０２０４０５＆ｓｗ＝％Ｂ８％Ｅ７％ Ｂ５％Ｃ２％Ｂ６％ＦＢ％Ｄ６％Ａ４％Ｃ３％Ｆ７＃ｃｔｏｐ

封面 书名 版权 前言 目录 一　　导论 二　　一致性问题 三　　一致性的绝对证明 四　　形式逻辑的系统编码 五　　一个成功的一致性绝对证明的例子 六　　映射的概念及其在数学中的应用 七　　哥德尔证明 　　（一）哥德尔编码 　　（二）元数学的算术化 　　（三）哥德尔论证的核心 八　　结论性的反思 附录 简要书目 索引 译者后记