Stuart_Armstrong comments on The Last Number - Less Wrong

4 Post author: Stuart_Armstrong 10 April 2010 12:09PM

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

Comments (57)

You are viewing a single comment's thread. Show more comments above.

Comment author: Stuart_Armstrong 11 April 2010 07:48:29AM 0 points [-]

If that's all you know about the theory, I'd say yes - but not "strong" evidence.

Comment author: Tyrrell_McAllister 11 April 2010 01:59:27PM 0 points [-]

I probably should have given more than just a winkie to indicate that I was joking.

Comment author: Stuart_Armstrong 11 April 2010 08:52:42PM 0 points [-]

Actually, it is a serious point. If you choose thories at random, according to some universal prior, then a lot of them are going to be inconsistent. And most of the theories that can quickly prove their own consistency are the inconsistent ones. So this does provide some information (depending on how the consistency proof was arrived at, of course).

Comment author: Tyrrell_McAllister 11 April 2010 09:04:03PM 1 point [-]

That was pretty much what I was getting at. But since I'm not in a position to quantify how strong the evidence is, I took the cheap route of making it a joke :).