finitism

Finitism is a philosophical stance that asserts a particular entity or domain is finite. In mathematics, this often relates to the concept of infinity. Intuitionistic logic, developed by L.E.J. Brouwer, questions the principle of the excluded third when dealing with infinite sets, suggesting that not every proposition is definitively true or false in such cases. This contrasts with classical logic, which assumes a proposition is either true or false. While intuitionism accepts finite sets and constructive proofs, it is more moderate than strict finitism, which may even question the existence of very large numbers. The exploration of mathematical infinities, particularly by Georg Cantor, revealed that infinities can differ in size, a concept that challenged prevailing mathematical thought.1234