数学是发明而非发现

数学对象不是独立存在于某个柏拉图世界中等待被发现的，而是人类为了解决问题而建构的。数学家是发明者，不是探险家。数学的价值在于有效性，不在于"真理"。