哥德尔证明 pdf epub mobi txt 电子书 下载 2025
欧内斯特·内格尔（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年起，成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书，其中收集了从古到今的重要数学文献，具有极大参考价值，曾多次再版。
- 数学
- 哲学
- 哥德尔
- 数理逻辑
- 逻辑
- 科普
- 逻辑学
- Godel
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
具体描述
读后感
强烈推荐！很难想象一本诠释如此艰深的理论的科普书籍可以写得那么通俗易懂，值得任何关心数学喜欢数学或者想从数学获取乐趣的人阅读。这次的译文也非常负责严谨，阅读起来较顺畅。你可以花一天的时间来享受一次神秘的数学之旅。
评分写一点废话，加深记忆 试图以模型论为数学基础的3个思路 1.寻找一个模型作为解释使其一致（无限后退） 2.几何→代数（同上） 3.Hilbert：把元数学和对象数学分开 元数学：关于符号（种类、排列、运作规则） 对象数学：通常数学 沿用思路3：分析完全形式化的演算系统所包含的...
评分所谓数的不完备性，即哥德尔证明：存在无穷多个真的算数命题，无法用一套封闭的演绎规则和一组公理推导出来。也就是说，数理无法推知一切。这篇东西不过是思路整理加上自己的一些想法，前面是对哥德尔论证的梳理，自然不能入专业人士的眼；后面就有点脑洞大开了，和哥德尔没啥...
评分该定理的另一个主要应用领域，是数学的一个应用分枝——计算机和人工智能。现在把我文中提过的停机问题简单介绍一下。计算机到现在有了极大的发展，但是基本原理还是冯·诺依曼提出来的，只是速度和效率大大提高了。从根本上说，计算机的程序，就是一种基于2进制数字运算的命题...
评分关于数学的一些看法： 数学是一个非常有趣的学科，它与很多东西相关联，比如到现在为止我都能觉得我们能抽象出1,2，3，4……抽象出来数字是一件神奇的事。 两小儿辩数，比谁说的数字更大： A：一百 B：一千 A：一万 B：一亿 A：一亿加一 B：一亿加一再加一 A：反正我是你说...
用户评价
严重不明觉厉！
评分2010-01-17读毕，最后一部分没大读明白，但是感觉素数是这么神奇，并且一个哥德尔数竟然能够表示一条定理
评分深入浅出~元数学
评分工作烦闷无处发泄之后看此书三页必有清火去毒之功效。
评分1. 对于一个符合一致性的公理体系，其中必存在不能证明也不能证伪的命题。即一致的公理体系不完备；2. 公理体系的一致性在自身中是无法证明的。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有