直觉主义思想概述

一场关于数学基础问题的大论战,产生了三大数学(哲学)流派,它们分别是逻辑主义学派、形式主义学派和直觉主义学派。直觉主义学派认为任何数学对象都是思维构造的产物,所以一个对象的存在性等价于它的构造的可能性,因此直觉主义者坚持用人类构造性思维活动进行数学研究的方法。并且直觉主义者相信理论的真理性最终取决于理论的实际内容,并且只有通过人类的实践活动才能得到检证。