The point is the relationship between the levels of the ladder of abstraction. Outside of mathematics and programming, long arguments at high levels go wrong without being checked against experience. If experience contradicts, so much the worse for the argument.
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).
The point is the relationship between the levels of the ladder of abstraction. Outside of mathematics and programming, long arguments at high levels go wrong without being checked against experience. If experience contradicts, so much the worse for the argument.
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).