Discipline: Philosophy

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

P Benacerraf and H Putnam, eds, Philosophy


Facebook Twitter