itaibn0 comments on Why isn't the following decision theory optimal? - Less Wrong Discussion
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 (30)
Are you implying that UDT is formal?
Fair enough. A less formal version of UDT. UDT at least has a formulation in Godel-Lob provability logic.