Math Matters by Sabine Hossenfelder

* ironically (not ironical). Its a typo pls.

Dear Sabine,

Your essay, thoughts and conclusions are extremely important for finding a way to overcome the crisis of understanding in the philosophical basis of fundamental science. I have some questions and comments for discussion:

"Physics Isn't Math"

Yes, it's true. But mathematics is the "language of Nature." Physics without mathematics is dumb and blind. In no case should we oppose Nature (physics) and "the language of Nature" (Mathematics). Their ontological structure is identical.

"... but Platonism is a philosophical position, not a scientific one."

But Philosophy is the "mother of all sciences." The platonistic position of mathematicians intuitively connects mathematicians with the ontological roots of mathematics. Physicists must also "dig" to these single roots in order to "grasp" "matter" into the network.

"We still wouldn't know whether one day we'd find a theory more fundamental than the Standard Model, in which case the pendulum could swing back from unpredictable to predictable."

A more fundamental model can only be built on the basis of breakthrough ontological ideas. Therefore, Carlo Rovelli is right: Physics Needs Philosophy / Philosophy Needs Physics Carlo Rovelli among the list of questions posed the question "What is space." I believe that it is appropriate to recall the philosophical covenant of Paul Florensky: "We repeat: worldunderstanding is spaceunderstanding."

"Equations aren't everything, but as long as we rely on them to understand nature, math matters."

With the help of "equations" Nature cannot be understood. To understand is to "grasp the structure" (G. Gutner, "Ontology of Mathematical Discourse"). Any "formula" is "clippings" from the existence of the Universum as an holistic generating process. The holistic paradigm should come to the aid of the paradigm of the part dominating in fundamental science. Then the support in achieving an understanding of Nature and its language to the full extent will be included not in "equations" and "numbers", but in absolute (unconditional) forms of existence of matter (absolute, ultimate states). Physics and the modern information revolution are pushing this. Unfortunately, ontology has also been experiencing a crisis for a long time, therefore, new "crazy" ontological and dialectical ideas are needed.

You are doing a very big job in modern fundamental science. I wish you success!

With kind regards,

Vladimir Rogozhin

Dear Prof. Hossenfelder,

Your essay is sharply written which makes it pleasure to read. I would like to focus on the 'uncomputability' aspect since my essay has this word in the title. In connection to it, you say among others that in science we really don't deal with real numbers which of course is true. But the problem is that real numbers are indispensable for theory, QM breaks up without them, QM based only on rationals is impossible. One can brush this away as an artifical issue which would be unscientific, or treat it as a signal that something deeper might be lurking there. Thinking probably along these lines Tegmark proposed radical thesis that physics is just a mathematical structure but this is seen more as belief since there are no constructive arguments for supporting it. In my essay I am sketching a constructive way via uncomputability in the form of uncomputable sequences which are giving rise to the emergence of mathematical structures due to the action of permutation groups. The groups are enormous, uncountably and countably infinite ones which provides headroom for extremely complex structures and physics could be one among them.

Best regards,

Irek Defée

Dear Sabine,

Thank you for writing this enjoyable essay.

I agree with you that physics isn't math. This implies many things. One is that all uses of infinities in physics are mathematical constructs. This applies to so many domains in physics: the definition of pure states in quantum mechanics, these exercises where we are given two infinite plates and have to compute the electric field among them, particles coming from infinity to compute the scattering matrix, the very definition of a ground state as occuring at zero temperature (1/T --> infinity), phase transitions occuring at the thermodynamic limit in statistical mechanics... And the entire link between physical problems and computational complexity problems. This includes the "physical" problems which have recently been proven undecidable, like the spectral gap and others. (In particular, (the model of) a physical problem can be undecidable only if the number of instances is infinte.) But it also applies to essentially all computational complexity statements that are made of (models of) physical problems.

Namely, what is value of proving that the ground state energy problem of the Ising model is NP-complete? This result shows that finding an algorithm that solves this problem *in infinitely many cases* is among the hardest problem for a non-deterministic polynomial time machine. From a physical point of view, this is rather irrelevant, because there are no infinite number of cases. Yet, this also shows that finding an efficient algorithm to solve this problem is equivalent to solving one of the biggest open questions of our time, namely P=NP. So this is, first, a warning of the difficulty of the enterprise ahead - if one were to attempt to solve this. And second, it says something about the many facets of the conjecture P=/=NP. But I don't think it says something very deep about the ground state problem itself, only about the model (with infinitely many cases) of this problem.

