Формальна теорія індуктивного висновку
Соломонофф визначив імовірність продовження послідовності через довжину найкоротшої програми, що її породжує.
Чому це важливо
Передбачення і стиснення вперше зведено до однієї величини — рамка, у якій сьогодні описують масштабування мовних моделей.
Теорія дає передбачувач, який неможливо обчислити, але який Соломонов пізніше називає «золотим стандартом» індукції: можна знати, наскільки одна обчислювана міра ближча до нього за іншу. Колмогорівську складність Колмогоров визначив незалежно (1965–69), так само Чайтін (1966–69). За спогадом автора, Колмогоров прочитав статтю 1964 року, і Левін на цій основі уточнив апріорну ймовірність; Чайтін неформально висловив думку, що коротка програма для послідовності може бути мірою якості теорії.