It might have some relevance in information compression. He was also working on the halting problem (see lisp code below) and writing programs in LISP that were

It might have some relevance in information compression. He was also working on the halting problem (see lisp code below) and writing programs in LISP that were proving his theorems. http://jillian.rootaction.net/~jillian/science/chaitin/www.cs.umaine.edu/chaitin/unknowable/turing.l http://jillian.rootaction.net/~jillian/science/chaitin/www.c... He also writes in his book: http://jillian.rootaction.net/~jillian/science/chaitin/www.cs.umaine.edu/chaitin/unknowable/ch7.html http://jillian.rootaction.net/~jillian/science/chaitin/www.c... So in a way, in all three cases, Gödel, Turing, and I, we already have a new ``biological'' complicated mathematics, the mathematics of the third millennium, or at least of the 21st century. [As a child I used to dream that I was in the far future, in a library, desperate to see how it had all turned out, desperate to see what science had achieved. And I would take a volume off the shelf and open it, and all I could see were words, words, words, words that made no sense at all... Writing this book brings back long-forgotten thoughts and the unusual lucidity I experience when my research is going well and everything seems inevitable.]