Thank you. That matches up with that I was thinking; it’s good to get a confirmation. At first glance, it looks like a discount factor would settle the agent’s problem, but that’s only if we’re working with probabilistic beliefs and expected value rather than deterministic proofs.
Could you help me level up my understanding?
It looks like the discussion of the Procrastination Paradox in the Vingean Reflection article depends on a reflectivity property in the agent. Does that somehow bypass the Löbstable? Or if not, how is it related to Löb’s theorem?
Is there something more to the Procrastination Paradox than just “I can prove that I’ll do it tomorrow, so I won’t do it today?” By itself, that doesn’t look like an earth-shaking result.
it looks like a discount factor would settle the agent’s problem
Maybe not, if you believe that tomorrow you can self-modify into an agent that can clean the room better than you. (Better enough to offset the discount factor.)
I do not understand the Löb’s theorem, so I cannot help you here. I agree that my explanation doesn’t seem very impressive, but I cannot tell if that is because the original article is unimpressive, or because I am only able to understand the unimpressive aspects of it. :(
Thank you. That matches up with that I was thinking; it’s good to get a confirmation. At first glance, it looks like a discount factor would settle the agent’s problem, but that’s only if we’re working with probabilistic beliefs and expected value rather than deterministic proofs.
Could you help me level up my understanding?
It looks like the discussion of the Procrastination Paradox in the Vingean Reflection article depends on a reflectivity property in the agent. Does that somehow bypass the Löbstable? Or if not, how is it related to Löb’s theorem?
Is there something more to the Procrastination Paradox than just “I can prove that I’ll do it tomorrow, so I won’t do it today?” By itself, that doesn’t look like an earth-shaking result.
Maybe not, if you believe that tomorrow you can self-modify into an agent that can clean the room better than you. (Better enough to offset the discount factor.)
I do not understand the Löb’s theorem, so I cannot help you here. I agree that my explanation doesn’t seem very impressive, but I cannot tell if that is because the original article is unimpressive, or because I am only able to understand the unimpressive aspects of it. :(