摘要：用C程序证明了弱形式的递归定理{e}(z)=x(e,z)（不需要通用函数），用Bash脚本第二次证明了递归定理的罗杰斯形式{n}(z)={{x}(n)}(z)和Rice定理。
作者：Salvatore Caporaso and Nicola Corriero
论文ID：0712.1279
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-12-11
PDF 下载： 英文版 中文版pdf翻译中