Usually regarded as a form of CONSTRUCTIVISM in the philosophy of mathematics, emphasizing that the construction in question must be possible in finitely many steps with finitely many elements.
The views that the construction must be possible in practice (not just in principle), and that a mathematical statement only gets its sense from the way it is proved, are sometimes called ‘strict finitism’.
Also see: formalism
Source:
P Benacerraf and H Putnam, eds, Philosophy
Table of Contents
Last update 2020-06-17. Price and product availability may change.