3,094
个编辑
更改
跳到导航
跳到搜索
第375行：
第375行： − +
→算子递归定理（ORT）：无穷互引的程序族
另外，值得一提的是，这个双递归定理以及对应的n递归定理的推广形式，实际上可以看成是多个部分互相指涉，互相依赖的形式，因此也就构成了[[自创生理论]]（Autopoesis）的数学基础。
另外，值得一提的是，这个双递归定理以及对应的n递归定理的推广形式，实际上可以看成是多个部分互相指涉，互相依赖的形式，因此也就构成了[[自创生理论]]（Autopoesis）的数学基础。
==== 算子递归定理（ORT）：无穷互引的程序族 ====
==== 算子递归定理（ORT）====
[[算子递归定理]]（operator recursion theorem，简称 ORT）是第二递归定理的"无穷化"推广，由[[约翰·凯斯|Case]]在研究自复制自动机时提出<ref name="case1974">'''Case, J. (1974).''' ''Periodicity in generations of automata''. Mathematical Systems Theory 8: 15–32. doi:10.1007/BF01761704.【算子递归定理（ORT）的原始出处；Kleene 第二递归定理的无穷化推广，由自复制自动机的世代周期性问题引出】</ref>。它把自指的对象从一个程序升级为'''一整个可计算的程序族'''。
[[算子递归定理]]（operator recursion theorem，简称 ORT）是第二递归定理的"无穷化"推广，由[[约翰·凯斯|Case]]在研究自复制自动机时提出<ref name="case1974">'''Case, J. (1974).''' ''Periodicity in generations of automata''. Mathematical Systems Theory 8: 15–32. doi:10.1007/BF01761704.【算子递归定理（ORT）的原始出处；Kleene 第二递归定理的无穷化推广，由自复制自动机的世代周期性问题引出】</ref>。它把自指的对象从一个程序升级为'''一整个可计算的程序族'''。