Algoritmik bilgi teorisi

Algoritmik bilgi teorisi, hesaplama ve bilgi arasındaki ilişkiyle ilgilenen bilgi kuramının bir alt dalıdır. Klasik bilgi kuramı rastgele işlemlerle ilgilenir, fakat bir işlemin sonucunu, üreten işlemin bağlamı olmadan “rastgele” 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 rastgele bir tarafıdır veya [“yazı”,”yazı”,”tura”] atılan üç para için rastgele bir sonuçtur demek pek de makul olmayan bir iddiadır. Aksine, algoritmik bilgi teorisi, belirli nesneleri rastgele veya rastgele olmayan şeklinde tanımlamak için evrensel bilgisayarların varlığını kullanır. Özellikle, algoritmik bilgi teorisi rastgele dizgi ve rastgele sonsuz dizilerin resmi ve özenli tanımlarını verir.