Sorry for the long text. I just wanted to ask whether you share this point of view.

Thanks again for the essay, and best regards,

Gemma

Hi Sabine,

Very nice reading experience. I had a niggling issue that followed me throughout:

The essay seemed to present a view of science as essentially a black box; we don't know why it works, but it often keeps giving us numbers that match our experiments.

But a philosopher might wonder why it is that "maths works" and why reality can be so well described by it. Why do our "observations of natural phenomena" fit? You don't give any clues to this and on the whole it reads as quite a stark instrumentalism. Obviously, one of the reasons behind treating physics as math in some sense is precisely this (unreasonable) effectiveness: there seems to be be a structural mapping, so facts about one apply to the other. The fit seems to give us a *reason* that "this math is fundamentally the correct description of nature".

Moreover, when you write "mathematical theorems are not of much use for the messy science of real-world systems", this ignores the fact that much (if not most) of the science we have of real-world systems, originated in some mathematical theorems - e.g. the steps from differential geometry to GPS or analytical mechanics to holonomic robotics. So, even if only to discredit it, I think you have to say something about the business of why math works when considering the kinds of issue you discuss in order to show that such things as mathematical theorems are relevant or not.

Best

Dean

Sabine,

Turing had different ideas on Undecidability, in particularly in his computer search for counterexample for Riemann problem ,he used generalized definition where Undecidability is merely a part of some UUU - computational construction.

My essay attempts to reconstruct such sort of approach,also. May be it could be interesting for further development of your provocative idea.

Respectfully

Michael Popov

I very much enjoyed your essay (as indeed I enjoy all of your writing!). Godel's incompleteness theorem and other similar results do tend to get brought up in many contexts in physics, often in fairly dubious ways, and so what you have done here by taking a step back and examining the actual practical consequences of these results for physics is extremely useful, thank you!

I did have one minor question - at one point you suggest that '(if the renormalisation flow ran into a singular point) reductionism would be demonstrably false, and other scientific disciplines would count as equally fundamental as physics.' Is it your intention here to suggest that physics is inextricably tied to reductionism, and that non-reductionist approaches (e.g. top-down causation) wouldn't count as physics at all? Or is this just a reference to the fact that our current best physical theories are reductionist in character?

"And really all of science is just a sloppy version of physics."

That was my favorite line. You remain one of the best contrarians in the business. Excellent essay.

I'm purely speculating here, but I would bet that Sabine is simply referencing the fact that our current best physical theories are reductionist. I think if she were presented with a sufficiently well-supported downwardly causal theory, she would probably accept it. But that's just my gut feeling...

I'm often torn on this. I do think that this "unreasonable effectiveness" of mathematics in the sciences is something that is worthy of an explanation. And as someone whose PhD is in pure mathematics, I am inclined to be sympathetic to mathematical explanations. That said, the fact that I also possess a degree in engineering tells me that there's an awful lot that we can do without questioning why it works.

A fine essay appreciating the practical importance of what might seem purely theoretical limits on scientific inquiry. Gödel reportedly never understood why his theories did not transform the practice of mathematics and logic the way that relativity transformed physics, but perhaps that change is now beginning. Indeed, I think you understate the limits of predictability, focusing on the Lorenz problem of insufficient resolution of initial conditions. In my article, I analyze unpredictability arising from counter-predictive processes and find in them a basis for a limited amount of free will.

The canonical counter-predictive process is from Turing's paper on the halting problem: a program that reads and executes a purportedly perfect predictor of its output, notes the output, and outputs something different. The violation is purely of prediction, quite consistent with the physical world being deterministic, just as there is no problem for determinism when you write 1 = 0, either in the physical act or your neuronal configurations as you write. The process is like a device that displays a green light when you push the red button and a red light when you push the green button. This special sort of unpredictability remains consistent with forward determinism, and I think also with the theory of superdeterminism you've written about.

