暂无介绍
直觉主义是一种数学哲学,它认为数学是一种纯粹的思维形式的创造。它是由荷兰数学家L.E.J. Brouwer在二十世纪初提出的。直觉主义认为,数学是一个内在的、内容空洞的过程,据此,一致的数学陈述只能被设想和证明为心理建构。在这个意义上,直觉主义与经典数学的许多核心原则相矛盾,经典数学认为数学是对外部存在的客观分析。...