v

您的位置:VeryCD图书教育科技

图书资源事务区


《哥德尔证明》(Godel's Proof)((美)内格尔/(美)纽曼)文字版[PDF]

  • 状态: 精华资源
  • 摘要:
    出版社中国人民大学出版社
    发行时间2008年3月1日
    语言简体中文
  • 时间: 2010/06/28 11:51:25 发布 | 2010/06/28 15:11:14 更新
  • 分类: 图书  教育科技 

myoung

精华资源: 76

全部资源: 77

相关: 分享到新浪微博   转播到腾讯微博   分享到开心网   分享到人人   分享到QQ空间   订阅本资源RSS更新   美味书签  subtitle
该内容尚未提供权利证明,无法提供下载。
中文名哥德尔证明
原名Godel's Proof
资源格式PDF
版本文字版
出版社中国人民大学出版社
书号9787300088907
发行时间2008年3月1日
地区大陆
语言简体中文
简介

IPB Image

内容简介

1931年,库尔特. 哥德尔发表了一篇革命性的论文,对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日,他对未知领域进行的探索,已被公认为是对现代科学思想的重大贡献。
  本书是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
  在此书的新版中,普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。他同时加进了一篇新的前言,其中披露了他本人和这一开创性著作的特殊的个人联系,这本书对他本人专业生涯的影响,解释了哥德尔证明的基本精神,并且阐明了哥德尔证明是怎样和为什么直到今天仍然具有相关的意义。

作者简介

欧内斯特·内格尔(Ernest Nagel) (1901—1985)
  内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(The Structure of Science)被公认为科学分析哲学的开山之作,是逻辑实证主义运动的领军人物之一。内格尔是美国科学院院士,英国科学院的通讯院士。
  詹姆士·R· 纽曼(James R. Newman)(1907—1966)
  律师、数学家和数学史家。二战前后及期间曾担任美国驻伦敦大使馆首席情报官,战时副国务卿特别助理,美国参议院原子能问题顾问等重要敏感职务。战后从1948年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。

内容截图
IPB Image



目录

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

正在读取……

这里是其它用户补充的资源(我也要补充):

暂无补充资源
正在加载,请稍等...

点击查看所有19网友评论

 

(?) [公告]留口水、评论相关规则 | [活动]每日签到 轻松领取电驴经验

    小贴士:
  1. 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  2. 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  3. 勿催片。请相信驴友们对分享是富有激情的,如果确有更新版本,您一定能搜索到。
  4. 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。
  5. 如果您发现自己的评论不见了,请参考以上4条。