“算术化”的概念、定义、翻译、参考文献-科学参考

单词	算术化
释义	算术化 Mathematics ＞数理逻辑与数学基础＞证明论＞释义 arithmetization算术化 arithmetization算术化^† Computer 理论计算机科学可计算性与计算复杂性释文 arithmetization算术化
随便看	可正则化可正则化问题可正化算子可正规化不动点可正规化性可正规化性定理可正规化核可正规化的可正规化项可比性可比语料库可比较一致结构可比较元可比较关系可比较关系类型可比较函数可比较单形可比较图可比较定理可比较性可比较拓扑可比较曲线可比较点可比较的可比较级数

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。