Does Mathematics Exist?

Surprised to find an article dealing with the philosophy of mathematics on an Engineering forum. This topic is one of my favorite reading pastimes , though I hardly grasp what I read. A comprehensive list of the theories on the <a href="https://en.wikipedia.org/wiki/Ontology" target="_blank" rel="nofollow noopener noreferrer">Ontology</a> status of Mathematics has been given on Stanford Encyclopedia of Philosophy - an excellent source for philosophy related stuff.
<a href="https://plato.stanford.edu/entries/philosophy-mathematics/" target="_blank" rel="nofollow noopener noreferrer">Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)</a>

It is interesting to note that professional mathematicians (not just engineers) hardly concern themselves with these questions. They are mostly engaged in pursuit of finding elegant proofs.Those that do interest themselves in these matters are philosophers of mathematics (OP rightly pointed out to <a href="https://en.wikipedia.org/wiki/Bertrand_Russell" target="_blank" rel="nofollow noopener noreferrer">Bertrand Russell</a> and <a href="https://en.wikipedia.org/wiki/A._N._Whitehead" target="_blank" rel="nofollow noopener noreferrer">A. N. Whitehead</a> as prime examples. Though in modern age <a href="https://en.wikipedia.org/wiki/Hilary_Putnam" target="_blank" rel="nofollow noopener noreferrer">Hilary Putnam</a> and his mentor <a href="https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine" target="_blank" rel="nofollow noopener noreferrer">Willard Van Orman Quine</a> are considered influential).

So let's get down to the discussion :-

The difference between everyday objects and mathematical objects is that they are abstract in nature. We never really doubt the existence of a table, a chair , the mountains , the stars and - thanks to science - electrons and quarks or for that matter EM fields. All these entities are present in our physical universe.

But there is more to the world than these concrete entities. We as thinking animals definitely feel that there is something common between a pair of shoes, a pair of stars , a pair of electrons , a pair of hands, etc. We are apt to call this common entity as the number '2'. By observing many collections of 3 objects we start to understand the number '3'. Similarly we are able to extract other numbers conceptually by observing other collections of various objects. And it doesn't end here. We all are aware of a circle as the locus of a point equidistant from another. But how many of us have actually come across an ideal circle in real life (I challenge the reader to find me a perfect circle in this physical universe). What happens is we observe approximately circular shapes in real life and after observing sufficient number of these we get some inkling of a common property which these objects more or less possess , namely circularity.
Similar is the case with the concept of straight lines , triangles and so on.

So the debate among philosophers is not about the existence of these mathematical objects. I.e no one really doubts the existence of these mathematical objects. But rather how is this 'existence' different from the 'existence' of the common concrete objects. The common concrete objects such as stars , tables etc have space-time co-ordinates. But what about the number '1729'. Where and when is it located ? Does it make sense to ask such a question ?

Some philosophers say that these mathematical objects are located in a world which is different than ours in the sense that it is timeless and is spaceless. Such philosophers are called <a href="https://plato.stanford.edu/entries/philosophy-mathematics/#Pla" target="_blank" rel="nofollow noopener noreferrer">Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)</a>. But this school of thought has to tackle the question as to how objects in our crude physical world have these properties which mirror this Platonic world. What exactly is the connection between the two. (Note - The ancient philosopher Plato also included more complex but abstract ideas such as beauty , justice , good , love in this world)

Then there are other philosophers known as <a href="https://plato.stanford.edu/entries/philosophy-mathematics/#Int" target="_blank" rel="nofollow noopener noreferrer">Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)</a> who more or less argue that these mathematical objects are merely mental constructions of intelligent beings such as us. These people are faced with the question as to what the status of mathematics would be if the universe were lifeless. Opponents are bound to argue -'It just ain't in the mind'

There is also another school known as <a href="https://plato.stanford.edu/entries/philosophy-mathematics/#Log" target="_blank" rel="nofollow noopener noreferrer">Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)</a> which believes mathematics can be reduced to simpler <a href="https://en.wikipedia.org/wiki/Rule_of_inference" target="_blank" rel="nofollow noopener noreferrer">Rule Of Inference</a>. But then these people have to answer the question as to the existential status of logical truths instead of mathematical ones. The problem merely shifts to another domain , albeit one whose rules are more obvious than that of mathematics. 😉 . There is the famous case of Bertrand Russell trying to prove that <a href="https://en.wikipedia.org/wiki/Principia_Mathematica#Quotations" target="_blank" rel="nofollow noopener noreferrer">Principia Mathematica Quotations</a> from rules of logic alone. It took him nearly 380 pages to do so , only to realize later that there were problems in it. The most obvious things are often the hardest to prove.

There are many more schools of thought in this field. Interested readers can find them in the Stanford link I gave in the beginning. The nature of the subject is such that it lies outside the scope of scientific verification.
And it will mostly never be settled by the human race (like most other philosophical puzzles).

P.S - I have made good use of linking feature of the forum. The blue-colored phrases will take you to web pages which will give detailed info on the phrases. Interested engineers can visit in free time.
Happy reading. 😴
Sorry for long post, simply couldn't resist writing in details as it is favorite topic of mine.