ultrafinitism
Sign in to saveAlso known as ultraintuitionism, strict-finitism, actualism, strong-finitism, predicativism
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.
~5 min read
Article
7 sectionsContents
- Main ideas
- People associated with ultrafinitism
- Computational complexity theory based restrictions
- See also
- Notes
- References
- External links
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.
==Main ideas== Like other finitists, ultrafinitists deny the existence of the infinite set \N of natural numbers, on the basis that it can never be completed.