Physics without math appears impossible because we need numbers when we make measurements. Numbers are part of math. I do see see how we can do physics without math. Probably someone who knows no math can conceive a physical theory but physics goes beyond conception and requires measurements. Measurements are impossible without math. Can you offer a compelling argument about the possibility of measurements without any math? That would be really interesting.

There is also another alternative: Math progresses so much that humans are no longer necessary, they can described mathematically and saved on a chip along with their world.

    Dear Tommaso,

    You have picked out a very important point indeed, one that I had to gloss over due to lack of space. The real mystery is, in fact, why do we find ourselves in an environment that has so many self-similarities - both over space and over time?

    I don't think that mathematics is really necessary to extract them, but it is definitely useful, and I think that this is essentially the reason why we find mathematics useful, 'unreasonably useful' even.

    One may suspect - and I apologize in advance for the anthropic smell ;) - that these self-similarities are necessary somehow for the evolution of life, or for that life to be able to start recognizing any regularities at all, which is essential for evolution. See, if nature wasn't so reproducible and, in a sense, reliable, life would never adapt and could never evolve.

    Somewhere in the multiverse there is a Computationalist in Pragmatic's family tree...

    -- Sophia

    Dear Alan,

    I agree with you that humans have a natural propensity for visual image processing. In fact, the human eye-brain team is still vastly better at analyzing visual information than any computer. I think that the relevance of data vizualisation for human understanding and, ultimately, scientific modeling, is often underestimated. Alas, I see no reason why not this should eventually be possible to do by a computer.

    I am vary of the idea though that intuition is better than mathematical formalism. Human intuition did not develop to explain phenomena that we have no physical perception of. I will look at your essay and read it with interest.

    -- Sophia

    Numbers are an intermediary. They are handy, but you don't need them. You can determine for example whether the height of a quicksilver column is as high as the height of a sandpile without ever writing down the height of either. What you need to make predictions is not the number, you need to know what to do in reaction - you need a model system, but that system doesn't have to be numerical in any sense.

    Besides, the point isn't that we should do science entirely without math, but that math might not be sufficient, and that's no reason to give up on doing science all together. Ie, use numbers where useful, but what do you do when they're not useful? That's the point I addressed in my essay.

    Hi Sophia,

    I certainly agree with you that regularities and self-similarities are very useful, perhaps necessary, for the appearance and support of life, and for us to have some chances to make sense of this universe; and I certainly accept your apologies for the anthropic smell of the idea :-}

    But you can't imagine how cheap and frequent it is to obtain periodic and selfsimilar structures from randomly chosen algorithms that run on simple or random inputs - as your remote computationalist relative could confirm.

    When I first bumped into self-similarity (I bought Mandelbrot's 1977 book on Fractals in 1978) I thought these were cute but rather abstract and abstruse forms. In fact, it is easy to see that they are simply another form of periodicity. And, for example, out of 256 elementary cellular automata (with elementary initial conditions), over 20 develop self-similar patterns. Fractals are the A-B-C of the infant computational universe.

    Ciao

    Tommaso

    PS - I replied to your kind comments in my page.

    "Numbers are an intermediary. They are handy, but you don't need them. You can determine for example whether the height of a quicksilver column is as high as the height of a sandpile without ever writing down the height of either."

    What about determining the volume of a hypersphere? Is there anything to compare it to? I do not only disagree with what you say but I also argue that as long as we establish a comparison we have essentially established a number system: we can call the standard element "1" and start from there, out standard meter for example.

    ",,, but that math might not be sufficient,"

    I agree with that. Obviously math is a tool but not what reveals the truth, if truth exists anyway. Thanks.

    Hi Sophia,

    your "mathological" classification is really cute. Introducing the word "ALL" for those wishing a multiverse with 1e500 universes is very instructive. All in German means really all, i.e. everything including infinite in space and time.

    I read your essay from the first line to the last and liked it.

    Best

    Lutz

      How can a non-physicist take the perspective of a pragmatic physicist? Is it beyond grasp.

      I think this essay is the result of a lack of understanding of what physicists do.

        You downrated my essay because I'm not a physicist? This will give me something to think about...

        Hi Lutz (Susanne?),

        I am glad you liked it :) Do you think somebody really "wishes for" a multiverse? I have the impression it's more like they're trying to make the best out of it, even tough nobody really likes it. Best,

        -- Sophia

        5 days later

        Dear Sophia,

        Your narrative is beautiful. Words speak volumes that numbers cannot begin to represent. You don't need to be a physicist to think; indeed one cannot think without words. You are correct in pointing out that 'It is shortsighted to just dismiss philosophy.' We do not need to be reminded of Plato's perception that philosophy is the 'spectator of all time and all existence' (i.e. your 'O' for all possible observations). Thus philosophy can be viewed as a reasonable link between physics and mathematics.

        Mathematics is a number of things, none of which add up to a plausible description of anything. I appreciate that you are not led astray by the sheer weight of 'nothing'.

        Certainly some 'observations are described by math but are not math and not all observations can be described by math'. What is the mathematical description of the observation of love? The same question can be applied to all our immeasurable affections. Where was math when they were first experienced?

        How many math descriptions are required to adequately cover the multiple meanings of the word 'course'? Forgive the question, but to assume that there is any such mathematical equation is a non-sequitur, an illogical inference - of course!

        It is unfortunate that some refer to 'The laws of nature'. Laws, like mathematics, are inflexible. Nature is nothing if not flexible. Substituting the term 'principles' for 'laws' is more fitting insofar as principles accommodate ranges of flexibility.

        In speculating upon the possibility that 'the day will come when we can link human brains and language will become an unnecessary intermediary of communication', are we not overlooking the point that the brain's network of consciousness (aka the mind) relies upon language as the means by which to transmit, receive and thereby share 'useful' information.

        Thank you Sophia. Keep unloading your 'network of consciousness' upon the rest of us.

        Gary Hansen

          Dear Pragmatic Physicist -

          Thank you for such a delightful essay! Such a practical and commonsense approach, I admire it greatly - Hakuna Matata!. I was thinking you had given me a great new way of thinking about mathematics, physics and the world - one that really made sense. But then you asked whether M is in M, and I must admit I've been spinning my wheels ever since. It also made me wonder - I observe myself, so I am in O, but since O is that which I observe, O must be in me, and then I think this statement must be false. Oh dear, I just can't keep this all straight, and I just can't see how taking the math our\t of physics is going to help......

          Hoping you can enlighten me! With sincere regards - Musing Metaphysician (aka George Gantz)

          .

          I must beall that I observe, so I must be outside of O. isn't O in me or outside of O since I make observations in O, and one observation is that I observe myself making observations in O.

          n O are about mysel making statements so am I in O?

            APOLOGIES FOR THE TYPOS! Let me try again:

            Dear Pragmatic Physicist -

            Thank you for such a delightful essay! Such a practical and commonsense approach, I admire it greatly - Hakuna Matata!. I was thinking you had given me a great new way of thinking about mathematics, physics and the world - one that really made sense. But then you asked whether M is in M, and I must admit I've been spinning my wheels ever since. It also made me wonder - I observe myself, so I am in O, but since O is that which I observe, O must be in me, and then I think this statement must be false. Oh dear, I just can't keep this all straight, and I just can't see how taking the math out of physics is going to help......

            Hoping you can enlighten me! With sincere regards - Musing Metaphysician (aka George Gantz)

            Dear George,

            Thanks for your comment :) I am sorry for confusing you by adding such an admittedly involved question in the passing. I just didn't want to leave it out, but then there wasn't enough space to discuss it further. It's a well-known problem within any axiomatic mathematical theory (of sufficient complexity) that there are questions that cannot be answered. One such question is for example: Does the set of all sets that don't contain themselves contain itself? Well, if it doesn't contain itself, then it does, and if it does contain itself, then it doesn't contain itself. Headache now? The thing is that you run into these problems by creating meta-statements (about sets that contain sets) in a lower-level language. A similar, more popular phrasing is the Barber paradox:

            http://en.wikipedia.org/wiki/Barber_paradox

            So what I was saying is that the question whether M contains itself, while not in and by itself paradoxical, is also such a meta-question that one can't properly answer within set theory. But then the whole point of my essay was to say that mathematics might not be all there is anyway, and that using math to find out if there is something more than math can only be a first step anyway, so there is no need to get a headache over it :)

            -- Sophia

            Dear Gary,

            Thanks for the kind words. I think you express what many people's intuition tells then. I think one shouldn't dismiss such intuition, but as a scientist one also has to find a way to state it more precisely, which is what I have attempted. I am not at all sure, for example, that not all observations can be described by math, which you say you are certain of. Clearly, we cannot right now describe all observations by math, but is there a fundamental limit to what we can do? We might never find out. But the thing is, as I have pointed out in my essay, that we can pragmatically ignore this and still do science, with or without math, though certainly not without love :)

            -- Sophia

            Hi Sophia -

            It was a relief to find your delightful and intelligent essay back in January, when the contest was otherwise looking pretty bleak. It's still the best-written of the bunch. And I entirely agree with your viewpoint, nicely expressed in your comment above - "The relevant part is the model, not that you can formulate it in mathematical expressions." If we were thinking about evolutionary biology, it would be obvious there's a productive interplay between pretty mathematics and non-mathematical models that together have great explanatory power.

            You briefly identify what makes mathematics so valuable - that it's context-independent, therefore reproducible and precise. As Helbig's nice, short essay says, "Physics is well described by mathematics because both are simple enough for us to understand at the level of rules."

            Physics has succeeded brilliantly at finding those aspects of the physical world that can be modeled by rules, both simple and complex, precise and approximate. On the other hand, there are also basic, context-dependent aspects of the world - including every way of measuring or observing things - where the mathematical models have to be supplemented by Pragmatic protocols. To me this means, we need better tools for non-mathematical model-building, even in physics.

            The thought behind my essay is that even the many aspects of the physical world that are very well modeled by mathematics are profoundly different from each other - for example, the structure of quantum mechanics and general relativity have almost nothing in common. Or take the linear structure of the electromagnetic field, the nonlinearity of gravitational spacetime, and the non-metrical symmetries of the Standard Model. I suggest that we might find a way to understand these deep differences not by struggling to unify them mathematically, but by looking at what they all accomplish together, as a basis for a universe like ours. That is, we could try for a non-mathematical model of what the universe does and how it works, why it needs all these various kinds of rules.

            One comment you make has direct bearing on this - you note that what makes mathematics different from other languages and tools is that it's entirely self-referential. The point of my essay is that the physical world is also entirely self-referential, but in a very different way from mathematics, because it's all ultimately context-dependent. Each parameter in physics can only be meaningfully defined or measured in the context of other physical parameters. Pragmatically, we can take this semantic context-structure for granted whenever we do an experiment, or write a physical equation. That is, we can very reasonably treat "mass" or "distance" as if it had some definable meaning in itself, apart from other observables in the language of physics. But then, we're overlooking what might be the key functionality of our remarkable universe... what makes it able to support so many kinds of higher-level meaning.

            Very incidentally, I disagree with your last paragraph... but I won't go into that now. The rest is great, a lucid and splendidly amusing piece of writing.

            Thanks - Conrad

              Hi Conrad,

              I find myself agreeing on most of your comment. I will make sure to check out your essay :) It is a point that is often not appreciated that physics is ultimately about relations between physical things. (I'm not sure parameter is a word I would have chosen - it has a distinct meaning in many theories that I don't think you refer to, but I think I know what you mean.) In a sense, that is also what my essay aims at expressing.

              You are right about the context-dependence, in principle. In practice it is believed of course that much of the context doesn't matter. One can question whether this is indeed so. Especially when it comes to complex systems, it is far from clear that there is even *any* situation in which one can neglect the context. But it arguably works in many cases (spherical cows etc).

              The one point you raise that I don't quite agree on is that electromagnetism, the SM, and and gravity, have nothing in common. They have quite a lot in common actually. To begin with, and to state the obvious, they're all field theories. They are also all local theories. They are defined on differentiable manifolds. They all can be formulated as geometric theories. They all have a notion of parallel transport. It is exactly these similarities that makes so many people believe that there probably is some underlying unifying theory. (I have no strong opinion on this. I'll believe it when I see it ;) ). Quantum mechanics and general relativity have less in common because quantum mechanics is only an approximation. You shouldn't compare quantum mechanics to general relativity, but to the equation of motion for particles in general relativity (not a field theory any more).

              Finally, let me say, that I was happy to see that the quality of essays has considerably risen since January :)

              -- Sophia

              Dear Sophia,

              This was a very enjoyable read and I liked the rigor that you apply and the clarity that you show when outlining the mathological classification.

              I also think that the paper does a very good job when describing simulations and their (actual and potential) use. This made me consider the next question. Since models based on overall classification lack in the direction of a clear decomposition by parts, how large a risk is that a black box understanding of model similarities (eg analog gravity to turbulence) would lead to a ritualization of scientific endeavor in the long run? As a philosopher, I think this is a question you might enjoy analyzing.

              That being said, I'll add that I'd love to hear your opinion on my essay.

              Warm regards,

              Alma

                Dear Sophia,

                Thank you for the excellent essay. It was a pleasure to read the entire one, not only the abstract and conclusions. I love your detailed description of Pragmatic Physicist and the other Pragmatic persons and the honest confession referred to essays' reading. There is more than 100 essays in the contest so the decision what to read and comment is difficult and needs a selection procedure. I cannot imagine an ideal one that would make possible not to omit something precious and not to go crazy.

                I agree with your conclusions, however not with all your statements in the essay. The real Tegmark's MUH does not need any interpretation. It is extremely precise. His view is exactly "1b. All observations are math but only some of math appears as observation". He says we are simply uncovering this bit by bit. Then he knows and you also know that we need to "mod out the baggage".

                Mathematical description, in this sense, is the baggage, but geometry, in the meaning of shapes and dynamics, and not as a formal scientific language, is what we observe. Therefore that geometry shall be comprehensible for aliens, future supercomputers and children. Languages can differ. Moreover the geometry has the feature that can be described with a visual language as well as the formal scientific one with its differential manifolds, depending what is useful. That formal aspect is really helpful if we want to calculate or prepare an experiment. It is also indispensable if we want to show that in physics we can not only falsify theories but also prove them. To achieve that goal we have to find the theorem in physics. Where it is not useful, we do not have to.

                In your view "The difference between pure mathematics and physics (and some other parts of the natural sciences) is that a physical theory does not consist solely of mathematics, it also must contain a prescription to identify the mathematical structure with observation." We usually call this prescription a correspondence rule. I think this is the crucial issue to look for a paradigm shift. In my essay I propose one.

                You can find details in my essay.

                I would appreciate your comments. I willingly accept criticism as well as praise.

                Jacek