 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (October 2015) |
In the philosophy of mathematics, ultrafinitism (also known as ultraintuitionism,[1] strict formalism,[2] strict finitism,[2] actualism,[1] predicativism,[2][3] and strong finitism)[2] 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 totality of number theoretic functions like exponentiation over natural numbers.
- ^ a b International Workshop on Logic and Computational Complexity, Logic and Computational Complexity, Springer, 1995, p. 31.
- ^ a b c d St. Iwan (2000), "On the Untenability of Nelson's Predicativism", Erkenntnis 53(1–2), pp. 147–154.
- ^ Not to be confused with Russell's predicativism.