You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

CronoDAS comments on Yet More "Stupid" Questions - Less Wrong Discussion

4 Post author: NancyLebovitz 08 September 2013 02:18PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (265)

You are viewing a single comment's thread.

Comment author: NancyLebovitz 08 September 2013 02:18:54PM 2 points [-]

Gregory Chaitin

Chaitin's mathematical curse is not an abstract theorem or an impenetrable equation: it is simply a number. This number, which Chaitin calls Omega, is real, just as pi is real. But Omega is infinitely long and utterly incalculable. Chaitin has found that Omega infects the whole of mathematics, placing fundamental limits on what we can know. And Omega is just the beginning. There are even more disturbing numbers--Chaitin calls them Super-Omegas--that would defy calculation even if we ever managed to work Omega out. The Omega strain of incalculable numbers reveals that mathematics is not simply moth-eaten, it is mostly made of gaping holes. Anarchy, not order, is at the heart of the Universe.

Does this sort of uncertainty have any bearing on FOOMing? On the provability of FAI? Is the LW Omega related to Chaitin's Omega?

Comment author: RichardKennaway 08 September 2013 06:25:57PM *  8 points [-]

No to all of these. The grand claims of that article are overblown hype (as is so often the case with New Scientist), and credit Chaitin with too much, to the exclusion of other mathematicians before him.

Anyone interested in Chaitin's work could read his own technical book "Algorithmic Information Theory", but might also read the criticism of him in Torkel Franzén's "Gödel's Theorem: An Incomplete Guide to its Use and Abuse" (book, not online, but reviewed here). The business in the original article of the hierarchy of Omegas is nothing more than the already well-known concept of degrees of unsolvability, which dates back to 1944.

Comment author: solipsist 08 September 2013 03:27:55PM *  5 points [-]

Short answer to your questions: No. They aren't related.

Pedantic answer to your questions: Yes.

If you knew the value of Chaitin's Omega you could calculate the incalculable. You would know the results of computations that should take an infinite amount of time to calculate. You could summon the proofs of any conjecture. You could simulate AIXI. You would have the knowledge of a demigod. Being a demigod has strong bearing on the subjects you bring up, and many others.

Chaitin's Omega and LW's Omega share the same name (I suspect) because they both refer to something superhuman. They are different sort of superhumans, however.

Comment author: Adele_L 08 September 2013 03:40:08PM 1 point [-]

Löb's theorem and Chaitin's constant are in the same family of weirdness, so I think it is likely relevant, but not for a 'new' reason, if that makes sense.

Comment author: tgb 08 September 2013 03:02:16PM 0 points [-]

I can't comment on your question, but I have to say that that article is exceptional in managing to tell math research as an engaging story.