有限主义

本页使用了标题或全文手工转换
维基百科,自由的百科全书

有限主义(英语:Finitism)在数学哲学中是数学构成主义的极端形式,意即除非某数学物件能经过有限步从自然数中构造出来,否则便认为该事件便不存在。相反,大部分构成主义者容许可列集中存在无穷。对有限主义进行有限主义主张则是极端有限主义。

著名有限主义者利奥波德·克罗内克曾说:

上帝创造整数,其他的都是人类的工作。

虽然大部分现代有限主义者的观点较弱,但他们的有限主义思想源头都可以在克罗内克的作品找到。

参见