formal theory of universal prediction

A formal theory of universal prediction is a mathematical framework that defines and analyzes predictors capable of making optimal or near-optimal forecasts across all computable environments, typically using concepts like algorithmic probability and Kolmogorov complexity.