Algorithmically random sequence "Martin-Löf's key insight was to use the theory of computation to formally define the notion of a test for randomness." https:

Algorithmically random sequence "Martin-Löf's key insight was to use the theory of computation to formally define the notion of a test for randomness." https://en.wikipedia.org/wiki/Algorithmically_random_sequence https://en.wikipedia.org/wiki/Algorithmically_random_sequenc... (now famous for type theory, Per Martin-Löf did Probability Theory) https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f#Randomness_and_Kolmogorov_complexity https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f#Randomness...