Yes, in a sense. (Although technically, the agent could know facts about the world program that can’t be algorithmically or before-timeout inferred just from the program, and ditto for agent’s own program, but that’s a fine point.)
Yes, in a sense. (Although technically, the agent could know facts about the world program that can’t be algorithmically or before-timeout inferred just from the program, and ditto for agent’s own program, but that’s a fine point.)