arithmetization

arithmetization

1. In 1869 Charles Meray, an apostle of the arithmetization of mathematics, gave a definition of the irrationals.

1869年查尔斯·梅雷作为数学算术化的革新者给出无理数的一个定义。

2. arithmetization analysis

分析算术化

3. Functions of arithmetization of analysis in the early development of mathematical economics

分析算术化在数理经济学早期发展中的作用

4. Arithmetization of analysis as the main cause of the rise of mathematical economics

分析算术化是数理经济学兴起的重要原因

5. arithmetization of Turing machine

图灵机的算术化

6. arithmetization of formal system

形式系统算术化

7. control arithmetization

控制算术化

8. When the coefficients of quadratic equations were irrational numbers, Abu Kdmil abandoned the geometry demonstration showing the trend of arithmetization.

而且，当遇到具无理系数的方程时，作者放弃了几何证明，具有明显的算术化趋势。

9. As a mathematician, Russell is critical of arithmetization of mathematics theory underlying the basic of mathematics.

认为罗素形成数学逻辑主义思想的历史背景在于他对数学基础建立在数学理论的“算术化”的不满。