最近快速阅读了一本关于数学证明的书，浏览了一本关于数学建模的书。对数学有什么用，产生了一丝疑惑。
我以前认为，一切都是数学。后来感觉哲学是最基本的学问，然后是数学，然后是其他学问。现在感觉，数学是工具，是思维方式，而且只是一种思维方式。
现在的问题在于，数学思维和数学工具掌握得不好，现实生活中问题解决不了，因此感觉数学没有用！
解决问题的方法无非是两个方面，继续学数学，用理性的力量解决问题。同时寻找数学之外的工具，用非理性的方法解决问题，比如，心理学。
《数学证明》一书的观点：
证明是以一些基本概念和基本公设为基础，使用合乎逻辑的推理确定判断是否正确。
证明无非是演绎和归纳，证明和反证。
两个大类的证明，存在性证明和不可能性证明。
数学系统本身是不能自容的。系统内的事情必须靠系统外的东西来解决。
最后还说到，个人对于数学方法的认识是循序渐进的，因为数学本身就是循序渐进的。
《实用数学方法》罗列的实用数学模型：
规划，优化，图与网络，微积分，插值与拟合，回归，时间序列，多元统计，预测。
希望有机会能用上。
