Algoritmik bilgi teorisi

Algoritmik bilgi teorisi, hesaplama ve bilgi arasındaki ilişkiyle ilgilenen bilgi teorisinin bir alt dalıdır. Klasik bilgi teorisi rasgele işlemlerle ilgilenir, fakat bir işlemin sonucunu, üreten işlemin konteksti olmadan “rasgele” olarak adlandırmak pek de bir anlam ifade etmez. Örneğin, yazı tura atma işlemi “yazı” ve “tura” sonuçlarını üretir, fakat “yazı” paranın rasgele bir tarafıdır veya [“yazı”,”yazı”,”tura”] atılan üç para için rasgele bir sonuçtur demek pek de makul olmayan bir iddiadır. Aksine, algoritmik bilgi teorisi, belirli nesneleri rasgele veya rasgele olmayan şeklinde tanımlamak için evrensel bilgisayarların varlığını kullanır. Özellikle, algoritmik bilgi teorisi rasgele dizgi ve rasgele sonsuz dizilerin resmi ve özenli tanımlarını verir.