Is this the first time an advanced decision theory has had a mathematical expression rather than just a verbal-philosophical one?
(It’s not “advanced”, it’s not even in its infancy yet. On the other hand, there is a lot of decision theory that’s actually advanced, but solves different problems.)
(It’s not “advanced”, it’s not even in its infancy yet. On the other hand, there is a lot of decision theory that’s actually advanced, but solves different problems.)
I think Luke meant “advanced” as in superrationality, not “advanced” as in highly developed.
BTW, nice work.