arithmetization

arithmetization

简明

n.[数] 算术化

网络释义
专业释义

1
[数] 算术化
... arithmetician算术家 arithmetization算术化 arithmetrico?geometricseries算术几何级数 ...

短语

1
arithmetization of formal system
形式系统的算术化 ; 正式系统算术化
2
arithmetization of geometry
几何学算术化
3
arithmetization of physics
物物理学算术化

查看更多

双语例句

1
In 1869 Charles Meray, an apostle of the arithmetization of mathematics, gave a definition of the irrationals.
1869年查尔斯·梅雷作为数学算术化的革新者给出无理数的一个定义。

查看更多

百科

Arithmetization
The arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century.

点击反馈