这本书表面在谈数学理解，实际处理的是更一般的认知问题：人如何形成直觉，语言与理解之间是什么关系，以及为什么形式化表达常常无法自动带来理解。

more ...