TY - JOUR
ID - 7/2/141.vanbendegem
PY - 2012
TI - A Defense of Strict Finitism
AU - Van Bendegem J. P.
N2 - Context: Strict finitism is usually not taken seriously as a possible view on what mathematics is and how it functions. This is due mainly to unfamiliarity with the topic. Problem: First, it is necessary to present a “decent” history of strict finitism (which is now lacking) and, secondly, to show that common counterarguments against strict finitism can be properly addressed and refuted. Method: For the historical part, the historical material is situated in a broader context, and for the argumentative part, an evaluation of arguments and counterarguments is presented. Results: The main result is that strict finitism is indeed a viable option, next to other constructive approaches, in (the foundations of) mathematics. Implications: Arguing for strict finitism is more complex than is usually thought. For future research, strict finitist mathematics itself needs to be written out in more detail to increase its credibility. In as far as strict finitism is a viable option, it will change our views on such “classics” as the platonist-constructivist discussion, the discovery-construction debate and the mysterious applicability problem (why is mathematics so successful in its applications?). Constructivist content: Strict finitism starts from the idea that counting is an act of labeling, hence the mathematician is an active subject right from the start. It differs from other constructivist views in that the finite limitations of the human subject are taken into account.
UR - http://constructivist.info/7/2/141.vanbendegem
SN - 1782348X
JF - Constructivist Foundations
VL - 7
IS - 2
SP - 141
EP - 149
U1 - conceptual
U2 - Philosophy
U3 - Mathematical Constructivism
KW - mathematics
KW - finite
KW - largest number
KW - infinite
KW - limits
KW - budget constraints
ER -