I believe that you’re right about the historicity, but for me at least, any explanations of UDT I came across a couple of years ago seemed too complicated for me to really grasp the implications for anthropics, and ADT (and the appendix of Brian’s article here) were the places where things first fell into place for my thinking. I still link to ADT these days as the best short explanation for reasoning about anthropics, though I think there may be better explanations of UDT now (suggestions?). Edit: I of course agree with giving credit to UDT being good practice.
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 believe that you’re right about the historicity, but for me at least, any explanations of UDT I came across a couple of years ago seemed too complicated for me to really grasp the implications for anthropics, and ADT (and the appendix of Brian’s article here) were the places where things first fell into place for my thinking. I still link to ADT these days as the best short explanation for reasoning about anthropics, though I think there may be better explanations of UDT now (suggestions?). Edit: I of course agree with giving credit to UDT being good practice.
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.