In the philosophy of mathematics, ultrafinitism, ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong finitism are various philosophies of mathematics with aspects of finitism and intuitionism. Common to these philosophies is their objection to the totality of number theoretic functions like exponentiation over natural numbers.
In the philosophy of mathematics, ultrafinitism, ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong finitism are various philosophies of mathematics with aspects of finitism and intuitionism. Common to these philosophies is their objection to the totality of number theoretic functions like exponentiation over natural numbers.
Source: Wikipedia "Ultrafinitism" · CC BY-SA 4.0
Share this article: X · Bluesky