ATR:算术超限递归
在数学等学术研究领域,为了方便书写和频繁使用,“Arithmetical Transfinite Recursion”这一术语常被缩写为ATR。该术语的中文译名为“算术超限递归”,主要用于描述一种在序数上进行递归定义的算术系统,是数理逻辑和集合论中的重要概念。
Arithmetical Transfinite Recursion具体释义
Arithmetical Transfinite Recursion的英文发音
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若ATR词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。