アルゴリズム情報理論
この分野は、アンドレイ・コルモゴロフ、レイ・ソロモノフ、グレゴリー・チャイティンが1960年代に創始した。いくつかの派生があり、最も広く使われているのは Leonid Levin (1974年)による self-delimiting program に基づくものである。ペール・マルティン=レーフもこの分野に多大な貢献をしている。ブラムの公理(Blum 1967年)に基づくアルゴリズム情報理論の公理的アプローチは、Mark Burgin が1982年、アンドレイ・コルモゴロフの著作についての論文で提示した。アルゴリズム情報理論への公理的アプローチはその後本にまとめられ(Burgin 2005)、ソフトウェア測定法に応用されている(Burgin and Debnath, 2003; Debnath and Burgin, 2003)。