形式主义

数学哲学
验证引用
虽然已尽一切努力遵循引用风格规则,但可能会有一些差异。如果您有任何问题,请参考相应的样式手册或其他资料。
选择引用格式
反馈
修正?更新?遗漏?让我们知道如果你有建议来改进这篇文章(需要登录)。
谢谢您的反馈

我们的编辑将审阅你所提交的内容,并决定是否修改文章。

打印
验证引用
虽然已尽一切努力遵循引用风格规则,但可能会有一些差异。如果您有任何问题,请参考相应的样式手册或其他资料。
选择引用格式
反馈
修正?更新?遗漏?让我们知道如果你有建议来改进这篇文章(需要登录)。
谢谢您的反馈

我们的编辑将审阅你所提交的内容,并决定是否修改文章。

形式主义,在数学,学派认为由20世纪的德国数学家提出大卫希尔伯特,他认为所有的数学都可以简化为规则操纵公式,而不涉及公式的含义。形式主义者认为,数学符号本身,而不是赋予它们的任何意义,才是数学思想的基本对象。比较直觉说逻辑主义