论文部分内容阅读
在数学哲学中,直觉主义可谓引起引起了现代学术思想的一次革命。虽然直觉主义可以追溯到康德,甚至柏拉图。然而,它是近现代的,20世纪前20年,它作为一个独立的数学哲学思潮而闻名。它是逻辑学哲学中的一次风暴逆袭,是经典数学的有力挑战者。直觉主义强调“构造”,出发于“心智”。直觉主义把整个自然数论视为整个数学的基础,直觉主义拒绝排中律和反证律,抵制实无穷而推崇潜无穷。随着计算机的产生和发展,直觉主义在数字构造中起到了积极的应用。同时,直觉主义对数学哲学的创新教育等方面都有着不可忽视的影响。