图书标签: 数学 哲学 哥德尔 数理逻辑 逻辑 科普 逻辑学 Godel
发表于2025-03-04
哥德尔证明 pdf epub mobi txt 电子书 下载 2025
《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中,普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。
欧内斯特·内格尔(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年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。
因为篇幅的限制,对于德尔不完全性定理并没有非常系统的介绍,省略很多必要的证明,其中关于Dem和Sub函数的定义也是含糊其辞的。可以映射于自身的形式系统是难以通过系统内部的演绎规则得出一致性证明的,似乎也就规定了人工智能的先天局限。当然对于人类似乎也是如此,如果排除某些先验的判断的话。
评分可惜没有数论基础,不过对专业外的人来说,本书已经基本把证明的框架架构起来了,公理系统的不完全性证明,又引发新的问题,知识永远都不是一劳永逸的。。
评分: B516.59/4242
评分这本书竟然是作者们写的一篇文章的附属物
评分因为篇幅的限制,对于德尔不完全性定理并没有非常系统的介绍,省略很多必要的证明,其中关于Dem和Sub函数的定义也是含糊其辞的。可以映射于自身的形式系统是难以通过系统内部的演绎规则得出一致性证明的,似乎也就规定了人工智能的先天局限。当然对于人类似乎也是如此,如果排除某些先验的判断的话。
该定理的另一个主要应用领域,是数学的一个应用分枝——计算机和人工智能。现在把我文中提过的停机问题简单介绍一下。计算机到现在有了极大的发展,但是基本原理还是冯·诺依曼提出来的,只是速度和效率大大提高了。从根本上说,计算机的程序,就是一种基于2进制数字运算的命题...
评分 评分有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统,是不完备的). 所以,那些在电视里滔滔不绝预测未来股市,楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...
评分 评分哥德尔不完全性定理不是仿悖论,它本身就是一个悖论,所以,哥德尔真的错了,你造吗? 【哥德尔想证明“形式化”并非那么靠谱,却用自己的错误反证了“形式化”总比“聪明人”靠谱】(算术系统N若一致,哥德尔语句U不可判定)→(U可一致扩充N)→(N的一切证明都可遗传到N')→(U在...
哥德尔证明 pdf epub mobi txt 电子书 下载 2025