3 ms·
Chaitin is cool, too.
by Cacti 13y ago
Chaitin is cool, too.
- smosher 13y agoChaitin'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.
- p4bl0 13y agoCame 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 https://news.ycombinator.com/item?id=1725936
- andyjohnson0 13y agoDefinitely. 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/184354525X https://www.amazon.co.uk/Meta-Maths-Gregory-J-Chaitin/dp/184... [2] http://arxiv.org/abs/math/0404335 http://arxiv.org/abs/math/0404335