| 释义 |
arithmetization|əˌrɪθmɪtaɪˈzeɪʃən|
[f. arithmetize v. + -ation.]
The action, or the result, of arithmetizing, in various senses.
1902Encycl. Brit. XXVIII. 544 The Theory of Functions of Real Variables..has been remodelled in the process of complete arithmetization. 1903B. Russell Princ. Math. xxxii. 259 What is called the arithmetization of mathematics has shown that all the problems presented..are already present in pure arithmetic. a1910W. James Some Probl. Philos. (1911) xi. 173 The ‘new infinite’ and the ‘number-continuum’ are outgrowths of a general attempt to accomplish what has been called the ‘arithmetization’ (ἀριθµὸς meaning number) of all quantity. 1935Mind XLIV. 501 An arithmetisation of syntax, based upon the method of Gödel, in which numbers are assigned to simple signs. |