春节间各种饭局与赶路的间隙读完的书。
一个很有意思的问题：数学是客观存在的还是人类发明。但论述远不如标题吸引人。花了近半篇幅在古希腊与中世纪，而近现代数学部分篇幅太少。最后一章总结更是有种“哥裤子都脱了你就给我说这个？”的感觉。
没读过《古今数学思想》（大一起就放在想读列表里了），因此也无法对这类数学哲学类的书做比较。但起码这本书的感觉是：
那些已经懂的东西，非要包装上哲学的外壳显得太矫情——况且许多那个时代的哲学思想在今天看来已经太幼稚了。
而那些不懂的东西，由于没有深入介绍，也能难让读者体会到其内在的美观与这个世界的神秘关联。——能明白的就是黎曼几何与广义相对论这样从小听到大的烂梗了
一句话说就是“懂的人不用看也能知道讲什么，不懂的人看了后还是不懂”的节奏。
个人比较推荐第七章，对于近代数理逻辑的脉络梳理的很清晰。建议CS从业人员读读。还有那些想读GEB但没有毅力的人（比如我）做个铺垫。
几个8g很好看。比如笛卡尔去世是因为无法睡懒觉，哥德尔申请美国居留权（简直萌翻了！）。
参考文献很详细。