itaibn0 comments on Why isn’t the following decision theory optimal?

[itaibn0]

an informal version of Updateless Decision Theory

Are you implying that UDT is formal?

[LawrenceC]

Fair enough. A less formal version of UDT. UDT at least has a formulation in Godel-Lob provability logic.