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

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

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

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

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

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

Ссылки

* [http://world.std.com/~rjs/ray.html Домашняя страница Рэя Соломонова]