arithmetization [ə,riθməti'zeiʃən]
- arithmetization的基本解释
-
n.
算术化
- 更多网络例句与arithmetization相关的网络例句 [注：此内容来源于网络，仅供参考]
-
As a mathematician, Russell is critical of arithmetization of mathematics theory underlying the basic of mathematics.
认为罗素形成数学逻辑主义思想的历史背景在于他对数学基础建立在数学理论的"算术化"的不满。
-
In 1869 Charles Meray, an apostle of the arithmetization of mathematics, gave a definition of the irrationals.
1869年查尔斯·梅雷作为数学算术化的革新者给出无理数的一个定义。
-
On putting forward a research method of the history of mathematical economics by synthesizing the intrinsic and extrinsic historical factors, the author examines some problems in the early development of mathematical economics in the light of arithmetization of analysis.
提出研究数理经济学史内、外史结合的一种方法，并用该方法以 1 9世纪分析算术化为背景，考察了数理经济学早期发展的若干问题，指出数学基础问题是 1 870年前在经济学中应用数学方法的主要障碍，以分析算术化为代表的数学基础重建则是此后数理经济学迅猛兴起的重要条件。
-
By putting forward a research method on the history of mathematical economics through the synthesis of the intrinsic and extrinsic historical factors , the author examines some issues in the early devel-opment of mathematical economics in the light of arithmetization of analysis.
提出研究数理经济学史的内、外史相结合的方法，并以十九世纪分析算术化为背景，用该方法探讨了数理经济学早期发展的若干问题，指出数学基础尚未完善的问题是1870年前在经济研究中应用数学方法的主要障碍，而以分析算术化为代表的数学基础重建则是此后数理经济学迅猛兴起的重要原因。
- 更多网络解释与arithmetization相关的网络解释 [注：此内容来源于网络，仅供参考]
-
arithmetization：算术化
原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,
-
arithmetization of formal system：正式系统算术化
算术化 arithmetization | 正式系统算术化 arithmetization of formal system | 运算图 arithmograph