摘要：关于与McCarthy的“91函数”和Takeuchi的三重递归相关的递归模式的属性的讨论。提出了几个有趣的候选机器验证定理，并提出了一些引人注目的开放性问题。
作者：Donald E. Knuth
论文ID：cs/9301113
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-02-03
PDF 下载： 英文版 中文版pdf翻译中