wmorgan comments on Take heed, for it is a trap - Less Wrong

47 Post author: Zed 14 August 2011 10:23AM

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

Comments (187)

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

Comment author: wmorgan 17 August 2011 04:03:02PM 4 points [-]

I think I get it. You need n bits of evidence to evaluate a statement whose MML is n bits long. Once you know the truth value of P, you don't need any more evidence to compute NOT(P), so MML(P) has to equal MML(NOT(P)). In the real world we tend to care about true statements more than false statements, so human formalisms make it easier to talk about truths rather than falsehoods. But for every such formalism, there is an equivalent one that makes it easier to talk about false statements.

I think I had confused the statement of a problem with the amount of evidence needed to evaluate it. Thanks for the correction!

Comment author: ArisKatsaris 17 August 2011 07:05:28PM 2 points [-]

A big thumbs up for you, and you're very welcome! :-)