论文标题
GACS-KUCERA定理
Gacs-Kucera Theorem
论文作者
论文摘要
由Barmpalias和Lewis-Pye拧紧的GACS-KUCERA定理，W.T.T.-T.-将每个无限序列还原为kolmogorov--Martin-lof随机序列，并广泛用于各种数学和CS区域。它的早期证明有些繁琐，但是使用一些一般概念可以在此处提供大量简化。
Gacs-Kucera Theorem, tightened by Barmpalias and Lewis-Pye, w.t.t.-reduces each infinite sequence to a Kolmogorov--Martin-Lof random one and is broadly used in various Math and CS areas. Its early proofs are somewhat cumbersome, but using some general concepts yields significant simplification illustrated here.
