【正】Jacob Mey(Odense University,Denmark): 今天早些时候我同参加圆桌会议的一位代表谈话时,他忽然告诉我:他不知道这个会议开......

[He 88]在第三部分“UP有图灵完全语言吗”?的标题下构造了一个递归Oracle A,并且证明UP~A 无图灵完全语言。本文构造了一个NP Ora......