Applying mathematical facts isn't math, it's calculation at best.

That's what most programmers already do. They throw things together in the hope they work without proof they got all edge cases covered.

And it works pretty good, because often the edge cases aren't that bad.