哥德尔证明

哥德尔证明
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者: (Ernest·Nagel) ,
2008-03
版次: 1
ISBN: 9787300088907
定价: 18.00
装帧: 平装
开本: 32开
纸张: 胶版纸
页数: 112页
字数: 86千字
正文语种: 简体中文
原版书名: Gödel’s Proof
分类: 哲学心理学
94人买过
  •   《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
      在此书的新版中,普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。   欧内斯特·内格尔(ErnestNagel)(1901—1985)
      内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(TheStructureofScience)被公认为科学分析哲学的开山之作,是逻辑实证主义运动的领军人物之一。内格尔是美国科学院院士,英国科学院的通讯院士。
      詹姆士·R·纽曼(JamesR.Newman)(1907—1966)
      律师、数学家和数学史家。二战前后及期间曾担任美国驻伦敦大使馆首席情报官,战时副国务卿特别助理,美国参议院原子能问题顾问等重要敏感职务。战后从1948年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。 新版序言
    致谢
    一、导论
    二、一致性问题
    三、一致性的绝对证明
    四、形式逻辑的系统编码
    五、一个成功的一致性绝对证明的例子
    六、映射的概念及其在数学中的应用
    七、哥德尔证明..
    (一)哥德尔编码
    (二)元数学的算术化
    (三)哥德尔论证的核心
    八、结论性的反思
    附录
    简要书目
    索引
    译者后记
  • 内容简介:
      《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
      在此书的新版中,普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。
  • 作者简介:
      欧内斯特·内格尔(ErnestNagel)(1901—1985)
      内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院学士学位,1925年获哥伦比亚大学数学硕士学位,1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外,一直在哥伦比亚大学任教:1946年起任教授,1956年至1966年任杜威讲座哲学教授,1967年至1970年退休前成为校级教授。其间,1940年至1946年任《符号逻辑》杂志编委;1939年至1956年担任《哲学杂志》编委;1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席,美国符号逻辑协会主席,美国哲学协会东部分会主席。他于1961年出版的《科学的结构》(TheStructureofScience)被公认为科学分析哲学的开山之作,是逻辑实证主义运动的领军人物之一。内格尔是美国科学院院士,英国科学院的通讯院士。
      詹姆士·R·纽曼(JamesR.Newman)(1907—1966)
      律师、数学家和数学史家。二战前后及期间曾担任美国驻伦敦大使馆首席情报官,战时副国务卿特别助理,美国参议院原子能问题顾问等重要敏感职务。战后从1948年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。
  • 目录:
    新版序言
    致谢
    一、导论
    二、一致性问题
    三、一致性的绝对证明
    四、形式逻辑的系统编码
    五、一个成功的一致性绝对证明的例子
    六、映射的概念及其在数学中的应用
    七、哥德尔证明..
    (一)哥德尔编码
    (二)元数学的算术化
    (三)哥德尔论证的核心
    八、结论性的反思
    附录
    简要书目
    索引
    译者后记
查看详情
系列丛书 / 更多
哥德尔证明
对真理与解释的探究
[美]戴维森 著;牟博、江怡 译
哥德尔证明
计算与认知
[加拿大]派利夏恩 著;任晓明、王左立 译
哥德尔证明
个体
[英]斯特劳森 著;江怡 译
哥德尔证明
形而上学的逻辑基础
[英]达米特 著;任晓明、李国山 译
哥德尔证明
语词和对象
W.V.O.蒯因 著
哥德尔证明
科学实在论与心灵的可塑性
[美]丘奇兰 著;张燕京 译
哥德尔证明
实在论的多副面孔
[美]普特南 著;冯艳 译
相关图书 / 更多
哥德尔证明
哥德尔传
斯蒂芬·布迪安斯基
哥德尔证明
哥德尔不完全性定理
[美]雷蒙德.M.斯穆里安(RaymondM.Smullyan) 著;余俊伟 译
哥德尔证明
哥德尔、艾舍尔、巴赫:集异璧之大成(人工智能的奠基之作,普利策文学奖获奖作品(非小说类)和美国国家图书奖(科学类别))
[美]侯世达
哥德尔证明
哥德巴赫猜想
徐迟
哥德尔证明
哥德尔艾舍尔巴赫:集异璧之大成(中华人民共和国成立70周年珍藏本)
[美]侯世达 著
哥德尔证明
哥德堡号带我到中国
斯丹勒
哥德尔证明
哥德尔不完备定理
朱水林 编
哥德尔证明
哥德巴赫猜想的证明 费尔马最后猜想的证明
侯绍胜 著
哥德尔证明
哥德巴赫猜想研究
王元
哥德尔证明
哥德尔艾舍尔巴赫——集异璧之大成(汉译名著19)
[美]侯世达 著;本书翻译组 译
哥德尔证明
哥德巴赫猜想在一维数轴中的诠释
吴广德 著
哥德尔证明
哥德尔
[美]王浩
您可能感兴趣 / 更多
哥德尔证明
爱迪生的时代:电灯与现代美国的发明
欧内斯特·弗里伯格
哥德尔证明
老人与海
欧内斯特·海明威
哥德尔证明
经典译林:乞力马扎罗的雪(海明威短篇小说精选)
欧内斯特·海明威 著;汤伟 译
哥德尔证明
老人与海(汉译世界文学2·小说类)
欧内斯特·海明威
哥德尔证明
外教社经典伴读丛书:老人与海
欧内斯特·海明威、Ernest、Hemingway 著
哥德尔证明
小学生课外读物我的野生动物朋友1:万兽奔腾
欧内斯特·汤普森·西顿 著
哥德尔证明
小学生课外读物我的野生动物朋友4:王者传说
欧内斯特·汤普森·西顿 著
哥德尔证明
小学生课外读物我的野生动物朋友5:野性的呼唤
欧内斯特·汤普森·西顿 著
哥德尔证明
海明威书信集(上下)
欧内斯特·米勒尔·海明威
哥德尔证明
每天读一点|世界动物文学名著Ⅴ.吉尔达河边的浣熊
欧内斯特·汤普森·西顿 著;铃兰 改编
哥德尔证明
老人与海,经典名著,中小学语文必读无障碍阅读,海明威正版小说精选正版畅销书排行榜
欧内斯特、海明威 著
哥德尔证明
小战马 红脖子 西顿动物故事集 中小学生课外阅读书籍世界经典文学名著青少年儿童文学读物故事书名家名译原汁原味读原著
欧内斯特·汤普森·西顿