Соломонов, Рэй

Материал из Википедии — свободной энциклопедии

Рэй Соломонофф (родился в 1926) ввёл концепцию алгоритмической вероятности в 1960-х годах. Взяв универсальный компьютер и случайно сгенерировав исходную программу. Эта программа сгенерирует некоторые, возможно бесконечные, выходные данные.

Алгоритмическая вероятность любого взятого конечного вывода с префиксом q — это сумма вероятностей программ которые вычисляют что-то начинающееся с q.

Алгоритмическая вероятность — это главный ингредиент соломоновской теории индуктивного вывода, теории предсказания базирующегося на наблюдениях. Данная последовательность символов — что будет дальше? Теория Соломонова даёт ответ, который оптимален в некотором смысле.

В отличие от информационной Карла Поппера, соломоновская является строгой с точки зрения математики.

Алгоритмическая вероятность близко соотносится к концепции Колмогоровской сложности. Например, Соломонов был первым, кто доказал теорему об инварианте, которая показывает, что это не очень важно, какой компьютер мы выберем для использования.