1 paper
Anton Vuerinckx, Yves Moreau
We prove two theorems related to the Central Limit Theorem (CLT) for Martin-Löf Random (MLR) sequences. Martin-Löf randomness attempts to capture what it means for a sequence of bi…