更改

===其它扩展研究===

===其它扩展研究===

=== SRT 与计算复杂性理论 ===

==== SRT 与计算复杂性理论 ====

在[[复杂性理论]]中，递归定理主要扮演'''证明工具'''的角色。[[复杂性类]]的许多分离与结构定理采用"带时钟的对角化"：让机器检查并躲开自己（或更早的机器）的行为；当这种自躲藏需要程序援引自己的代码时，严格化的抓手正是 SRT。Breidbart 的"[[分裂递归集]]"构造显式调用递归定理，是这一路数的源头<ref name="breidbart1978">'''Breidbart, S. (1978).''' ''On splitting recursive sets''. Journal of Computer and System Sciences 17: 56–64.【复杂性类对角化中显式使用递归定理的"延迟构造"源头】</ref>；Schmidt 进一步把这类论证统一为"[[复杂性类的递归论结构]]"定理，其推论包括：除非 [[NP = P]]，[[NP]] 不等于 [[P]] 与 NP 完全类之并这类"[[可递归呈现类]]"的非平凡并<ref name="schmidt1985">'''Schmidt, D. (1985).''' ''The recursion-theoretic structure of complexity classes''. Theoretical Computer Science 38: 143–156. doi:10.1016/0304-3975(85)90217-8.【复杂性类对角化定理的递归论统一；推论：除非 NP=P，NP ≠ P ∪ {[[NP完全类]]}】</ref>。

在[[复杂性理论]]中，递归定理主要扮演'''证明工具'''的角色。[[复杂性类]]的许多分离与结构定理采用"带时钟的对角化"：让机器检查并躲开自己（或更早的机器）的行为；当这种自躲藏需要程序援引自己的代码时，严格化的抓手正是 SRT。Breidbart 的"[[分裂递归集]]"构造显式调用递归定理，是这一路数的源头<ref name="breidbart1978">'''Breidbart, S. (1978).''' ''On splitting recursive sets''. Journal of Computer and System Sciences 17: 56–64.【复杂性类对角化中显式使用递归定理的"延迟构造"源头】</ref>；Schmidt 进一步把这类论证统一为"[[复杂性类的递归论结构]]"定理，其推论包括：除非 [[NP = P]]，[[NP]] 不等于 [[P]] 与 NP 完全类之并这类"[[可递归呈现类]]"的非平凡并<ref name="schmidt1985">'''Schmidt, D. (1985).''' ''The recursion-theoretic structure of complexity classes''. Theoretical Computer Science 38: 143–156. doi:10.1016/0304-3975(85)90217-8.【复杂性类对角化定理的递归论统一；推论：除非 NP=P，NP ≠ P ∪ {[[NP完全类]]}】</ref>。