New posts in Algorithmic Randomness

Example of concrete statement which requires probabilistic algorithm