计算数学是一门研究计算问题解决方法与有关理论问题的学科。

吴文俊强调数学公理化的应用是数学机械化研究的生命性。

判断题吴文俊强调数学公理化的应用是数学机械化研究的生命性。

社会科学数学化是指数学向社会科学渗透，也是运用数学方法来解释社会现象的一般规律。

判断题社会科学数学化是指数学向社会科学渗透，也是运用数学方法来解释社会现象的一般规律。

数学证明可以告诉我们命题的真伪和事物之间的联系。

判断题数学证明可以告诉我们命题的真伪和事物之间的联系。