Armok_GoB comments on Notes on logical priors from the MIRI workshop - Less Wrong

18 Post author: cousin_it 15 September 2013 10:43PM

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

Comments (45)

You are viewing a single comment's thread.

Comment author: lukeprog 15 September 2013 11:02:35PM 7 points [-]

Wait, what is Tegmark level 5?

Comment author: cousin_it 15 September 2013 11:08:27PM *  16 points [-]

It's a name we made up for mathematically impossible universes that we still care about because we haven't yet proved them to be mathematically impossible. That becomes relevant in problems like Counterfactual Mugging with a logical coin.