[EpiMath]

This book is not really addressing the more common "is math real" question of it being empirical or invented. For an interesting take on that question, see the 1st section of the 2nd part of Daniel Shanks' Solved and Unsolved Problems in Number Theory. He makes some interesting points about the old Pythagorean views

[wmal]

For me, both questions "is math real" and "is math discovered or invented" miss the point. Math is a model of the universe in the same sense that a world map is a model of the earth.

Is a map real? Well, it is. I can see it on my desk. Is the earth real? It is too, but they are not the same. In that sense map is also not "real".

Is the map discovered? Well, it uses data that was mostly discovered, but some parts were "invented" or edited for simplification for the map to be useful.

The real question should be "is math useful" as a model. We all know most basic parts are, but some mathematicians forget that they are dealing with an imperfect model and keep finding paradoxes. It's like we would forget the imperfections caused by the mercator projection and be surprised the real world distances are not proportional to map distances.

That's the reason I always liked engineering more than maths. When programming you always "import" the libraries you need and find useful for the task. You only make sure that they are compatible with each other. Mathematicians "import" all axioms, call them maths, and are surprised they get paradoxes.

[crazygringo]

You're taking a distinct philosophical stance, but you're also being unnecessarily dismissive by claiming other stances "miss the point".

Math is nothing like a map -- maps are approximations of something real and they don't have any kind of internal consistency or complexity.

But there's a good argument that math is the fundamental nature of the universe, and mathematical discoveries lead to predictions of real-world behavior. While maps don't predict a thing.

The philosophical discussion isn't around whether math is useful for tracing the arc of a ball in the air, for which it always will be merely a useful approximation. It's more around math as the language of the universe, in things like quantum physics -- there's no "approximation" here, it's more the nature of reality itself.

And here, the philosophical questions around whether our descriptions of quantum physics are "invented" or "discovered" go quite deep, and necessarily involve the nature of human knowledge itself. For many people, these don't "miss the point" at all -- they're some of the deepest, most profoundly meaningful questions that exist.

[readenough]

I think the question should go even deeper. There are so many fundamental axioms that must be accepted on faith alone. The question I usually start with is "Can anyone prove that numbers exist outside of our imagination?" I not talking simply about perception. Even I believe that if I perceive that I am hit with a brick then the brick exists. We have no senses that can detect numbers. When I asked this question to any of the several mathematicians that I know, the answer has always been ~ Yeah, good question ~ and then they move on.

[naasking]

> Math is a model of the universe in the same sense that a world map is a model of the earth.

Except math can hypothetically model any consistent universe, not just our universe, which kind of undercuts the argument that it uses data that was mostly discovered, or that it's merely a model.

I think the most general view is that math is the study of structure, and some structures are real (in the sense that they exist in our universe), and some are not but we can still "discover" them by selective permutation or enumeration of axioms.

[goodbyesf]

> Math is a model of the universe in the same sense that a world map is a model of the earth.

That describes pre-1900s math we inherited from the greeks. With advent of non-euclidean geometry and abstract math, math is no longer bound to objective 'reality'.

[dandare]

>Math is a model of the universe

And I would dare to disagree right here. Math contains many structures that we don't know from our universe and that probably do not exist in our universe. If math is a model of universe, why is there a Mandelbrot set?

[hhs]

> This book is not really addressing the more common "is math real" question of it being empirical or invented.

Please note, this is mentioned at the beginning of the review:

"I settled in to read the book “Is Math Real?” expecting to become embroiled in the age-old controversary of whether math is invented or math is discovered. Instead, I found myself confronted with two viewpoints of mathematics: one view is that mathematics is a stiff and fixed set of rules and algorithms while the other view is that mathematics is flexible and our understanding of math comes from questioning of why mathematics functions so effectively.

The premise of “Is Math Real?” is that people have different emotions about math. Some love the math and have little difficulty determining the correct answer to a problem while others loathe and dislike the math and have a difficult time ascertaining the correct response. Many times, a student is humbled or chastised for asking ‘a stupid question’. Author Cheng states that there are no stupid questions. In fact, the most profound concepts in mathematics are learned from asking the simplest of questions.”

[wheelerof4te]

Math is invented with a purpose to help humans understand the economy and the world around them. Economy, in turn, was also invented to help humans organize their resource use.

The more humans understood the world, the more they tried to apply math and other sciences (also invented by humans) in order to explain it.

It's not even a question. Two apples will always be two apples. It's just that, without math, it would be "an apple and another apple next to it".

[dr_dshiv]

Pythagorean ideas—- well, it has been some of the most enriching philosophy I’ve ever encountered. It’s a rabbit hole, for sure.

[eru]

It's interesting that mathematicians, when asked philosophically, might have all kinds of interesting and nuanced ideas about this topic. But when you let them get back to their mathematics, they behave as if they believed deep down in their heart that mathematics exists independently of the observer.

(It's a working attitude that works well in practice. Just like a heliocentric world view works well enough for most celestial navigation you can do without computers.)