TDT is underspecified. Vladimir Nesov claims that you can set it up by hand to pay, but others are skeptical.
Yes, I believe that the consensus is that counterfactual mugging is considered a pretty good argument, if you had to choose between TDT and UDT. But it would be nicer if there were a formalization that indicated what class of problems they agree on and what (larger) class UDT is right. Without such a formalization (and maybe even with one), TDT provides a different perspective and one should not discard it. Also, it is possible that there is an example where TDT beats UDT.
TDT is underspecified. Vladimir Nesov claims that you can set it up by hand to pay, but others are skeptical.
Yes, I believe that the consensus is that counterfactual mugging is considered a pretty good argument, if you had to choose between TDT and UDT. But it would be nicer if there were a formalization that indicated what class of problems they agree on and what (larger) class UDT is right. Without such a formalization (and maybe even with one), TDT provides a different perspective and one should not discard it. Also, it is possible that there is an example where TDT beats UDT.