一般人认为，数学基础研究中的形式化处理方法的奠基人是德国数学家大卫.希尔伯特（Divid Hilbert，1862 – 1943）。什么是数学的形式化处理方法？在这种观点之下，数学是什么呢？

     希尔伯特的形式化处理方法有两条基本原则：

         一、数学中所有的数学符号完全看做没有任何意义的内容，即使将符号、公式或证明的任何有意义或可能有的解释也不必理会它，而只是把它们看作纯粹的形式对象，研究它们的结构性质；

       二、采取有限处理原则，即总能在有限的机械式步骤之内验证形式系统内的一串公式是否存在一个“证明”。

     希尔伯特的动机是：应用数学形式化处理方法于这样定义的一个形式体系之内，就可避免涉及无穷的推断，这就排除了康托尔集合论的无穷推理方法带来的悖论。这个思想是只应用靠得住的方法，因为要证明数学或其一部分无矛盾的方法是大家公认可靠的，整个数学才有牢固的基础。

     按照希尔伯特的观点，数学研究的对象是一串、一串的没有任何意义的符号串。数学具体内容没有了，成了执行中计算机程序的本身。在这种观点之下，数学命题的真伪依靠计算机运算在有限步骤内就能最后判定。

     说明：上述观点只是现代数学基础研究中的一个流派，不能涵盖一切，也不代表本人的观点。

袁萌 6月30日