Editing Ultrafinitism (section)

{{Short description|Concept in the philosophy of mathematics}}
{{More footnotes|date=October 2015}}
In the [[philosophy of mathematics]], '''ultrafinitism''' (also known as '''ultraintuitionism''',<ref name="LCC">International Workshop on Logic and Computational Complexity, ''Logic and Computational Complexity'', Springer, 1995, p. 31.</ref> '''strict formalism''',<ref name="Iwan">St. Iwan (2000), "[https://doi.org/10.1023%2FA%3A1005651027553 On the Untenability of Nelson's Predicativism]", ''[[Erkenntnis]]'' '''53'''(1–2), pp. 147–154.</ref> '''strict finitism''',<ref name="Iwan"/> '''actualism''',<ref name="LCC"/> '''predicativism''',<ref name="Iwan"/><ref>Not to be confused with Russell's [[predicativism]].</ref> and '''strong finitism''')<ref name="Iwan"/> is a form of [[finitism]] and [[intuitionism]]. There are various philosophies of mathematics that are called ultrafinitism. A major identifying property common among most of these philosophies is their objections to [[total function|totality]] of number theoretic functions like [[exponentiation]] over [[natural number]]s.