Intuitionism in the philosophy of mathematics

Abstract

数学哲学中的直觉主义批判了传统数学中的形而上学,强调数学构造在数学认知中的重要意义。直觉主义认为:数学是一种心灵的构造。判断一个数学对象的存在,在于找到心灵构造它的过程。在数学基础上,数学比逻辑更为基础;以往数学家借用逻辑作为推理的工具所建立起来的宏伟大厦的基础并不完全可靠,需要被重建;对于自然数、连续性等基础概念,直觉主义数学流派也有着不同其他数学哲学流派的特殊观点。作为20世纪数学哲学的三大流派之一,直觉主义尽管在数学实践上并不算特别成功,但其对形而上学的讨论和关于数学基础的论点依然是非常深刻的。Intuitionism was the result of the development of the foundation of mathematics. Intuitionism's critics of the metaphysics in tradition math- ematics are by taking mathematical construction as the basis of mathematic cognition, which lead to many untraditional conclusions in philosophy and the foundation of mathematics. The practice of intuitionism in mathematics is not very successful. However, its views in philosophy of mathematics are very insightful.教育部人文社会科学研究2011年规划基金项目(批准文号:11YJA720009); 广西教育厅2012年重点项目"笛卡尔的解析几何思想与近代科学认识论"阶段性成

    Similar works