List questions from algorithmic-randomness | MathQa

question about isolation lemma.

Published on 13 Jan 2025 - 2:32

Expected number of jumps to just exceed $(1-\rho)$ quantile in the line segment $[0, 1]$

Published on 21 Dec 2024 - 4:25

PRNG for compression

Published on 12 Jan 2025 - 17:27

Omega-model of WWKL consisting of random reals

Published on 13 Jan 2025 - 2:25

Working with C++ for GF(2)

Published on 12 Jan 2025 - 17:32

Are there strings with known Kolmogorov complexity?

Published on 29 Dec 2024 - 22:06

Formal statement of property of randomness of a sequence

Published on 21 Dec 2024 - 3:09

Performance - recurrence for the expected number of recursive calls

Published on 20 Dec 2024 - 16:10

$\Sigma_{\tau \in S} 2^{-|\tau|} = 2^{-|\sigma|}$, for any prefix-free $S \subseteq 2^{<\omega}$ s.t. $[S] = [\sigma]$.

Published on 30 Dec 2024 - 13:28

A novice theory about lack of "randomness"

Published on 30 Dec 2024 - 9:49