It really doesn’t matter. and I’ve come back around (one of these mental oscillations…) to the conclusion brought to my attention on the NKS blog.
Here is the key statement:
Mathematics is a symbolic language — you can argue that none of its elements “exist” in physical reality, yet they can be used to communicate information about things which are real.
I found another statement to this effect in the classic “What is Mathematics?” by Courant & Robbins, revised by Stewart.
Through the ages mathematicians have considered their objects such as numbers, points, etc., as substantial things in themselves. Since these entities had always defied attempts at an adequate description, it slowly dawned on the mathematicians of the the nineteenth century that the question of the meaning of these objects as substantial things does not make sense within mathematics, if at all. The only relevant assertions concerning them do no refer to substantial reality; they state only the interrelations between mathematically “undefined objects” and the rules governing operations with them.” What points, lines, numbers “actually” are cannot and need not be discussed in mathematical science. What matters and what corresponds to “verifiable” fact is structure and relationship, that two points determine a line, that numbers combine according to certain rules to form other numbers, etc.
I often forget that the abstraction is not the thing. The metaphor is not the thing. The symbol is not the thing. Mathematics never makes assertions that it is the thing. It is an abstraction – a description of relationships devoid of many of specific objects’ and environments’ properties. This abstraction (and simplification) is required to make progress. If mathematicians were to create theory that was specific to every situation, object, and environment, the world would run out of shelf space for storing all the math books and we’d gain nothing over flat out recording keeping. In a sense, mathematical abstraction is a wonderfully useful compression of information. The application of mathematics to a specific situation is the decompression of the abstraction.
This abstraction is so useful because it lets us focus on key relations and make progress on understanding despite our lack of complete knowledge of specific objects, environments, and situations.
This abstraction is also dangerous and/or limiting. Not all situations in the universe are able to be described by a simplified mathematical theory. In fact, a surprising number of very simple phenomena (theoretical, biological, physical, financial, etc.) are not mathematically compressible. That is, a purely mathematical theory will not be sufficient for understanding in many situations.
What a relief!
Some mathematicians already experienced this relief from needing to describe the universe in some ultimate truth. That’s far too big for any discipline to bear.
Not all mathematicians and a majority of economists, business people, vcs, media, and lay people do not recognize this limitation of mathematical theory (heck, and many other theories!). In the US (perhaps elsewhere), business models (pro formas), stock indexes, indicators, projections, forecasts, formulas dominate our thinking on very complex phenomena. We’ve explored this issue many times on this blog.
Understanding the universe we experience requires a combination of theories. Math can sometimes point the way and get us going, keep us focused, or help us communicate.
Whether the real numbers exist doesn’t really matter. The real numbers are useful for moving us forward on some problems in the real world. Pi, as a compression of a really long number and challenging concept in geometric forms, is useful in helping us make wheels, explore space, and so much more. That is what makes math great, even if it isn’t objective, ultimate truth.