Yoav Ravid comments on Embedded Agency (full-text version)

[Yoav Ravid]

This sounds like a strange loop:

We call this a “spurious proof”: the agent takes the $5 because it can prove that if it takes the $10 it has low value, because it takes the $5. It sounds circular, but sadly, is logically correct.