《哥德尔证明》电子书下载

哥德尔证明txt,chm,pdf,epub,mobi下载
作者: 欧内斯特·内格尔(Ernest Nagel) / 詹姆士 R. 纽曼 (James R. Newman)
出版社: 中国人民大学出版社
原作名: Gödel’s Proof
译者: 陈东威 / 连永君
出版年: 2008-3
页数: 112
定价: 18.00元
装帧: 平装
丛书: 当代世界学术名著·哲学系列
ISBN: 9787300088907

内容简介  · · · · · ·

《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。

在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。





作者简介  · · · · · ·

欧内斯特·内格尔(Ernest Nagel) (1901—1985)

内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开...



目录  · · · · · ·

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

下载地址

发布者:寂寂歌晿

文件说明:zip / 解压密码:yiquhai.com

迅雷下载:您需要先后,才能查看

网盘下载:您需要先后,才能查看

关于内容:内容自于互联网,如果发现有违规内容请联系管理员删除!

作者: 寂寂歌晿

该用户很懒,还没有介绍自己。

76 条评论

发表评论

  1. 豪华七对自摸 豪华七对自摸说道:
    1#

    观点比较新颖,文笔流畅,通俗易懂。

  2. 傲娇的萌 傲娇的萌说道:
    2#

    中了毒,根本停不下来

  3. 芒头宝宝 芒头宝宝说道:
    3#

    非常棒

  4. 蒸汽机器人 蒸汽机器人说道:
    4#

    还没看

  5. 显示更多