Dear Dr. Stoica,

You wrote: "Some may hope that there are things in the universe which can't be described by mathematics. But can you name those things?" Thank you ever so much for asking. Please read and try to understand my definitive answer:

Accurate writing has enabled me to perfect a valid description of untangled unified reality: Proof exists that every real astronomer looking through a real telescope has failed to notice that each of the real galaxies he has observed is unique as to its structure and its perceived distance from all other real galaxies. Each real star is unique as to its structure and its perceived distance apart from all other real stars. Every real scientist who has peered at real snowflakes through a real microscope has concluded that each real snowflake is unique as to its structure. Real structure is unique, once. Unique, once does not consist of abstract amounts of abstract quanta. Based on one's normal observation, one must conclude that all of the stars, all of the planets, all of the asteroids, all of the comets, all of the meteors, all of the specks of astral dust and all real objects have only one real thing in common. Each real object has a real material surface that seems to be attached to a material sub-surface. All surfaces, no matter the apparent degree of separation, must travel at the same constant speed. No matter in which direction one looks, one will only ever see a plethora of real surfaces and those surfaces must all be traveling at the same constant speed or else it would be physically impossible for one to observe them instantly and simultaneously. Real surfaces are easy to spot because they are well lighted. Real light does not travel far from its source as can be confirmed by looking at the real stars, or a real lightning bolt. Reflected light needs to adhere to a surface in order for it to be observed, which means that real light cannot have a surface of its own. Real light must be the only stationary substance in the real Universe. The stars remain in place due to astral radiation. The planets orbit because of atmospheric accumulation. There is no space.

Warm regards,

Joe Fisher

Dear Mr. Fisher,

Thank you for reposting your missing comment, I am happy that you have it.

Best regards,

Cristi

Dear Cristi,

now I had the chance to read your essay. Very interesting. In many parts, we both agreed (or as Pauli expressed it in a letter to Heisenberg: "boring agreement" ;-)

But at one point I went farther than: in my opinion at the center of modern math is structure (as you explained in one section). Math is not a simple theory to relate one number to another, it is rather a theory of structures. Even this structures will be also important in the future for other sciences. You mention model theory and even this point is crucial: one can change the model (including the logic), i.e. one can change the math completely and only the structure is left.

Maybe an agreement again?

