数理逻辑和算法理论课件：数学基础问题三大派之争.pptx

数学基础问题三大派之争

1逻辑主义2直觉主义3形式主义4数学基础问题三大派之争的简要评述目录

单击此处添加标题内容从古典集合论的创立到集合论的公理化,在数学发展史中具有重要的地位。这不仅意味着集合论取代实数论成为整个数学的理论基础，标志着数理逻辑的第一分支——“公理集合论”的诞生,而且这一演变过程,显示了有关数学基础问题的不同立场与观点的分歧早在1900年之前就已经出现。比如：其一，罗素立足于哲学和逻辑学,其从事逻辑的数学化的主要宗旨是将数学化归为逻辑。所以他的分支类型论是建立在纯逻辑公理基础上的，他的集合论是属于逻辑学范畴的；其二，持潜无穷观和直觉主义立场的数