“数学即逻辑”
逻辑主义的主要代表人物是罗素， 在《数学的原理》及《数学原理》中，罗素的目标在于证明“数学和逻辑是全等的”这个逻辑主义论题，它可以分析为三部分内容。
一般认为形式主义的奠基人是希尔伯特。
希尔伯特建议两条最基本的原则：一、形式主义原则：所有符号（如x,e,π…）完全看做没有意义的内容，即使将符号、公式或证明的任何有意的意义或可能的解释也不管，而只是把它们看作纯粹的形式对象，研究它们的结构性质；二、有限主义原则，即总能在有限机械步骤之内验证形式理论之内一串公式是否一个证明。
叫-鱼学习（一个蛮好的学习-网）觉得直觉主义的奠基者和代表人物是荷兰数学家布劳威尔。
在数学哲学中，直觉主义,或者新直觉主义 (对应于前直觉主义),是用人类的构造性思维活动进行数学研究的方法。
G.波利亚美数家、教育家于数习深刻研究
内容全部来源于网络收集，如有侵权，请联系网站删除！
QQ：24596024