"Isn't the whole point of math that you expect at some point to analyze the result of the symbol manipulation and 'read off' an interpretable meaning from the answer?'<p>Ah, and therein lies the rub. In math terminology, I think that that <i>itself</i> is an axiom, in the sense that you can choose it or not choose it, and it will strongly affect the rest of the system. If you accept the axiom, you end up going down the constructivist path. If you do not, you end up in "conventional mathematics" (i.e., what you get for a real math degree in college).<p>Personally, as a programmer I am also sympathetic to the constructivist viewpoint, but I am happy to settle for everyone involved understanding when they've left the physical universe (real numbers, axiom of choice, etc) and when they haven't. If some people want to screw around in the unreal universe, more power to them, doesn't have to bother me. And they often produce useful approximations for real-life use. As RiderOfGiraffes said, there are proofs that work on reals much better than any actual number, and I observe that in practice the resulting maths work out pretty well in the real world, even if they aren't actually physical.<p>(We have <i>way</i> larger problems dealing with floating point, monsters of our own creation, than we do in dealing with the fact that our equations of motion are defined based on real numbers that don't actually correspond to anything, where the inaccuracies are typically beyond our measuring ability and dominated by general inaccuracies of the input data which are far larger than the granularity of the universe.)<p>But I do think maintaining that distinction is definitely important. I further observe that while I can't speak for all of mathematics, the mathematicians are very careful to distinguish what takes the Axiom of Choice and what does not, just to draw one example. They are pretty good about showing their work.<p>I guess the takeaway is that you certainly aren't alone; many people agree that real numbers are ridiculous in the way you are sensing. But they can be a useful fiction.