On the other hand, other people knowing that you’re a TDT agent is the reason TDT agents are able to cooperate. TDT on a large scale kind of depends on other people suspecting it.
Please note that Alicorn’s point is correct. If you are using this as a thought experiment, take “no one will ever suspect the doctor is a TDT agent” as an axiom. If you are looking at it to analyze decision theory, you do have to consider other factors.
Is there anything formalized, or even informalized, showing the boundaries of the circumstances wherein TDT agents should reveal their TDTness, and the subset of those where they should reveal their source code? I’m not aware of any; only of regions within that space where we’re pretty sure they should be open about it.
On the other hand, other people knowing that you’re a TDT agent is the reason TDT agents are able to cooperate. TDT on a large scale kind of depends on other people suspecting it.
Please note that Alicorn’s point is correct. If you are using this as a thought experiment, take “no one will ever suspect the doctor is a TDT agent” as an axiom. If you are looking at it to analyze decision theory, you do have to consider other factors.Is there anything formalized, or even informalized, showing the boundaries of the circumstances wherein TDT agents should reveal their TDTness, and the subset of those where they should reveal their source code? I’m not aware of any; only of regions within that space where we’re pretty sure they should be open about it.