加载中…
This paper explores a novel definition of Schnorr randomness for noncomputable measures. We say is uniformly Schnorr -random if for all lower semicomputable functions such that is computable. We prove a number of theorems demonstrating that this is the correct definition which enjoys many of the same properties as Martin-L"of randomness for noncomputable measures. Nonetheless, a number of our proofs significantly differ from the Martin-L"of case, requiring new ideas from computable analysis.

生成讲解博客的中文版本

生成AI智能校验的中文版本