我在寻找:
- Michael O. Rabin,“计算函数的难度和递归集的部分排序”,耶路撒冷希伯来大学,1960年
摘要:
“我们尝试衡量在计算给定可计算(递归)函数的任务中固有的工作量。介绍并研究了计算难度的概念。从某种意义上说,该概念是不变的,它独立于用于计算所讨论功能的理想计算机(Turing Machines)。根据相对难度对可解决的决策问题(递归集)进行分类。”
我找不到在线或我们图书馆的副本。
1
标题很有趣,并且论文应该对捕获计算功能的概念的早期发展提供见解。
—
Mohammad Al-Turkistany
我希望他们能在希伯来大学保留一份实物副本……
—
Yuval Filmus
与OP不直接相关的评论:合法收集旧论文(论文的年龄(我不知道该论文多长时间)并允许免费访问)是否合法?由于许多原因,更新的代码通常很容易获得。
—
曹
ps:事实证明这不是拉宾的论文。根据维基百科,他的论点是“群体理论问题的递归不可解性”,1957
—
。– Kaveh