Pentashagon comments on A model of UDT with a concrete prior over logical statements - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (21)
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.
Indeed I do and indeed it does. Thanks!