Kolmogorov complexity
1960年に algorithmic probability についてカリフォルニア工科大学での会議で発表し、同年2月には "A Preliminary Report on a General Theory of Inductive Inference" という論文を発表。1964年には "A Formal Theory of Inductive Inference" の第一部と第二部を発表し、さらに考え方を明確化した。そこからコルモゴロフ複雑性とアルゴリズム情報理論が発展した。