Essay Abstract

This essay argues that the mathematics being created by the research mathematics community is not responsive to the needs of the physical science community; that undecidability, uncomputability, and unpredictability are evidence of this gap. The essay goes on to suggest four research initiatives that could led to the creation of mathematics that was responsive to the needs of the physical sciences.

Author Bio

Dr. Guthery received his graduate degree in probability and statistics from Michigan State University in 1969. After working as applied mathematician for Bell Laboratories, Schlumberger, and Microsoft, he founded Docent Press which publishes books in the history of mathematics, computation, and technology.

Download Essay PDF File

Dear Sir,

I thoroughly enjoyed your basic research.

You have addressed one of the fundamental flaws of modern physics. Four years ago, I had written a paper here pleading on the same lines. My this year's essay is also on similar lines. Both our views have much commonality, though explained differently.

Language is the unambiguous transposition of one's/a system's thoughts/command on another person's/system's mind/CPU. Mathematics does that with numbers. Hence mathematics is a language of Nature. But it only depicts quantitative aspect of Nature - scaling up or down the numbers with consequential changes in other aspects. It does not cover all aspects, though. Hence what is true for mathematics may or may not be true for physics or biology. For example, if by paying $3000 we can get a bike, by paying $1000 we can get 1/3 of a bike. This statement is mathematically correct. But physically it does not make any sense. There is no equation for the observer, but it has an important role in physics. Thus, physics beyond mathematics cannot be denied. Extending the limited scope of mathematics (scalar numbers) to (vector) physics or biology, makes us fall in the trap of reductionism. As you say: "mathematics (developed by physicists) that was subsequently abstracted and generalized by the mathematics community" or vice versa.

You have hit the target precisely when you point to the modern practice: "to adapt theories to available mathematical constructs and abstractions however flawed or inappropriate they may be". I can add the process of renormalization and brute-force approach to your list. However, I beg to partially differ from your view on infinities. You can refer to my essay here for details.

Your views on irrational numbers matches my paper, where I had brought out the historical perspective. Similarly, your views on "Algorithms in Addition to Functions" complements my view.

Regards,

basudeba

Scott,

your suggestion that mathematicians ought to make mathematics useful to physicists reminds me of the wondrous regularity making meteorites always land in craters...

I'm not convinced that e.g.

some clever (say) Egyptian one day sat down and invented numbers leaving it to following generations to make some use of them.

or

Newton invented his fluxions and only then noticed that they are useful means to describe the motion of bodies.

