f random sequences"中，他首次给出随机序列的确切定义。早期的研究者如理查德·冯·米泽斯曾尝试形式化随机性测试的概念，用以定义一个可通过所有随机性测试的序列为随机序列；然而，随机性测试的确切概念仍未清晰。而马丁-洛夫的开创性地运用了计算理论来形式化定义随机性测试这一概念。该方法与概率论中对随机性的定义大异其趣；在概率论中，取样空间中任何一个特定的元素均不可能是随机的。在马丁-洛夫工作的启发之下，后来的算法信息论将所谓“随机字符串”定义为一个不能够被任何短于该字符串的计算机程序生成的字