百科故事网

当前位置：首页 > 经典书库 > 逻辑百科辞典

第二递归定理

书籍:逻辑百科辞典

也称不动点定理。是s-mn定理的一个推论：

定理(第二递归定理)：设f是一元递归全函数，存在一个数n，使

上一篇：递归同构型下一篇：笛卡尔，R．

分享到：