论数学的基础作用

     我不是数学专业的，也不是数学天才，写这篇memo是只是想分享下自己对数学的作用的认识，一则自己整理思路，二则想看看大家的见解。

     首先，啥是哲学？ 个人理解就是大到对世界小到某个具体问题（比如钱）的认识，推荐看看罗素的《西方哲学史》，从而到对一个东西能有那么多的解释，那么多的理解。

     说到数学，它也涉及个哲学的问题，就是数学哲学：包括数学思想，哲学等，像我这样的平庸之辈一般理解不了；比如 数学的基础据说有三个流派，逻辑主义，形式主义，和直觉主义，都上升到了，哲学啊，美学啊之类的高度。

     本人的理解很庸俗，数学就工具，拿来做事的，比如搞图形算法就涉及了不少三角学的工具。

     数学的工具分类大概有：数理逻辑（研究逻辑的）、集合论（数据库研究可能会用到）、代数学（例如群、环）、数论（例如抽屉原理）、几何学、拓扑学、分析学（例如泛函分析）、微分方程、计算数学（数值分析）、概率论、数理统计、运筹学（例如动态规划）。这些东西看起来很玄，实际咱们不经意间用到这些工具(比如面试的时候经常碰见这些东西)，比如抽屉原理。

     关于数学工具可参考《中国大百科全书。数学》。

     除了对数学比较庸俗的解释之外，本人还有一个比喻来阐述自己对数学基础的认识：

    哲学好比是操作系统：阐述了对各个实体（存储，文件，进程，设备）的认识

    数学好比是系统调用：抽象出来的是做事的工具

    具体的领域，比如网络、数据库、图形系统均是在数学/哲学基础上进行封装的库（比如glibc）

    具体的领域内的应用，比如mysql数据库，就是基于这些库函数写的应用。

    至此，把自己对数学的基础作用唧唧歪歪了一下，另外计算机科学中的理论计算机科学（Theoretical Computer science）是和数学关系是最紧密的了，图灵，王小云等前辈是这个领域中的人。