@chainik absolutely, I always have a photo of kolmogorov in my talks when complexity index arises. solomonoff narrowed AIT to string-based representation, and chaitin brings this into exploring halting/incompleteness problems, but still with solomonoff's string based approach.