《不完备性：库尔特·哥德尔的证明与悖论》，作者：丽贝卡·戈德斯坦
《不完备性：库尔特·哥德尔的证明与悖论》
作者：丽贝卡·戈德斯坦 (Rebecca Goldstein)
库尔特·哥德尔是著名的逻辑学家、数学家和哲学家。
他因创造不完备性定理而闻名。这一定理指出“如果形式算术系统是无矛盾的，则存在着这样一个命题，该命题及其否定在该系统中都不能证明，即它是不完备的” 。
作者在这本书中讲述了哥德尔的生平和他的不完备性定理。
作者还向我们解释了库尔特·哥德尔的定理及其证明。她这样做恰到好处，因为即使是那些没有学过高等数学的人也能掌握定理的精髓。
“所有的真理——即使是那些看起来如此确定、基本上不会被修改的真理，——归根结底都是捏造出来的”。
这本书写了许多关于哥德尔生活的趣闻轶事。作者在书中还揭示了哥德尔与包括爱因斯坦在内的同事们的关系。
作者还谈到了当时的数学哲学领域的学术环境。
总而言之，这是一本有趣的书，让我们认识了一个聪明的人。
2. 《只爱数字的人：保罗·埃尔德什(Paul Erdős)的故事及其对数学真理的追求 》( The Man Who Loved Only