关于定义在Baker-Gill-Solovay多项式图灵机集合上的全函数的引理
摘要：当我们在所有图灵机上扩展时，如果我们确定P=NP的反例函数是总递归函数中最大的，那么当将同样的反例函数定义在所谓的Baker-Gill-Solovay（BGS）多项式机器集合上时会发生什么？我们在这里陈述并证明了一个引理，试图回答这个问题。
作者：N. C. A. da Costa and F. A. Doria
论文ID：math/0106096
分类：Logic
分类简称：math.LO
提交时间：2007-05-23