这本关于数学哲学的#book真是绝对的瑰宝！ 这本书提出了一个无害的问题——我们在做数学时到底在做什么？ 我们是在发现实体，还是在创造新的实体？证明到底是什么？当我们发现数学是不完整的，无法被形式化时会发生什么？ 作者的观点（我100%同意）是，数学是一种社会文化的产物。做数学就像是发明游戏规则并弄清楚其后果。当然，有些数学具有实际效用，但数学对象的真理并不在外面，而是在其他数学家的头脑中，他们给我们必要的反馈或验证。 我强烈推荐这本书。它进入了我的再读书单。