In general, inference requires the creation of new information, in a Kolmogorov complexity sense. I.e. perfect inference uses Solmonoff induction, and Solomono

In general, inference requires the creation of new information, in a Kolmogorov complexity sense. I.e. perfect inference uses Solmonoff induction, and Solomonoff induction is only possible with the ability to enumerate all elegant programs. But infinite Kolmogorov complexity is necessary to enumerate all elegant programs.