"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_sequenc...
(now famous for type theory, Per Martin-Löf did Probability Theory) https://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f#Randomness...