哥德尔证明 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·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
具体描述
读后感
我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位，也就是说人如果想知道更多，必然要借助于非逻辑的力量。逻辑和科学是最易于传播的，但很可能人类的进化就这样被淹没在“大多数”、“正常”的...
评分关于数学的一些看法： 数学是一个非常有趣的学科，它与很多东西相关联，比如到现在为止我都能觉得我们能抽象出1,2，3，4……抽象出来数字是一件神奇的事。 两小儿辩数，比谁说的数字更大： A：一百 B：一千 A：一万 B：一亿 A：一亿加一 B：一亿加一再加一 A：反正我是你说...
评分简单的英文，清晰的思路，从头讲起，虽然有时候略显拖沓，但是做到了深入浅出。总体感觉就是读的时候以为懂了，过会儿就发现没懂。对于毫无基础的我来讲，要不重新看，要不换本别的互为参考。 另外，我居然发现了此书论证中的印刷错误。虽然整体而言还是没懂，但是借此聊以自...
评分简单的英文，清晰的思路，从头讲起，虽然有时候略显拖沓，但是做到了深入浅出。总体感觉就是读的时候以为懂了，过会儿就发现没懂。对于毫无基础的我来讲，要不重新看，要不换本别的互为参考。 另外，我居然发现了此书论证中的印刷错误。虽然整体而言还是没懂，但是借此聊以自...
评分我总觉得哥德尔定理证明的并不是人类如何如何。我一直深信逻辑并非最强的认知方式。哥德尔否定的应该是纯粹逻辑系统的绝对统治地位，也就是说人如果想知道更多，必然要借助于非逻辑的力量。逻辑和科学是最易于传播的，但很可能人类的进化就这样被淹没在“大多数”、“正常”的...
用户评价
这本书竟然是作者们写的一篇文章的附属物
评分编码部分讲的挺通俗的,
评分最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。 一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。
评分本书后半部分以脚注的方式写成。。。
评分可惜没有数论基础，不过对专业外的人来说，本书已经基本把证明的框架架构起来了，公理系统的不完全性证明，又引发新的问题，知识永远都不是一劳永逸的。。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有