What does finitist mean?
Finitist means (mathematics, philosophy) A proponent of finitism..
Looking up this word…
Checking saved dictionary data and trusted language sources. This will stop automatically if a source does not respond.
Checking saved dictionary data and trusted language sources. This will stop automatically if a source does not respond.
Pronunciation varies by accent · noun
(mathematics, philosophy) A proponent of finitism..
Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem as a formalization of his finitist conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitist. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε₀, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ω^ω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic.ᵂᴾ
Use finitist when its meaning, tone and grammar fit the full sentence. A synonym is not always a direct replacement.
Finitist means (mathematics, philosophy) A proponent of finitism..
The closest synonym depends on the sentence and intended sense.
The opposite depends on the specific sense.
Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem as a formalization of his finitist conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitist. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε₀, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ω^ω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic.ᵂᴾ
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.