This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(October 2015) (Learn how and when to remove this message)
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.
^ abInternational Workshop on Logic and Computational Complexity, Logic and Computational Complexity, Springer, 1995, p. 31.
^ abcdSt. Iwan (2000), "On the Untenability of Nelson's Predicativism", Erkenntnis53(1–2), pp. 147–154.
In the philosophy of mathematics, ultrafinitism (also known as ultraintuitionism, strict formalism, strict finitism, actualism, predicativism, and strong...
arbiter must be called in. — Aristotle, Physics, Book 3, Chapter 6 Ultrafinitism (also known as ultraintuitionism) has an even more conservative attitude...
number of philosophers and mathematicians, some of whom also advocate ultrafinitism, reject Peano's axioms because accepting the axioms amounts to accepting...
theory Psychologism Ramism Semantic theory of truth Sophism Trivialism Ultrafinitism Fallacy (list) – incorrect argumentation in reasoning resulting in a...
he was noted especially for his internal set theory, and views on ultrafinitism and the consistency of arithmetic. In philosophy of mathematics he advocated...
University of New York (CUNY). Parikh worked on topics like vagueness, ultrafinitism, belief revision, logic of knowledge, game theory and social software...
he was noted especially for his internal set theory, and views on ultrafinitism and the consistency of arithmetic. He also wrote on the relationship...
said: God created the natural numbers, all else is the work of man. Ultrafinitism is an even more extreme version of finitism, which rejects not only...
Russian-born American mathematician known for Esenin-Volpin's theorem and ultrafinitism; in Leningrad (d. 2016) Tony Hancock, English radio and TV comedian...