My original post addressed Eliezer’s original specification of TDT’s sense of “logical dependency”, as quoted in the post.
I don’t think his two proposals for revising TDT are pinned down enough yet to be able to tell what the revised TDTs would decide in any particular scenario. Or at least, my own understanding of the proposals isn’t pinned down enough yet. :)
My original post addressed Eliezer’s original specification of TDT’s sense of “logical dependency”, as quoted in the post.
I don’t think his two proposals for revising TDT are pinned down enough yet to be able to tell what the revised TDTs would decide in any particular scenario. Or at least, my own understanding of the proposals isn’t pinned down enough yet. :)