Definitely. I'd recommend his book Meta Math: The Quest for Omega [1]. He posted the full text of the book on arXiv [2].

[1] https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335

Chaitin's work is genius, but one thing bugs me: he uses a Cantor space in exchange for Gödel's countable numbering. I haven't found any commentary on that, but I find it suspicious.

The problem with Cantor space is you simply can't even begin to approximate Chaitin's constant, but it seems like you could by using a countable numbering (all else being equal.) Of course that would blow everything up, so the takeaway is there is something very important which I'm not convinced we've learned yet.

Came here to say that. See [1] my review of his awesome book "The Limits of Mathematics" + HN discussion.

[1] https://news.ycombinator.com/item?id=1725936