Matt_Simpson comments on The Useful Idea of Truth - Less Wrong

77 Post author: Eliezer_Yudkowsky 02 October 2012 06:16PM

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

Comments (513)

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

Comment author: Matt_Simpson 03 October 2012 02:09:22AM *  1 point [-]

Yeah, I'm not really sure how to interpret "exist" in that statement. Someone that knows more about Tegmark level IV than I do should weigh in, but my intuition is that if parallel mathematical structures exist that we can't, in principle, even interact with, it's impossible to obtain Bayesian evidence about whether they exist.

Comment author: JulianMorrison 03 October 2012 07:47:56AM *  -1 points [-]

If we couldn't, even in principle, find any evidence that would make the theory more likely or less, then yeah I think that theory would be correctly labeled meaningless.

But, I can immediately think of some evidence that would move my posterior probability. If all definable universes exist, we should expect (by Occam) to be in a simple one, and (by anthropic reasoning) in a survivable one, but we should not expect it to be elegant. The laws should be quirky, because the number of possible universes (that are simple and survivable) is larger than the subset thereof that are elegant.

Comment author: Eugine_Nier 04 October 2012 02:00:36AM 1 point [-]

But, I can immediately think of some evidence that would move my posterior probability. If all definable universes exist, we should expect (by Occam) to be in a simple one,

Why? That assumes the universes are weighted by complexity, which isn't true in all Tegmark level IV theories.