That’s because it’s not strictly speaking a problem in GT/DT, it’s a problem (or meta-problem if you want to call it that) about GT/DT. It’s not “which decision should agent X make”, but “how can we prove that problems A and B are identical.”
Concerning the matter of rudeness, suppose you write a post and however many comments about a mathematical issue, only for someone who doesn’t even read what you write and says he has no idea what you’re talking about to conclude that you’re not talking about mathematics. I find that rude.
That’s because it’s not strictly speaking a problem in GT/DT, it’s a problem (or meta-problem if you want to call it that) about GT/DT. It’s not “which decision should agent X make”, but “how can we prove that problems A and B are identical.”
Concerning the matter of rudeness, suppose you write a post and however many comments about a mathematical issue, only for someone who doesn’t even read what you write and says he has no idea what you’re talking about to conclude that you’re not talking about mathematics. I find that rude.