算数阶层 编辑
算术阶层是递归论或可计算性理论中的概念，将自然数的子集按照定义它们的公式的复杂度分类。
1
相关
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
计算复杂度理论中，多项式谱系是一个复杂度系列。它从P、NP和反NP复杂度类逐级产生至预言机。它类似于数理逻辑中算数阶层和分析阶层，只不过是由逐级放宽资源限制而产生的。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。