论文部分内容阅读
19世纪末,数学分析经过波尔查诺、柯西、阿贝尔、维尔斯特拉斯等数学名家的努力终于被认为奠定了严密的基础,从而数学也被认为有了坚实的根基,然而众多悖论,尤其是集合论中的罗素悖论和相容性问题又使数学家们陷入了新的困境,并终于爆发了数学发展史上著名的直觉主义、逻辑主义和形式主义三大流派关于数学基础的大论战.本文试图就直觉主义的渊源、特征和贡献作些探讨.