有限主义

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

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

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

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

参见

  • 数学直觉主义
  • 直觉主义类型理论
  • 博弈语义学
  • 构造性证明