finitaryadj.
/ˈfʌɪnɪtəri/ Mathematics.
Of methods, proofs, etc.: involving only a finite number of steps, a finite number of well-defined objects, and so on; capable of being completed within the concrete domain.
ΘΚΠ
the world > relative properties > number > mathematics > [adjective] > characterized by theories of or approaches to
physico-mathematical1660
analytical1694
Bernoulli1749
analytic1761
Boolean1851
Sturmian1853
Bernoullian1876
Fermatian1887
Grassmannian1894
number-theoretic1899
Cantor1902
Cantorian1912
Tauberian1913
Thiessen1923
intuitionist1926
metamathematical1926
finitist1931
number-theoretical1936
finitistic1937
proof-theoretic1940
formalistic1941
Gödelian1942
constructivist1943
constructivistic1944
game-theoretical1946
game-theoretic1950
finitary1952
perturbation-theoretic1964
perturbation-theoretical1968
constructive1979
1952 S. C. Kleene Introd. Metamath. iii. 63 Methods, called finitary by the formalists, which employ only intuitively conceivable objects and performable processes. (We translate the German ‘finit’ as ‘finitary’, since the English ‘finite’ is used for the German ‘endlich’.)
1963 G. T. Kneebone Math. Logic vii. 205 We can now reformulate in finitary terms the usual arguments.
1965 A. S. Luchins & E. H. Luchins Logical Found. Math. ix. 145 Hilbert did not offer a precise specification of what procedures were regarded by him as finitary.
This entry has not yet been fully updated (first published 1972; most recently modified version published online March 2021).
<
adj.1952