# Is it ever unnecessary to mathematically formalize a concept?

From my understanding, mathematics sometimes gives rise to new physical/tangible laws and the converse is also true. In particular, physical phenomena give rise to new mathematics.

In all of the cases that I have seen, the mathematics is usually formalized. That is, definitions, lemmas, theorems and their proofs are developed in either of the two cases mentioned above.

Are there ever cases where formally defining physical phenomena in mathematical language is unnecessary?

For example, deep learning has recently been formalized. Is this formalism necessary for developing new techniques in the field? I can see how it would make sense if the formal theory was developed first.

New contributor
Alginpeter is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
• The history of the development of infinitesimal calculus is a good test case. Nov 25 at 21:36
• So far physicists are doing pretty well without a formal foundation for a lot of QFT. Nov 25 at 21:40
• This is up to opinion, but I do think that some important mathematical ideas can resist formalization, or at least are not yet mature enough to formalize. Instead they manifest as general principles which pop up in so many diverse contexts, that any attempt to formalize them greatly constrains their applications and can even limit their clarity. Frequently these are waiting for the proper general setting to state them in. This does not prevent experts from fruitfully discussing and applying them. Nov 25 at 21:46
• 2 days ago
• IMO, a better question would be, "Is it ever necessary to mathematically formalize a concept?" In applied settings, there is usually a concrete problem that needs to be solved. The principle should be, if mathematical formalization helps solve the real problem, then go for it. If it doesn't help, then fuhgeddaboudit. 2 days ago

Are there ever cases where formally defining physical phenomena in mathematical language is unnecessary?

It is never possible to define physical phenomena directly in mathematical language. Mathematics (and even sciences) can deal with real phenomena only through models.

To deal with a model mathematically, it must be a mathematical model, described in mathematical terms.

I think all mathematical models go back to real needs -- even if very indirectly, through many layers of abstraction and generalization.

So, at least in applications of mathematics, an important goal is to faithfully and efficiently model real phenomena of interest, so as to be able to make accurate enough predictions about the real phenomena.

The clarity and effectiveness of mathematical presentation are of course very important. Therefore, formalization can hardly ever hurt, unless it is taken to such an extent as to actually hamper readers' understanding. The power of formalization is to code very rich, deep, and complex mathematical content into very compact, unambiguously defined, and easy to grasp at once (after some practice) mathematical symbols and formulas.

It is usually helpful if a formal presentation is complemented by appropriate illustrations and imagery. In particular, if a new term is introduced, it helps to give it a descriptive name, easy to remember.

However, if the presentation is very informal and mainly consists of many images each with multiple possible interpretations, then it is easy for the uninitiated reader to quickly get lost (as happened with me many times).

To me, the presentation of deep learning theory linked in your post does not look mathematical -- see e.g. formulas (2.30) and (2.32) on p. 51 there.

The post asks: "Are there ever cases where formally defining physical phenomena in mathematical language is unnecessary?"

The obvious retort is: necessary for what?

• Mathematical rigor may require formal definitions -- but this may be the only goal where the formal definitions are necessary.

• A successful application need not require formal definitions.

• Motivating good mathematics need not require formal definitions.

• Even doing good mathematics need not require formal definitions.

First example. Consider the top-voted question in mathematical physics here on MathOverflow ("what is an integrable system?". The top-voted answer includes the telling phrase "I'm being notably vague here." So for doing research mathematics by the standards of MathOverflow, formalization is apparently not necessary.

Second example. Obviously there was a field of deep learning before the formalization that you describe. And obviously some people continue in the field without using that formalization, whatever it is. So it seems like a poor example for necessary formalization.

If ten years from now we say that almost all the good work in deep learning uses the formalization, then maybe we can say that it was necessary. More likely, we will say that a formalization was proposed, and some people used it, but most contributions to the field happened without it.

Third example. Would Newton's definitions, as in Ian Bruce's translation here, qualify as formal mathematical definitions?

• I: The quantity of matter is a measure of the same arising jointly from the density and magnitude.
• II: The quantity of motion is a measure of the same arising from the velocity and quantity of matter jointly.
• III: The innate force of matter is the resisting force, by which each individual body, however great it is in itself, persists in its state either of rest or of moving uniformly straight forwards.
• IV: The impressed force is the action exercised on the body, to changing the state either of rest or of motion uniform in direction.
• V: It is the centripetal force, by which bodies are drawn, impelled, or tend in some manner from all sides towards some point, as towards a centre.

I'd say that I, IV and V are or could be formal definitions in the usual sense (mass := density * volume, momentum := velocity * mass, centripetal force := force towards a fixed point), but that II and III are not. So whatever Newton was doing, formal definitions were probably not a requirement for it.