the problem is no longer just determined by the agent’s final decisions
Right.
It’s interesting not being my past self and being able to understand that problem.
Congratulations :-) Now I’ll do the thing that Wei usually does, and ask you if something specific in the problem description was tripping you up? How would you rephrase it to make your past self understand it faster?
How would you rephrase it to make your past self understand it faster?
Include a link to Wei Dai’s analysis of the absentminded driver problem, with a short blurb explaining why your theorem-proving agent is like that and not like CDT, maybe. But that would have had only a faint hope of success :P
Right.
Congratulations :-) Now I’ll do the thing that Wei usually does, and ask you if something specific in the problem description was tripping you up? How would you rephrase it to make your past self understand it faster?
Include a link to Wei Dai’s analysis of the absentminded driver problem, with a short blurb explaining why your theorem-proving agent is like that and not like CDT, maybe. But that would have had only a faint hope of success :P