逻辑人生的书评 (8)

哥德尔不完全性定理粉碎了数学家两千年来实现统一的信念。哥德尔告诉我们，真与可证是两个概念。可证的一定是真的，但真的不一定可证。 哥德尔的逻辑求证有点复杂，我尝试用生活常识去理解。 电视节目最喜欢做情感类节目，拿别人的隐私来抒发己见。多几个回合，敏锐的嘉宾能...  (展开)

这篇书评可能有关键情节透露

计算、AI和复杂性 文本出处： [美]约翰·L·卡斯蒂（John L. Casti），[奥]维尔纳·德波利（Werner DePauli）：《逻辑人生：哥德尔传》，刘晓力、叶闯译，上海科技教育出版社2008年 八、计算 1.程序、算法和图灵机 程序（program）或算法（algorithm）完全决定了一台图灵机，而...  (展开)

这篇书评可能有关键情节透露

不完全性定理、哥德尔宇宙、哲学 文本出处： [美]约翰·L·卡斯蒂（John L. Casti），[奥]维尔纳·德波利（Werner DePauli）：《逻辑人生：哥德尔传》，刘晓力、叶闯译，上海科技教育出版社2008年 一、基础逻辑概念 1. 形式系统的构成：抽象符号的字母表；合式（well-formalize...  (展开)

作为一个数学家，逻辑学家，思想家，哥德尔提出的不完备性定理直接让希尔伯特的形式主义理想破灭。 哥德尔定理的应用已不仅仅局限于数学，它根本地揭示了人类认知思维的局限——存在一个命题为真，但你不能证明。 作为一本介绍哥德尔及其定理的入门读物，推荐阅读。  (展开)

生活部分写得像八卦，满有趣。理论部分讲得非常浅显，基本上只说出了结论，没有论证，而是用类比来讲解结论的意义。对于一般想了解不完备定理得人而言足够了，出去装13肯定没问题。 我同时还读了那本Godel's Proof。此书是一本严肃的导论性读物，想深入了解的人可以参考。该书...  (展开)

这是一本不错的哥德尔传记。对于哥德尔的生活的描述还是比较简单的，但是对于他那个著名的不完全性定理的解释相当的精彩，同时把与不完全性定理相关的图灵机、蔡亭的关于“数的复杂性”的理论等等融合在一起，可以与《哥德尔、埃舍尔、巴赫》一起看。  (展开)