He even did more:<p>Mathematician GregoryChaitin defines elegance in computer programming in this way: A computer program written in a given language is elegant if no smaller program written in the same language has the same output. He goes on to prove that it is impossible to prove that a given program above a certain very low level of complexity is elegant.<p><a href="https://wiki.c2.com/?ChaitinElegance" rel="nofollow">https://wiki.c2.com/?ChaitinElegance</a><p>And he gave some examples in his book.<p><a href="http://jillian.rootaction.net/~jillian/science/chaitin/www.cs.umaine.edu/chaitin/unknowable/index.html" rel="nofollow">http://jillian.rootaction.net/~jillian/science/chaitin/www.c...</a><p>See the example code in LISP here:<p><a href="https://github.com/darobin/chaitin-lisp" rel="nofollow">https://github.com/darobin/chaitin-lisp</a>
If you want to read a bit more from the mathematician himself on this very topic he wrote an accessible "pop-math" book about it, "Meta Math!: The Quest for Omega" though you'll need to look beyond the author's rather strange choices of metaphor (<a href="https://www.goodreads.com/book/show/249849.Meta_Math_" rel="nofollow">https://www.goodreads.com/book/show/249849.Meta_Math_</a>).
I just want to drop this playlist here <a href="https://www.youtube.com/watch?v=HLPO-RTFU2o&list=PL86ECDEDE3FA8D8D1" rel="nofollow">https://www.youtube.com/watch?v=HLPO-RTFU2o&list=PL86ECDEDE3...</a> as its one of my fav lectures<p>Gregory Chaitin Lecture at Carnegie-Mellon University in 2000, he gives a bit of history of parts of math/computing that leads up to him talking about qualities of random. He touches on Cantor, Bertrand Russell, Hilbert, Gödel and Turing.
The surprising thing to me was, following the link to "normal numbers", that this is called out as one of the only proved irrational normal numbers, even though it is proven that the set of irrational numbers is normal almost everywhere.
Numberphile has a video explaining the relationship between the number categories, and includes a brief discussion of where Chaitin's Constant belongs.<p><a href="https://www.youtube.com/watch?v=5TkIe60y2GI" rel="nofollow">https://www.youtube.com/watch?v=5TkIe60y2GI</a>
In contrast: <a href="https://www.jamesrmeyer.com/topics/chaitins-omega.html" rel="nofollow">https://www.jamesrmeyer.com/topics/chaitins-omega.html</a>