Heinz (believer in the fact that meteorites make craters)

    Heinz ...

    Thanks much for your comments.

    Newton makes my point. He was surely as much a scientist as he was a mathematician. He developed the mathematics he needed to describe his scientific theory; that is, he adapted mathematics to his science not his science to existing mathematics. If he had confined himself to only using the mathematics papers on the shelf at the time who knows where we'd be now. The same is true for Leibnitz.

    As far as the clever Egyptian goes, counting is pretty fundamental whether you're a mathematician, a scientist, or just keeping track of your livestock. Once again, the mathematics was developed in response to a scientific need; viz. counting things. Your Egyptian didn't invent numbers and then go around seeing if anybody could make use of them.

    Cheers, Scott

    The curse of backward-compatibility.

    I'm sure some people are trying to do precisely what you endorse; I certainly did (noting that all of mathematical physics is currently being converted to computer code, so why not model the phenomenon directly as code, including the symmetry group of the problem etc.). The problem is that current physical phenomena are way more complex than Newtonian dynamics, yet we are not correspondingly smarter than Newton. I, for example, had to make a choice: be a mathematician, and develop a novel code-physics, or use whatever is available `on the shelf' and model physical phenomena. When trying to be both, progress was very slow. So slow that today I believe that that most significant time scale in physics is not the planck scale, nor the inverse Hubble constant; it is the lifespan of a human being!

    Thank you for a very enjoyable essay.

    Yehonatan

    Dear Scott,

    when I read the following sentence in your essay, I interrupted my reading:

    "We need to create mathematics that serves the needs of today's physics and is free of those shortcomings."

    The reason is that elementary math was enough for me to lead to predictable formulas, which you can see on the last page of my essay.

    Regards Branko

    Dear Prof Scott Guthery,

    Wonderful essay please.

    You are exactly correct, mathematics can not describe nature fully. There are so many constraints. Math may explain some concepts well, does not mean what ever the math said correctly in some situations is always correct for all situations.

    The theme your essay is essentially the same as my essay. Hope you will have a look at ....

    " A properly deciding, Computing and Predicting new theory's Philosophy"

    Best Regards

    =snp

      Physics is based on data, i.e. on measurements. Without data we only have empty speculation.

      Mathematicians do not like measurements, because measured data are never exact.

      This is the short version of why there is a cultural gap between physics and mathematics.

      Dear Scott Guthery,

      I really enjoined your paper and I fully agree with the contents. However, I have an addition.

      In physics we can only measure differences between observable/detectable phenomena. Actually, every measurement can only show the mutual relations between the distinct phenomena. Unfortunately, mutual relations create uncertainty, even if the distinct phenomena are compositions of simple building blocks (e.g. the relation between an even and an odd number).

      But the universe is constantly creating the transformation of the observable phenomena. That means that there is an underlying creating structure we never can observe. What kind of underlying structure - for example the structure of the basic quantum fields (QFT) - is subject of discussion between physicists. But to describe a non-observable reality we need a precise "basis" language. Besides that, it should be really strange if the creating underlying reality is not responsible for the foundations of mathematics. That's why I suppose that the foundations of mathematics will become more and more a subject of interest for philosophers and physicists.

      With kind regards, Sydney

      Dear Gupta ,

      I think you should read his essay again, he is not saying what you think he is saying.

      Dear Scott Guthery,

      You criticized that the three impossibilities of the topic don't address "the needs of the" community of physicists. Yes,"a torrent of new definitions and theorems about old definitions" is certainly unnecessary.

      However, what about your suggestions to use numerical mathematics in terms of rational numbers and algorithms with sharp corners instead of e.g. Bourbaki style infinite differentiability, isn't this already successful common practice?

      When I am suggesting some "calculate as if - but"s, this might be even more unwelcome in the sense I intend to make aware of possible mistakes that hinder physics. You might correct me. I am not a mathematician.

      Best,

      Eckard Blumschein

        Hello Dr Guthery

        I enjoyed your relevant essay , I agree with what you tell us about the mathematics and their importance for better physics. All seems a question of interpretations it seems to me and a kind of wisdom about this tool. I wish you all the best in this Contest, your essay merits to be very very well ranked , best regards

        Dear Scott B Guthery,

        A wonderful essay, thanks. I enjoyed your first section on motivation, but I really enjoyed your 2.1 "the Role of Mathematical Proofs" as 'baked in tautologies'. I had never seen such a clear statement of this reality! And that this, in and of itself, can make no contribution to our understanding of the world around us.

        You say this beautifully again:

        "...no amount of computation will lead you to the discovery of a pattern in the physical world that wasn't in the data in the first place."

        and

        "...the output of a computational algorithm is by design and intent a re-expression of the input."

        Your statement s of irrelevance of each of the 'un's are concise and clear [and agree with my essay.]

        You have clearly put much effort into understanding the issues. And you express this beautifully.

        I hope you find my essay as fascinating as I find yours: Deciding on the nature of time and space

        Best regards and good luck!

        Edwin Eugene Klingman

        You say "We need to create mathematics that serves the needs of today's physics..."

        Agree and would suggest there are mathematics currently used the do this. The difficulty is that there are many more math concepts that introduce usefulness, even flawed, physical conclusions. "Flawed" in the sense that experiment rejected the conclusion. However, the flaw may be in the physics postulates rather than the math. So, the physics community may outline the acceptable math assumptions and operations. This is my paper -"...determine the characteristics of the mathematics that is needed to support an emerging theory..."

        Use of other math than physically useful does create knowledge which will be rejected by observation. You list examples. The major problem is that time and resources are wasted in discussing such models.

        I disagree with your suggestion that only rational numbers (which are a count of standard units) should be used. I suggest Cardinal numbers. Irrational numbers can be used to a number of significant digits greater than the measurement uncertainty. Many irrational numbers result from converting geometrical relations to algebraic notation such as pi which is part of physics.

        I like your approach to algorithms and enumeration.

        Scott. Interesting essay. I may have "discovered" a solution to the problem. In my essay"Clarification of Physics...." I describe a Successful Self Creation process that creates its own mathematics as it progresses from chaos to the creation of the universe and its contents. The "created mathematics" fit the self creation methods. Thereby, creating a mathematics that can be used to describe the resulting universe, its contents and their measurements. I would appreciate comments based on your perspective on my essay. John Crowell

        7 days later

        Dear Scott

        Thanks for your essay which I found it very illuminating. You are definitely right that pure math is completely disconnected from sciences; and it is hard to find a connection. As far as I know, there is a field of math, called applied mathematics whose aim is to see how math can be applied to other sciences. Although, as you say, it would be a waste of time, trying to find the math required to describe a phenomenon.

        Mathematics can be seen as a language but language goes beyond a set of symbols and grammatical rules. Perhaps, you may find my essay interesting, since I also discuss how physicists have been lost in mathematical structures with a poor physical insight. The right math can not only be the right language but the right understanding of a phenomenon.

        Good luck in the contest!

        Regards

        Israel Perez

        Dear all,

        Isn't the complex Fourier transformation an example of how mathematics was unfortunately adapted to the fatalistic block universe instead to reasonable physics with a natural, not an arbitrarily chosen point t=0 of reference between past and future?

        Correct science is causal. If we adapt mathematics to correct science, then this avoids non-causality in physics and also the mathematical obstacles that hinders restriction of measured data to R.

        Even in case you rated my essay already low, I urgently ask to check my reasoning. The mistakes I refer to are located between mathematics and fzndamentals of physics.

        Eckard Blumschein

        Dear Scott,

        I agree with you that math is a language and should supplement physics but not vice versa. I think that math can be made more physical.

        I wish you good luck

        Boris

        6 days later

        Greetings Scott Guthery

        ADAPT MATHEMATICS TO SCIENCE,NOT SCIENCE TO MATHEMATICS

        From your last paragraph:

        "...the disconnect between the current output of the research mathematics community and the needs of the physical science community."

        I must submit that math can and does obstruct -

        especially when that math describes things not observed in real life that becomes the basis of physics - as in de Sitter's expanding space - Friedman's creation of the world from nothing - and LemaƮtre notation - "If the world has begun with a single quantum..." these all obscure applicable common 3D physics hiding the physics of the Big Bang.

        It is proposed that any evidence describing the Big Bang is beyond science's reach and yet this essay of mine entered January 18th"Common 3D Physics Depicts Universe Emerging From Chaos" presents a plausible explanation with plenty of current replicable evidence describing 'Reality.' Check it out.

        Regards

        Charles Sven

        10 days later

        Dear Scott Guthery.

        Is counting the only fundamental of mathematics? Well, Cantor/Hilbertian mathematics is finitistic, I say it is pragmatic but not without carefully hidden problems.

        A main obstacle for physics is the pretended freedom alias the need to choose a reference point. Why do physicists claim that R is effectively forbidden putatively "for mathematical reason"?

        It is obviously taboo to attribute the point between past and future to the zero of a time scale which is absolutely identical with the ordinary one. Why?

        Curious,

        Eckard