重探 Bishop 上下穿不等式与下半可计算随机实数
逻辑
2026-05-05 v2 信息论
math.IT
摘要
在本文中，我们通过指出其可直接由 Bishop 上下穿不等式推得，为 Barmpalias--Lewis-Pye 的结果提供了一个简单的证明，该结果表明所有收敛于随机实数的可计算递增序列均以相同速度收敛（至多相差一个 因子）。我们还给出了该不等式的一个简单推导。
引用
@article{arxiv.2511.09756,
title = {Bishop's (up)crossing inequality and lower semicomputable random reals revisited},
author = {Mikhail Andreev and Alexander Shen},
journal= {arXiv preprint arXiv:2511.09756},
year = {2026}
}
备注
Accepted by Computability in Europe conference 2026