书不错，翻译有点……

内容很丰富，就是翻译的有点问题，有些地方感觉词不达意。如P137页中什么叫“运算微积的创造”？什么又叫“论理数学”？改成“推理数学”或者“证明性数学”不好吗？

内容有的时候步子迈的过大，容易摸不着头脑。在P333～334定义与π相关的^π时把我看的一愣一愣的，半天才反应过来，原来定义在P335。百牛定理不是指的勾股定理吗？怎么变成了发现根号二的无理性？

看了这本书才知道数学的形式主义骨架是多么坑人，多么远离提出者自己的数学实践和数学经验。证明与反驳即使不能包含全部数学经验，也至少是根植于其中的。

个人比较感兴趣的是P139提及的帕什公理和挪威逻辑学家斯科伦发现的“非标准算术”中的无穷大整数、P142/143讨论公平硬币的概率收敛是充分快的以防止硬币是有负载的、关于数学易谬性的讨论、鲁滨逊的“非标准分析”。