[totemizer]

math resides in the land of abtractions(fantasy land) and actual code has to run on actual physical machines in the real world. In the real world you can't just state an axiom and fix bugs as math people have solved all their problems in the past 150 years.

[majos]

What? If this is true then there are a whole lot of misguided mathematicians out there working on "solved" problems. If they could just add whatever axiom seemed useful math research would be meaningless.

If you're saying that math/theoretical computer science makes unrealistic assumptions, that's a different (and more reasonable) claim.

[totemizer]

That is not what I said. What I said is that math ultimately doesn't need to and doesn't want to deal with reality. The "proofs" they create do not even have to be consistent with each other, you can pick whatever you need...