约翰.L·卡斯蒂,1943年生于波特兰,1970年在南加利福尼亚大学获数学博士学位,1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性》、《复杂化》、《五项黄金法则》、《虚实世界>和《剑桥五重奏》。
维尔纳·德波利,维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书,并曾为德语电视节目制作过一部有关哥德尔的节目。
《逻辑人生:哥德尔传》在介绍哥德尔精彩的一生时,把我们带到逻辑边界和逻辑之外,深入到最激动人心的哲学未知领域进行探索。哥德尔:一位智慧巨人,他的不完全性定理不仅改变了数学,而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生:哥德尔传》中,作者为我们描述了这样一个复杂的人物:既入世又遁世,既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴,并被爱因斯坦视为知音。
《逻辑人生》讲的是哥德尔的不完全定理,论述该定理的直观、内涵及其思想的延伸。算不得哥德尔传记。 个人比较喜欢第一、二、三章,能用简洁直观的语言大致描述哥德尔定理的轮廓,并试图解释形式化、语言、哲学之间的关系,挺精彩。 第四、第五章,对哥德尔生活和工作进行简...
评分 评分哥德尔不完全性定理粉碎了数学家两千年来实现统一的信念。哥德尔告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。 哥德尔的逻辑求证有点复杂,我尝试用生活常识去理解。 电视节目最喜欢做情感类节目,拿别人的隐私来抒发己见。多几个回合,敏锐的嘉宾能...
评分生活部分写得像八卦,满有趣。理论部分讲得非常浅显,基本上只说出了结论,没有论证,而是用类比来讲解结论的意义。对于一般想了解不完备定理得人而言足够了,出去装13肯定没问题。 我同时还读了那本Godel's Proof。此书是一本严肃的导论性读物,想深入了解的人可以参考。该书...
评分哥德尔不完全性定理粉碎了数学家两千年来实现统一的信念。哥德尔告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。 哥德尔的逻辑求证有点复杂,我尝试用生活常识去理解。 电视节目最喜欢做情感类节目,拿别人的隐私来抒发己见。多几个回合,敏锐的嘉宾能...
传记就该这么写
评分无法形容自己的激动心情,我所着迷的领域都串联起来了。
评分到人工智能那部分就有点晕了,这也是目前需要恶补的地方,有机会重看~
评分三星。偶数章是哥德尔的传记,奇数章是数理逻辑,两条线索可以独立的走,非常奇特的安排。
评分摘引哥德尔的一段话:“人类精神是不可能形式化所有数学直觉的。即如果我们能够成功地形式化它的一部分,这个事实就恰好需要一种新的直觉知识,例如,这种形式主义的一致性知识。”足够精辟,不过让我想起康德哲学中理性对于知性的统筹能力。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有