The idea that a compressor is a compiler made me think back of Chaitin's work on incompleteness and the limits of mathematics, which I wrote a review of a few years ago: https://p4bl0.net/shebang/the-limits-of-mathematics.html