此条目没有列出任何参考或来源。 (2014年9月28日) 维基百科所有的内容都应该可供查证。请协助补充可靠来源以改善这篇条目。无法查证的内容可能会因为异议提出而移除。 |
有限主义(英语:Finitism)在数学哲学中是数学构成主义的极端形式,意即除非某数学物件能经过有限步从自然数中构造出来,否则便认为该事件便不存在。相反,大部分构成主义者容许可列集中存在无穷。对有限主义进行有限主义主张则是极端有限主义。
著名有限主义者利奥波德·克罗内克曾说:
上帝创造整数,其他的都是人类的工作。
虽然大部分现代有限主义者的观点较弱,但他们的有限主义思想源头都可以在克罗内克的作品找到。
参见
- 数学直觉主义
- 直觉主义类型理论
- 博弈语义学
- 构造性证明