AIXI

Algorithmic information theory (AIT) is the mathematical foundation for inductive inference. We study AIT and its applications, particularly towards understanding intelligence and life.