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

单词	算术化
释义	算术化 Mathematics ＞数理逻辑与数学基础＞证明论＞释义 arithmetization算术化 arithmetization算术化^† Computer 理论计算机科学可计算性与计算复杂性释文 arithmetization算术化
随便看	余从余代数余代数同态余代数态射余伴随函子余伴随的余伴随表示余伴随轨道余保核收缩余倩余像余允抗余兆昌余光中余共轭数余兴远余其伟余冠英余函子余函数余切余切丛余切函数余切向量余切曲线

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