The history of analysis of counter-predictive devices and the consistency of physical determinism with inability to accurately predict human actions when the prediction is revealed are dealt with in Jen Ismael's article for The Monist, which I cite. My work extends the phenomenon of unpredictability to revealed predictions and a range of human activities such as defiance of commands, laws, claims of fact, and ultimately to the interaction between the conscious and unconscious mind. For example, if there is algorithm and sufficient data to predict whether you will lift your finger, you can run the algorithm yourself, read its prediction, and do the opposite. If you don't do the work, your actions may be deterministic and predictable, but if you do the work then the self-referential thinking about your thoughts creates the possibility of defiance of the prediction. Your choices arise out of your own nature, yet are neither random nor predictable, though they may still appear deterministic from an "outside" perspective--a degree of free choice to the extent self-referential.

I did read your clever article about the free will function and understand that you think scientific determinism eliminates the possibility of anything resembling what we would want free will to be. I didn't cite it because your free will function, while unpredictable, had no "human" motivation and no resemblance to the common human subjective experience of making choices. Also, you had to resort to hiding your transcendental number (akin to a Turing oracle) from the human subject to make it work, which I think is not a legitimate assumption in this context.

That said, I'd very much like to know if and why you think my argument for a somewhat free will are flawed.

Steve Brock

An excellent addition to the field Dr. Hossenfelder...

I like that you balanced the disproof of relevance and showing the importance of some limitations. But for the record; the Halting Problem is a practical not just a mathematical problem that was well known to indigenous people long before Church or Turing came on the scene. See the book by my friend Evan Pritchard "No Word for Time" for details. It was long a part of Algonquin culture that things take as long as they take. They knew that as one adds steps and complexity to any process it becomes more and more unpredictable. That is the reason why they reject our sense of clock time as "White man's craziness," and why their language has no word for time as we normally think of it.

My research calls into question some of the statement early in your essay, and the subject of your book. All those things are true of Maths invented to describe Physics, that are in fact only models of nature, and miss important details. But I've been saddled for more than 30 years with a problem like that of Haldane, coming into a remarkable insight almost by accident, or while looking for something else, and over time coming to grips with the fact that it has broad applicability and deep significance. So if you want a peek at what the hyper-Platonist view looks like; have a look at my essay.

All the Best,

Jonathan

Dear Sabine,

Your essay is almost a flip side in foundational beliefs about the 3uns compared to that of Paul Davies here. You consider the limitations of computability to not be so physically material, so to speak. And yet you realize that of course the issues matter to what we can actually predict about things, whether it's worth trying etc.

I wonder why you state that "quantum mechanics is unpredictable by assumption, not by theorem." My understanding of the basis of our knowing it is that way, is empirically based: "identically prepared systems" give probabilistic results which cannot be narrowed down more and more by perfecting the similarity of the systems or entities in question. Hence, apparently-identical muons decay at different times, apparently identical patterns of light intensity result in different specific patterns of hits - even though the numbers of them tend to certain statistical averages.

Also: readers might want to take at look at my own essay, addressing the issue of the strong correlations of entanglement and how neo-mechanistic models of quantum physics aren't enough to explain them. (https://fqxi.org/community/forum/topic/3548)

Nice stimulating essay Dr. Hossenfelder [

in running out of time I'll be brief.

maths is part of the problem, not the solution, It is simply another language albeit precise, much better in the hands of engineers than physicists or philosophers' good for analysis dangerous for synthesis. If you can't explain you thoughts to your mother you don't understand what your talking about. It enables people to shield their lacking true understanding. Qm is theistic nonsense hiding behind mathematical facade, engineers have to be insured against erroneous design, QM's are rewarded for convoluted drivel. There are more supercomputers grinding away Maxwellian EM simulators than QM voodooism after all the wonders of modern technologies are Maxwellian. The transistor was discovered by accident, not by QM. I'll give you are ten if I make it?

more expansion less curt next year.

good luck

Barry

Your essay is the only one I could not stop reading until the end. Flip the concepts on both sides along with our brains like pancakes. Your articles and videos are great. You are lucky ... and we are lucky to have you. Might ask for your help one day.

Thanks,

MM