| 关于Grzegorczyk第九问题 |
| |
| 引用本文： | 卢殿臣,郑锡忠.关于Grzegorczyk第九问题[J].江苏大学学报(自然科学版),1992(3). |
| |
| 作者姓名： | 卢殿臣 郑锡忠 |
| |
| 作者单位： | 江苏工学院
(卢殿臣)，南京大学(郑锡忠) |
| |
| 摘 要： | 本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。
|
| 关 键 词： | 递归论 递归函数 分层/Grzegorczyk问题 |
On the Ninth Grzegorczyk's Problem |
| |
| Lu Dianchen Zheng Xizhong.On the Ninth Grzegorczyk''''s Problem[J].Journal of Jiangsu University:Natural Science Edition,1992(3). |
| |
| Authors: | Lu Dianchen Zheng Xizhong |
| |
| Institution: | Lu Dianchen Zheng Xizhong |
| |
| Abstract: | This paper introduces a proper hierarchy {Yn}n of the class of all double recursive functions and proves that the class of all double recursive functions cannot be generated from the basic functions (i. e Successor, Zero and Projection functions) and any finite double recursive functions by the operations of composition and primitive recursion. |
| |
| Keywords: | recursion theory recursive function hierarchy / Grzegorcyzk s problem |
| 本文献已被 CNKI 等数据库收录！ |
