逻辑人生的书评 (2)

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