Scifaro

中文

一个不计算任何有效双免疫集的 DNC 函数

逻辑 2014-03-04 v4 计算机科学中的逻辑

作者: Achilles A. Beros

在 arXiv 上查看 ↗ PDF ↗

摘要

在《对角线非可计算函数与双免疫性》一文中，Carl Jockusch 和 Andrew Lewis 证明了每个 DNC 函数都能计算出一个双免疫集。他们提出了一个问题：是否每个 DNC 函数都能计算出一个有效双免疫集。我们构造了一个不计算任何有效双免疫集的 DNC 函数，从而否定了他们的问题。

关键词

DNC 函数双免疫集有效双免疫集可计算性理论对角线非可计算图灵度

引用

@article{arxiv.1308.1324,
  title  = {A DNC function that computes no effectively bi-immune set},
  author = {Achilles A. Beros},
  journal= {arXiv preprint arXiv:1308.1324},
  year   = {2014}
}

备注

7 pages, 1 figures