I moved the big meta-level comment thread from "Yes Requires the Possibility of No" over to here, since it seemed mostly unrelated to that top-level post. This not being on frontpage also makes it easier for people to just directly discuss the moderation and meta-level norms.
Unsure of mathematics, but software development goes wrong in exactly the same way - designs and ideas too far removed from the silicon go wildly wrong and don't match at all what actually gets built. Eventually, the code wins and the arguments lose (or more often, the code fails and everybody loses).