Pentashagon comments on A model of UDT with a concrete prior over logical statements - Less Wrong

43 Post author: Benja 28 August 2012 09:45PM

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

Comments (21)

You are viewing a single comment's thread.

Comment author: Pentashagon 29 August 2012 09:39:31PM *  1 point [-]

In "2. Play chicken with the universe: For each m in mappings, if P("UDT(i) == m[i] for every i in mappings.keys()") = 0, then return m[input]." do you actually mean actions.keys() instead of mappings.keys()?

I think this applies to all subsequent uses of mappings.keys() too.

Comment author: Benja 30 August 2012 05:46:49AM *  0 points [-]

Indeed I do and indeed it does. Thanks!