数学基础(研究整个数学的理论基础及其相关问题的学科)_百度百科

网站介绍:数学基础(Foundation of Mathematics),是研究整个数学的理论基础及其相关问题的一个专门学科,即研究数学的基础,回答“数学是什么?”,“数学的基础是什么?”,“数学是否和谐?”等等一些数学上的根本问题的学科。对于直觉主义、逻辑主义和形式主义的异同,可以追溯到近代哲学家康德对数学本质的思考。康德认为算术来自先验主体对时间纯形式的直观,几何则是对空间纯形式的直观。这实质上是一种由主观而客观的思路。康德的思想后来又在胡塞尔那里得到继承和发展。胡塞尔就是从考虑“数在哪里”的问题提出现象学还原方法的。