General question on UDT/TDT, now that they’ve come up again: I know Eliezer said that UDT fixes some of the problems with TDT; I know he’s also said that TDT also handles logical uncertainty whereas UDT doesn’t. I’m aware Eliezer has not published the details of TDT, but did he and Wei Dai ever synthesize these into something that extends both of them? Or try to, and fail? Or what?
General question on UDT/TDT, now that they’ve come up again: I know Eliezer said that UDT fixes some of the problems with TDT; I know he’s also said that TDT also handles logical uncertainty whereas UDT doesn’t. I’m aware Eliezer has not published the details of TDT, but did he and Wei Dai ever synthesize these into something that extends both of them? Or try to, and fail? Or what?