Nisan comments on Controlling Constant Programs - 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 (33)
Oh, I see. I thought proving things about agent() and deciding what to do could be the same thing, but I was wrong.