Levin 对 Gács-Kučera 定理的再考察
逻辑
2023-01-26 v3 信息论
math.IT
摘要
Leonid Levin (arxiv.org/abs/cs/0503039v14, p.7) 发表了一个 Gács-Kučera 定理的新（且非常漂亮的）证明，以其风格呈现时仅占用几行。我们试图解释更多细节，并讨论该证明与像随机性定理的联系，明确化 Levin 论述中隐含的某些结果（见命题 4）。随后我们回顾先前关于将给定序列归约到另一序列时的预言机使用的工作，及其与算法维数理论的联系。
引用
@article{arxiv.2111.00516,
title = {G\'acs-Ku\v{c}era's Theorem Revisited by Levin},
author = {George Barmpalias and Alexander Shen},
journal= {arXiv preprint arXiv:2111.00516},
year = {2023}
}
备注
published version