本本书屋

 本本书屋 logo

哥德尔证明 2025 pdf epub mobi 电子书

哥德尔证明
☆☆☆☆☆
简体网页||繁体网页

哥德尔证明 2025 pdf epub mobi 电子书 著者简介

欧内斯特·内格尔（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年起，成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书，其中收集了从古到今的重要数学文献，具有极大参考价值，曾多次再版。

哥德尔证明 电子书 图书目录

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2025-02-01

哥德尔证明 2025 pdf epub mobi 电子书

哥德尔证明 2025 pdf epub mobi 电子书

哥德尔证明 2025 pdf epub mobi 电子书


喜欢 哥德尔证明 电子书 的读者还喜欢


哥德尔证明 电子书 读后感

评分☆☆☆☆☆

太多关于哥德尔定理的讨论，都是就着一点感性认识随意发挥，实在太不着边际。我们都不是逻辑学专家（就我自己而言，在朝着专家的方向努力，能否成功还得两说，但至少现在肯定不是），要完全搞清哥德尔的工作然后再去讨论，既无可能也无必要。但在讨论之前，至少要了解哥德尔的...  

评分☆☆☆☆☆

这本书像倚天屠龙记一样，演绎了绝世神功，讲了一个少年偶得一书终成绝世高手故事。要命的是，少年偶得之书就是这本书，等于说，这本书既是倚天屠龙记，又就是九阳真经本身。如果你想宅一天，宅得淋漓酣畅，宅得气势如虹，那么就读这本书吧，大号字，一百页，《哥德尔证明》。 ...  

评分☆☆☆☆☆

太多关于哥德尔定理的讨论，都是就着一点感性认识随意发挥，实在太不着边际。我们都不是逻辑学专家（就我自己而言，在朝着专家的方向努力，能否成功还得两说，但至少现在肯定不是），要完全搞清哥德尔的工作然后再去讨论，既无可能也无必要。但在讨论之前，至少要了解哥德尔的...  

评分☆☆☆☆☆

对于像我这种伪数学迷来说，最喜欢的就是这类书了。 豆瓣评论有限制，的确严重降低评论质量，凭啥让我非得写满规定字数。有木有！！！！！！！有木有！！！！！！！有木有！！！！！！！有木有！！！！！！！有木有！！！！！！！有木有！！！！！！！有木有！！！！！！！有...

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:中国人民大学出版社
作者:欧内斯特·内格尔（Ernest Nagel）
出品人:
页数:112
译者:陈东威
出版时间:2008-3
价格:18.00元
装帧:平装
isbn号码:9787300088907
丛书系列:当代世界学术名著·哲学系列

图书标签: 数学  哲学  哥德尔  数理逻辑  逻辑  科普  逻辑学  Godel   

哥德尔证明 2025 pdf epub mobi 电子书 图书描述

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

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

哥德尔证明 2025 pdf epub mobi 电子书
哥德尔证明 2025 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

哥德尔证明 2025 pdf epub mobi 用户评价

评分☆☆☆☆☆

好吧，这货简直就是数学的毁灭使者，在他25岁的时候，一举摧毁了逻辑主义、形式主义和集合化公理三大学派，也摧毁了我的智商。9万字的小册子，看了一个下午，脑子都要爆炸了。

评分☆☆☆☆☆

因为篇幅的限制，对于德尔不完全性定理并没有非常系统的介绍，省略很多必要的证明，其中关于Dem和Sub函数的定义也是含糊其辞的。可以映射于自身的形式系统是难以通过系统内部的演绎规则得出一致性证明的，似乎也就规定了人工智能的先天局限。当然对于人类似乎也是如此，如果排除某些先验的判断的话。

评分☆☆☆☆☆

严重不明觉厉！

评分☆☆☆☆☆

感觉看完这本之后，我大概有能力翻译《初期奎因论》了。

评分☆☆☆☆☆

深入浅出~元数学

哥德尔证明 2025 pdf epub mobi 电子书

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接




相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有