图书标签: 传记 哥德尔 数学 逻辑 哲学 科普 邏輯學 逻辑学
发表于2024-11-21
逻辑人生 pdf epub mobi txt 电子书 下载 2024
《逻辑人生:哥德尔传》在介绍哥德尔精彩的一生时,把我们带到逻辑边界和逻辑之外,深入到最激动人心的哲学未知领域进行探索。哥德尔:一位智慧巨人,他的不完全性定理不仅改变了数学,而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生:哥德尔传》中,作者为我们描述了这样一个复杂的人物:既入世又遁世,既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴,并被爱因斯坦视为知音。
约翰.L·卡斯蒂,1943年生于波特兰,1970年在南加利福尼亚大学获数学博士学位,1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性》、《复杂化》、《五项黄金法则》、《虚实世界>和《剑桥五重奏》。
维尔纳·德波利,维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书,并曾为德语电视节目制作过一部有关哥德尔的节目。
哥德尔不完全性定理的各种变体是全书的亮点,《复杂性之复杂性》引起了我对于复杂理论的兴趣。P.S.1.可能是出于通俗性的考虑,部分数学名词使用不当。还有很多地方欠缺严谨。2.全书的关注点基本都在哥德尔不完全性定理上,而忽略了其他一些深刻的,比如选择公理的研究,哥德尔的成就。3.译名不是很贴切,这本书很难称得上是一本传记。
评分什么时候向表弟科普下。
评分好玩。
评分按需。
评分摘引哥德尔的一段话:“人类精神是不可能形式化所有数学直觉的。即如果我们能够成功地形式化它的一部分,这个事实就恰好需要一种新的直觉知识,例如,这种形式主义的一致性知识。”足够精辟,不过让我想起康德哲学中理性对于知性的统筹能力。
作为一个数学家,逻辑学家,思想家,哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学,它根本地揭示了人类认知思维的局限——存在一个命题为真,但你不能证明。 作为一本介绍哥德尔及其定理的入门读物,推荐阅读。
评分这是一本不错的哥德尔传记。对于哥德尔的生活的描述还是比较简单的,但是对于他那个著名的不完全性定理的解释相当的精彩,同时把与不完全性定理相关的图灵机、蔡亭的关于“数的复杂性”的理论等等融合在一起,可以与《哥德尔、埃舍尔、巴赫》一起看。
评分 评分哥德尔不完全性定理粉碎了数学家两千年来实现统一的信念。哥德尔告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。 哥德尔的逻辑求证有点复杂,我尝试用生活常识去理解。 电视节目最喜欢做情感类节目,拿别人的隐私来抒发己见。多几个回合,敏锐的嘉宾能...
评分《逻辑人生》讲的是哥德尔的不完全定理,论述该定理的直观、内涵及其思想的延伸。算不得哥德尔传记。 个人比较喜欢第一、二、三章,能用简洁直观的语言大致描述哥德尔定理的轮廓,并试图解释形式化、语言、哲学之间的关系,挺精彩。 第四、第五章,对哥德尔生活和工作进行简...
逻辑人生 pdf epub mobi txt 电子书 下载 2024