Wei’s explanations were enough for me and others to devise multiple formalizations of UDT based on proof search, halting oracles, modal logic, and logical uncertainty. The first such result came out in 2010 and there have been many since then. A lot of that work happened on the decision-theory-workshop mailing list, on LW, at MIRI workshops, and later on agentfoundations. Here’s an example problem given by Gary Drescher in 2010, which is miles more advanced than anything discussed in the context of ADT or FDT to this day. You’re probably right that popular explanations of UDT are lacking, but that doesn’t seem like an argument to popularize it under a different name...
Wei’s explanations were enough for me and others to devise multiple formalizations of UDT based on proof search, halting oracles, modal logic, and logical uncertainty. The first such result came out in 2010 and there have been many since then. A lot of that work happened on the decision-theory-workshop mailing list, on LW, at MIRI workshops, and later on agentfoundations. Here’s an example problem given by Gary Drescher in 2010, which is miles more advanced than anything discussed in the context of ADT or FDT to this day. You’re probably right that popular explanations of UDT are lacking, but that doesn’t seem like an argument to popularize it under a different name...
I did not intend my comment as such an argument and am in favor of giving credit to UDT.