3,094
个编辑
更改
跳到导航
跳到搜索
第467行：
第467行： − + 第475行：
第475行： − + − +
→与SRT的对应
===== 与SRT的对应 =====
===== 与SRT的对应 =====
第二递归定理（Second Recursion Theorem, SRT）是Lawvere不动点定理在部分递归函数范畴中的具体实现。二者的对应关系如下表所示：
第二递归定理（Second Recursion Theorem, SRT）是Lawvere不动点定理在[[部分递归函数]]范畴中的具体实现。二者的对应关系如下表所示：
{| class="wikitable"
{| class="wikitable"
! 克林第二递归定理中的具体对应
! 克林第二递归定理中的具体对应
|-
|-
| 笛卡尔闭范畴 <math>\mathcal{C}</math>
| [[笛卡尔闭范畴]] <math>\mathcal{C}</math>
| 部分递归函数范畴 <math>\mathbf{PartRec}</math>：对象为自然数幂 <math>\mathbb{N}^k</math>，态射为部分递归函数的外延等价类
| [[部分递归函数范畴]] <math>\mathbf{PartRec}</math>：对象为自然数幂 <math>\mathbb{N}^k</math>，态射为部分递归函数的外延等价类
|-
|-
| 对象 <math>A</math>
| 对象 <math>A</math>