I think there’s an underlying failure to define what it is that’s logically conceivable. Those math problems have a formal definition of correctness. P-zombies do not—even if there is a compelling argument, we have no clue what the results mean, or how we’d verify them. Which leads to realizing that even if someone says “this is conceivable”, you have no reason to believe they’re conceiving the same thing you mean.
I think there’s an underlying failure to define what it is that’s logically conceivable. Those math problems have a formal definition of correctness. P-zombies do not—even if there is a compelling argument, we have no clue what the results mean, or how we’d verify them. Which leads to realizing that even if someone says “this is conceivable”, you have no reason to believe they’re conceiving the same thing you mean.