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

☆☆☆☆☆
简体网页||繁体网页

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

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

下载链接在页面底部

点击这里下载

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-05-03

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

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

哥德尔证明电子书读后感

评分☆☆☆☆☆

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

评分☆☆☆☆☆

哥德尔不完全性定理不是仿悖论，它本身就是一个悖论，所以，哥德尔真的错了，你造吗？【哥德尔想证明“形式化”并非那么靠谱，却用自己的错误反证了“形式化”总比“聪明人”靠谱】(算术系统N若一致，哥德尔语句U不可判定)→(U可一致扩充N)→(N的一切证明都可遗传到N')→(U在...

评分☆☆☆☆☆

强烈推荐！很难想象一本诠释如此艰深的理论的科普书籍可以写得那么通俗易懂，值得任何关心数学喜欢数学或者想从数学获取乐趣的人阅读。这次的译文也非常负责严谨，阅读起来较顺畅。你可以花一天的时间来享受一次神秘的数学之旅。

类似图书点击查看全场最低价

出版者:中国人民大学出版社

作者:欧内斯特·内格尔（Ernest Nagel）

出品人:

页数:112

译者:陈东威

出版时间:2008-3

价格:18.00元

装帧:平装

isbn号码:9787300088907

丛书系列:当代世界学术名著·哲学系列

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

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

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

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

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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

评分☆☆☆☆☆

本书后半部分以脚注的方式写成。。。

评分☆☆☆☆☆

最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。

评分☆☆☆☆☆

#纸质书# 嗷~！（星星眼）

评分☆☆☆☆☆

本书后半部分以脚注的方式写成。。。

评分☆☆☆☆☆

[拯救文科生]哥德尔不完备定理根本策略：1.建立一个系统PM，使得其序列号与元理论中公理及其引理具备映射关系——得到哥德尔数；2.利用特殊的定义策略，使得映射建立的序号巨大化、不重复，且有规律性；3.构造一个引理G，其表达式为：该引理不可证明；同时，在构造时使得该引理的哥德尔数g直观可得，在哥德尔的论证中，为一个函数，可由该引理求得。结论：在PM系统中，序列号为g的引理G不可证明。因此，PM系统不完备。又因为PM系统与元系统一一映射，因而元系统不完备。任何纯形式系统都符合该结论，故任何纯形式系统不完备。

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