Формальна теорія індуктивного висновку
Соломонофф визначив імовірність продовження послідовності через довжину найкоротшої програми, що її породжує.
Чому це важливо
Передбачення і стиснення вперше зведено до однієї величини — рамка, у якій сьогодні описують масштабування мовних моделей.
Теорія дає оптимальний передбачувач, який неможливо обчислити, але який задає верхню межу для всіх обчислюваних. Звідси виросла колмогорівська складність і мінімальна довжина опису. Твердження, що краща модель — це коротший опис даних, походить саме з цієї роботи.