Scifaro

中文

左可计算枚举实数与初始段复杂度

计算机科学中的逻辑 2022-08-02 v1

作者: George Davie

在 arXiv 上查看 ↗ PDF ↗

摘要

我们关注左 c.e. 实数 $\alpha$ 与其初始段之间的可计算性。我们证明量 $C(C(\alpha_n)|\alpha_n)$ 在此以及在其完备性中起着关键作用。我们特别考察 Chaitin 定理及其由 Frank Stephan 给出的相对化。

关键词

左可计算枚举实数初始段复杂度 Kolmogorov 复杂度 Chaitin 定理相对化

引用

@article{arxiv.2208.00423,
  title  = {Left computably enumerable reals and initial segment complexity},
  author = {George Davie},
  journal= {arXiv preprint arXiv:2208.00423},
  year   = {2022}
}

备注

13 pages