图书标签: 数学 哲学 哥德尔 数理逻辑 逻辑 科普 逻辑学 Godel
发表于2024-06-14
哥德尔证明 pdf epub mobi txt 电子书 下载 2024
《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中,普利策奖的获奖作者道格拉斯•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年起,成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书,其中收集了从古到今的重要数学文献,具有极大参考价值,曾多次再版。
编码部分讲的挺通俗的,
评分编码部分讲的挺通俗的,
评分1. 对于一个符合一致性的公理体系,其中必存在不能证明也不能证伪的命题。即一致的公理体系不完备;2. 公理体系的一致性在自身中是无法证明的。
评分工作烦闷无处发泄之后看此书三页必有清火去毒之功效。
评分本书后半部分以脚注的方式写成。。。
关于数学的一些看法: 数学是一个非常有趣的学科,它与很多东西相关联,比如到现在为止我都能觉得我们能抽象出1,2,3,4……抽象出来数字是一件神奇的事。 两小儿辩数,比谁说的数字更大: A:一百 B:一千 A:一万 B:一亿 A:一亿加一 B:一亿加一再加一 A:反正我是你说...
评分简单的英文,清晰的思路,从头讲起,虽然有时候略显拖沓,但是做到了深入浅出。总体感觉就是读的时候以为懂了,过会儿就发现没懂。对于毫无基础的我来讲,要不重新看,要不换本别的互为参考。 另外,我居然发现了此书论证中的印刷错误。虽然整体而言还是没懂,但是借此聊以自...
评分简单的英文,清晰的思路,从头讲起,虽然有时候略显拖沓,但是做到了深入浅出。总体感觉就是读的时候以为懂了,过会儿就发现没懂。对于毫无基础的我来讲,要不重新看,要不换本别的互为参考。 另外,我居然发现了此书论证中的印刷错误。虽然整体而言还是没懂,但是借此聊以自...
评分对于像我这种伪数学迷来说,最喜欢的就是这类书了。 豆瓣评论有限制,的确严重降低评论质量,凭啥让我非得写满规定字数。有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有木有!!!!!!!有...
评分所谓数的不完备性,即哥德尔证明:存在无穷多个真的算数命题,无法用一套封闭的演绎规则和一组公理推导出来。也就是说,数理无法推知一切。这篇东西不过是思路整理加上自己的一些想法,前面是对哥德尔论证的梳理,自然不能入专业人士的眼;后面就有点脑洞大开了,和哥德尔没啥...
哥德尔证明 pdf epub mobi txt 电子书 下载 2024