Torsten

    Dear Torsten,

    Thank you for the kind comments. Yes, the "boring agreement" between our viewpoints extends to your comments too :) I think math is the science of mathematical structures, and these are beyond models. I started reading your essay, and I will comment on your wall soon.

    Best wishes,

    Cristi

    Dear Cristi,

    thanks for your words and vote, which I will give back! Other essays concentrated on the close relation between math and physics to forecast experiments. But not yours and I like it (and also your scientific work).

    Best

    Torsten

    I get a little worried when Goedel comes into the picture. This is not because I don't think at some point this might rear its head, but because as you say this is misapplied. I think the real question is whether because we are a part of the universe that our attempt to completely codify the universe runs into this sort of incompleteness. We are in a way a piece of the universe that is working to encode its foundations, which is similar to a formal system listing or computing all its Goedel numbers. We may have an issue of this sort with the so called measurement problem and our inability to rectify quantum mechanics and measured outcomes with our macroscopic based thinking.

    I am not sure one could say that 19th century physics was a unified theory as such. There were the three main areas of classical-Hamiltonian mechanics, thermodynamics, and electromagnetism. Thermodynamics ran into trouble with classical mechanics over the issue of time reversal invariance. Electromagnetic theory was not able to figure out how an arrangement of charges could be stable in a classical mechanical form. Then of course there was that annoying black body problem. I think physics then was filled with open questions that betrayed any idea of unification. I suppose in many at the time were confident that as Raleigh put it that all would be working once that black body problem is solved.

    LC

      Cool T-shirt! It would also work with "Mathematician" and "Physicist" reversed, which proves that math is physics and physics is math!

      Marc

      Dear Lawrence,

      Thank you for the comments. I agree that us being part of the universe makes impossible to us to completely codify the universe. However, I don't think that trying to encode just the foundations is the same as trying to describe the whole, because the fundamental laws probably need a very small amount of memory to encode. Maybe a T-shirt, but even if it would be a book, would not be too much. I can imagine a computer containing a lot of information in it, including the complete specifications of the computer itself. Of course, it would not be possible to contain along with the specifications also a copy of the complete information contained in it, because it would have also to contain a copy of the copy and we regress to infinity. It is true that Maxwell's equations and the black body radiation require relativity and quantum mechanics, but what if these two tensions never appeared? A universe governed only by classical mechanics can easily contain a book of classical mechanics, or at least the page containing Newton's laws, without regression to infinity. I look forward to read your essay, to see your approach to the problem.

      Best wishes,

      Cristi

      Dear Cristinel,

      About "And the math will set you free", it may be but only after you have realized the truth - and only "The truth shall set you free".

      Man is a created being absolute as he cannot create himself. The Creator is the God of man - the God who divides as well as the God who unites. Everything that we know of as well as things that have never ever crossed our mind are all already ready out there - there is not a little one bit more or a little one bit less. Why? Because our God is the One Perfect God who misses nothing.

      Mathematics is left only to be discovered. The patterns are all already part of the nature of the universe for our minds to unravel. It is all abstract as it is in harmony with the power endowed with our mind to work with abstract objects and structures. So mathematics is only mental and there is no "physical" reality in mathematics. But there are realms beyond the mental, beyond our endowed mental powers. So with the mind, as well as with mathematics, you cannot understand those unreachable realms.

      Time is one realm completely beyond the mental understanding of man and mathematics. Time is only metaphysical. Since ancient time, time is taken to be absolute and its nature is almost as mysterious as the nature of God. To say we know of the nature of time is as good as saying we know the nature of God - which we cannot do. So in Newtonian mechanics time is just the variable 't' - there is no assumption that 't' could have properties that man can understand. It was the case until Einstein's relativity theories which presumed man has the ability to ascribe properties to 't' - that there is a Lorentz factor that have the properties of 't' implied within it. If the Lorentz transformation is "truth" that could describe physical reality, it would mean that man, through his thinking, could understand and give properties to God the Creator - which we cannot. The treatment that Isaac Newton gave to time, just a single variable 't', actually is an acknowledgment that man cannot know God except that "God is God". So there is only absolute time.

      "But can we find a property of time that can't possibly be described by mathematics? In fact, time was best understood due to mathematics, in relativity and thermodynamics."

      Actually, time cannot be understood; within physics, there should not be any attempt to incorporate any understanding of time. It is because relativity try to assume that there there is a way to discover some property of time through inventing relative time dependent on the motion of a frame or that of the observer that both the special and general relativity theories can only be invalid. Any theory of physics founded on the Lorentz transformation can only be invalid as the Lorentz transformation cannot be physical - meaning it can never be a valid physical theory describing the working of our physical universe.

      Best Regards,

      Chan Rasjid.

      Very nice essay, Cristi -- with the broad range of profound and interesting questions that one has come to expect from you. Well done.

      A couple of things:

      Being a student of Yaneer Bar-Yam (who by the way was just appointed as visiting professor to the MIT media lab) -- I appreciate your reference to his theory of multi-scale variety, which I regard as one of the most important theoretical advances in science today. It encompasses network-connected phenomena across every scale of physical self-organization, which brings me to the second thing:

      Your claim that " ... we can't prove the mathematical universe hypothesis by Tegmark's method."

      If one is a rationalist in the sense of Karl Popper, no scientific theory is ever proved. That is, no amount of empirical evidence that validates a theory, is proof that the theory is true -- only a falsifiable criterion makes a theory scientific at all. And Tegmark's criterion is very clear and unambiguously stated: if the universe is shown to be fundamentally based in randomness, the mathematical universe hypothesis is falsified.

      There is also no ambiguity in Popper's position. Long ago, Popper made an important reversal of himself -- as important as Hawking's reversal in the case of black hole information loss -- that Darwin's theory of common ancestry is a falsifiable theory, after all. Not because we can refute common ancestry by a single experiment, but because biology is incoherent without the theory, and the auxiliary hypotheses that support the theory are clearly falsifiable.

      In the same sense, I think that multi-scale variety can be seen as a unifying theory of complex systems, and Tegmark's MUH as a unifying theory of mathematical physics.

      All best,

      Tom

        Dear Tom,

        Thank you for the interesting comments. Sure, Popper is right, "no scientific theory is ever proved". My argument regarding Tegmark's MUH is indeed that it can't be falsified by his criterion. You say that the criterion is "if the universe is shown to be fundamentally based in randomness, the mathematical universe hypothesis is falsified". I am not aware of Tegmark saying this, perhaps I don't get its meaning. I don't see why a mathematical structure can't be fundamentally based in randomness. I think Tegmark's idea is that there is a statistical way to show that our universe is a typical one supporting intelligent life, and this is what I disputed. My argument was that, since he also want them to be computable, most structures are computationally equivalent, for all practical purpose, with ours, so his criterion will fail. I am happy you were a student of Yaneer Bar-Yam, probably was a very interesting professor.

        Best wishes,

        Cristi

        Hi Cristi,

        I didn't interpret Tegmark's falsifying criterion into existence. He states it explicitly in his book (p.356): "Looking toward the future, thee are two possibilities: If I'm wrong and the MUH is false, then physics will eventually hit an insurmountable roadblock beyond which no further progress is possible; there would be no further mathematical regularities to discover even though we still lacked a complete description of our physical reality. For example, a convincing demonstration that there's such a thing as fundamental randomness in the laws of nature (as opposed to deterministic observer cloning that merely *feels* random subjectively) would therefore refute the MUH. If I'm right, on the other hand, then there'll be no roadblock in our quest to understand reality, and we're limited only by our imagination!"

        I explore this falsifying criterion in my essay.

        The question of computability enters because Max approaches the hypothesis the same way that Wigner describes the role of mathematics in physics: discovery of physical regularities leads to discovery of mathematical regularities. I argue that if MUH is true, it has to work both backward and forward -- i.e., discovery of mathematical regularities leads to discovery of physical regularities. MUH is true if, and only if, the hypothetical final theory is mathematically complete.

        (By student of Bar-Yam, I didn't mean a classroom student but rather a follower. He is a dozen years younger than I -- showing once again that there's little correlation between age and wisdom.)

        Best,

        Tom

        Hi Cristi,

        As I told you in my FQXi page, I have read your pretty Essay. Here are some comments:

        1) I find the title very intriguing.

        2) I think the most brilliant text ever written is Einstein's 1915 paper on general relativity!

        3) The idea that all human creation and knowledge is a point in the interval [0, 1] is upsetting!

        4) I disagree with Smolin's statement that "there is no mathematical object which is isomorphic to the universe as a whole". I think we merely do not know if such a mathematical object exists or not.

        5) Congrats for generalizing the Weyl curvature hypothesis, you know that I am an estimator of your research work.

        6) I do not think that you are too reductionist in claiming that there is a mathematical structure which is isomorphic to the universe described by the extended list of propositions. In fact, I agree with you.

        7) I am not completely sure of the real existence of a a theory of everything, but it should be a great pity if it does not exist! The same for black holes!

        8) Your statement that "if we can understand the universe, it is because this immense complexity can be reduced to a small number of laws" is very intriguing. It I think should have been appreciated by Einstein who claimed that "The most unintelligible thing about the universe is that it is intelligible at all."

        In any case, the reading of your intriguing Essay was interesting and enjoyable. It surely deserves the highest score that I am going to give you.

        I wish you best luck in the Contest.

        Cheers, Ch.

          Hi Christian,

          Thank you for the comments and for the kind words! With 2), I think I very much agree with you, but I wanted to connect with most readers, and perhaps upset others. With 3), as well as 1), indeed I wanted to upset the reader. So connect and upset, to make sure what you say will be remembered one way or another :)). About the other points, I think you are right too. I was happy to read your excellent essay, and I hope this edition you will get a well-deserved prize!

          Best wishes,

          Cristi

          Dear Cristi,

          The introduction to your essay is very clever. Most people do not appreciate that when going from the rationals to the real numbers, one enters a whole new ballgame, so to say. I did not appreciate it until I began to study some set theory, but your example brings this home very nicely.

          I essentially agree with almost everything in the essay, but would like to add the following comments:

          1. I think that at least in part, some of the difficulties pertaining to the metaphysical status of mathematics are linguistic. Specifically, I think "exist" is simply not a good word to apply to mathematical objects (unless one subscribes to the MUH) because it has too much baggage associated with the physical world. There should be expressions which capture subtle ontological nuances, similar to how Eskimos purportedly have over a dozen different words for snow. These nuances might allow us to refer to things like physical objects, feelings, thoughts and mathematical objects in such a way that we can keep separate what it is that we are talking about from everything else, and aid in investigating how they relate to each, if they do. I do agree with you that in the specific sense that you described it, every book, piece of music, etc. is already there.

          2. Taking the ability to name something in the real world to entail being able to give a list of propositions that apply to it seems intuitively pleasing, but I still have a lingering feeling that there might be something above and beyond a complete list of propositions that characterizes physical objects. One could of course simply define this relation to be just so, but that seems like a cheap way out to me.

          3. I am personally of the opinion that there is no "theory of everything". In fact, I consider the idea that there should be one as one of the last remaining vestiges of anthropocentrism in physics in the following sense: presupposing the existence of such a theory also presupposes that all processes in nature can be described using a small set of laws by one kind of observer of which we are a special example. Who is to say that there are not other kinds of observers whose observations of nature could also be described by a small set of laws but which would be *in principle* inaccessible to us? To give a specific example, who is to say that it is not possible to formulate a theory of nature from the frame of reference of an observer associated with null geodesics in spacetime? I often see the argument that it makes no sense to imagine such frames because no spacetime observer can transform to them, but that exactly makes my point: We are observers in spacetime, and to suppose that speaking of such frames makes no sense reflects a very subtle form of anthropocentrism.

          Again, yours was a very thought-provoking and well-written essay.

          Best wishes,

          Armin

            Dear Armin,

            Thank you for reading my essay and for the comments. You raised interesting points, and I will address them.

            1. As you know, in mathematics the term "exists" is the same as in logic. For example, "there exists a field which extends the field of real numbers and is algebraically closed". This doesn't have the meaning of physical existence, but rather of logical consistency. Whenever I used "exists", the sense of mathematical existence or physical existence follow from the context, otherwise, I specified that I was talking about mathematical existence or physical existence. To change the terminology would be unnecessary and would introduce confusion. You are right that they can be identified in the context of MUH. You are, of course, right, that the standard terminology is not the most fortunate, but I hoped that my precautions were enough.

            2. Probably the reason why you feel that there is more to existence than relations is that one considers more existent the things with which we have a relation, directly or indirectly. But this is relation too. If you could be more specific about that property that escapes the relational viewpoint, that would be helpful. Otherwise, I think my statement is not merely a way out, but is the only way which avoids reference to things which don't have observable effects by themselves.

            3. I agree with you about the necessity to avoid anthropocentrism. This is why I wrote "Being able to guess them and then test them would mean either that we are that lucky, or that the universe wants to be completely understood by us, who are just tiny waves on its surface." As you could see, I did not claim that this theory must exist with certainty, and certainly didn't claim that, even if it exists, we can find it. But I think that it is likely that it exists, and even that we find it, simply because we are so close. Most of the physical laws are contained already in general relativity, quantum theory, and the standard model, which really are a small set of laws accessible to us. Of course, this doesn't ensure us that TOE exists and can be found. You also said "To give a specific example, who is to say that it is not possible to formulate a theory of nature from the frame of reference of an observer associated with null geodesics in spacetime?" Well, you are right, physical laws can be described very well in coordinates whose constant surfaces are lightcones. Also, in Finkelstein coordinates and Kruskal-Szekeres coordinates, and also in Penrose-Newman formalism and Penrose-Carter diagrams, null coordinates are used. There is no need for an observer to travel at the speed of light, this is simply the diffeomorphism invariance of laws in general relativity. So the problem of antrhopocentrism introduced by reference frames was solved in general relativity, for other reasons. I think this was a good point you raised, because it could lead to the diffeomorphism invariance, or at least is another good reason to use them.

            Thank you for the excellent points you raised, they allowed me to clarify some perhaps unclear elements, and to see some things I knew in a different light.

            Best wishes,

            Cristi

            Dear Cristi,

            Thanks for your kind words, which honour me. I am happy to see that we are in perfect accord.

            I wish you will get a well-deserved prize too! Let us cross our fingers!

            Cheers, Ch.