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