Ah. By "the physical world" I mean the physical world, not our theories about the physical world (however widely accepted they may be). In this sense, Einstein did not change the physical world at all: he developed new theories about that world. Even if we live in a "virtual reality", then it is a physical fact about us that we do. Probably, we could never figure that out.

If we do not separate sharply between the physical world as it is and our theories about it, our discussion will be very confused. Perhaps we will never develop a completely accurate theory of the physical world. But if we do, if will be framed in a mathematical language, so we should think about what languages are available and create more if needed.

Thanks. I have a problem with this below you may want to give another shot at it although I understand that communicating through message boards is difficult especially in this area:

"If we do not separate sharply between the physical world as it is and our theories about it... "

Is it necessary that the physical world should be in a particular way or this is just an assumption to make our life easier?

    Dear Tim,

    I read your essay with great interest. I totally agree with you: "But we can change the mathematical language used to formulate physics, and we can even seek to construct new mathematical languages that are better suited to represent the physical structure of the world." My high score.

    I think only that we must first to consider the proto-structure of the Universum (matter) from the point of view of eternity ("sub specie aeternitatis"), that is, to carry out the ontological structure of matter in the proto-era, "time before times began". When we "grab" (understand) the primordial (ontological) structure of space, then we will understand the nature of time. Therefore, the fundamental physics we must move from the concept of "space-time", to the onto-topological concept "space-matter-time". The primordial structure of matter determines the structure of the language in which Nature speaks to us, single language for mathematicians, physicists and poets , ie, language that contains all the meanings of the "LifeWorld"(E.Husserl). I invite you to read my essay .

    Kind regards,

    Vladimir

      I do think we are having some communication problems....Even if the laws of the universe change through time, for example, there is still some way it is (i.e. changing, and changing in a particular way), and some description of it. So I can;t see any substantial assumption is saying that there is some way the universe is, not subject to our control (in the relevant sense) that we are trying to describe.

      Dear Vladimir,

      Certainly physics must deal with matter--a nice simple characterization of physics is the theory of matter in motion. What I have proposed here does not touch on that. Rather, it deals only with the "motion" part. Motion can be understood as the trajectory of an object through space-time, so then one question is how to characterize the structure (geometry) of space-time. That is what I have been working on. Putting the matter into the space-time arena is yet another problem (one would have to confront quantum theory). But I am just taking one step at a time--the step I have something new to offer.

      Thanks for the comments.

      TIm

      Dear Prof. Maudlin,

      You make some interesting arguments about the nature of physics and mathematics, but it seems to me that the entire question of the "mysterious connection between physics and math" is misplaced. There is rather a simple explanation. Physics deals with how simple rules for relating real objects lead to more complex objects. Mathematics deals with how simple rules for relating abstract structures lead to more complex structures. So a common theme of underlying simplicity can guide them both. But there is no reason to assume that a given elegant mathematical model must ipso facto be represented in the real world.

      My own essay addresses a somewhat different issue: ("Remove the Blinders: How Mathematics Distorted the Development of Quantum Theory"

      I argue that premature adoption of an abstract mathematical framework prevented consideration of a simple, consistent, realistic model of quantum mechanics, avoiding paradoxes of indeterminacy, entanglement, and non-locality. What's more, this realistic model is directly testable using little more than Stern-Gerlach magnets.

      Alan Kadin

      "Even if the laws of the universe change through time, for example, there is still some way it is (i.e. changing, and changing in a particular way), and some description of it."

      The hidden assumption here is determinism. If this premise is true, then your statement is true otherwise it is false. I have trouble with the assumption of a "particular way" and of determinism. I think they both reflect some type of wish rather than a fact. Regardless of that, thank you.

      Dear Alan Kadin,

      Thanks for your remarks. Of course, even if both physics and mathematics are concerned with situations where one wants to derive complex conclusions from relatively simple rules (and at one level of abstraction that is correct), it would not follow that the actual physical world behaves in a way well-desribed by a mathematical formalism. We would certainly like, for example, simple rules from which we could derive the weather a year from now, but it seems that the physics of weather just does not admit of such rules at all. So there is a question of which physical conditions must obtain for an effective mathematical description to be possible.

      I am a bit puzzled by your description of your theory. If your theory is local, then, by Bell's theorem, it cannot predict violations of Bell inequality for experiments done at space-like separation. But these experiments have been done, and Bell's inequality is violated. So if the theory is as you have described it, we do not need to do further experiments with Stern-Gerlach magnets to check: relevant experiments already exist.

      Regards,

      Tim Maudlin

      Think of an indeterministic random walk. It is both the case that the particular details of any walk admit of a mathematical description (2 steps right, then one left, then three right, then four left...) and, in many cases, that some statistical characteristics of the walk can be predicted with high reliability. So indeterminism is not incompatible with mathematical description. Quantum theory is generally considered to be indeterministic, but still amenable to precise mathematical description.

      5 days later

      Dear Prof Maudlin,

      From Wignar "How do we know that, if we made a theory which focuses its attention on phenomena we disregard and disregards some of the phenomena now commanding our attention, that we could not build another theory which has little in common with the present one but which, nevertheless, explains just as many phenomena as the present theory?"

      His answer: It has to be admitted that we have no definite evidence that there is no such theory.

      I am not sure of the detail regarding "Theory of Linear Structures", but I think there is room for multiple models, where details will either pass of fail the test of real physical experiments.

      Regards and wondering if you have a internet link for more detail?

      Ed

        Dear Ed,

        The mathematical detail is spelled out in the book of mine I have cited, but is not online. Application of the mathematical to physical theories is the subject of a second volume that is being written now.

        Regards,

        Tim

        Tim,

        Thanks for your interesting and thought-provoking essay. I was wondering if you have applied your theory of linear structures to any of the discrete structures that have been proposed as candidate theories of quantum gravity, such as causal sets, spin foams, or causal dynamical triangulations?

          Hi Matt,

          I have not tried to get the quantum-mechanical aspect of it, but I have done some work on using this to describe discrete Relativistic structures. So think of this as in the spirit of causal sets. I can get a simple discrete approximation to a 2-D Minkowski space-time and to a 3-D inflating space-time with horizons, and this is just from trying a few simple constructive rules for the Linear Structure and then analyzing the results. I have an idea for a general scheme for writing down constructive rules (both deterministic and stochastic) for generating Relativistic discrete Linear Structures, but there is a lot of work to do.

          Just to give a taste of how this differs from causal sets, using the usual way that causal sets are generated no pair of events will be null related. But doing it my way, the entire space-time structure is built from null related events: it is all light-like in the foundations, as it were. I can also easily put in place constraints on the constructive rules that avoid some of the issues that come up for causal sets, which basically arise from the fact that the kind of graph they want to get is very much not a random graph.

          The analytical advantage of a discrete space is that it comes already equipped with a natural measure--counting measure--but in the Relativistic case you have to be careful about what to count. I know that sounds cryptic, but it would take to long to explain properly...maybe we can talk about it sometime.

          It may be that just being able to generate good discrete approximations to classical solutions in GR would yield clues about how to implement a fully quantum treatment, but that prospect is too far away now.

          Cheers,

          Tim

          This was a good essay with some interesting ideas such as the temporalization of sapce but ity is an idea that cannto be tested in a laboratory and abstract as it is it is pure speculation and increases the complexity of physical models and introduces more ambiguity. I think a theory like that presented in usenet years ago would be fircly attacked and the creator woudl be called names. What are any new predictions this temporalization ofefrs? Therefore, although I through the essay was good I think it makes undjustifuable claims that should not be made at the level of professional physics.

          • [deleted]

          • Post #61

          "Whereas it is often said that Relativity spatializes time, from the perspective of the Theory of Linear Structures we can see instead that Relativity temporalizes space"

          Most theoreticians now believe that the spatialization of time (a consequence of Einstein's 1905 false constant-speed-of-light postulate) was wrong:

          "And by making the clock's tick relative - what happens simultaneously for one observer might seem sequential to another - Einstein's theory of special relativity not only destroyed any notion of absolute time but made time equivalent to a dimension in space: the future is already out there waiting for us; we just can't see it until we get there. This view is a logical and metaphysical dead end, says Smolin."

          "Was Einstein wrong? At least in his understanding of time, Smolin argues, the great theorist of relativity was dead wrong. What is worse, by firmly enshrining his error in scientific orthodoxy, Einstein trapped his successors in insoluble dilemmas..."

          WHAT SCIENTIFIC IDEA IS READY FOR RETIREMENT? Steve Giddings: "Spacetime. Physics has always been regarded as playing out on an underlying stage of space and time. Special relativity joined these into spacetime... (...) The apparent need to retire classical spacetime as a fundamental concept is profound..."

          Nima Arkani-Hamed 06:11 : "Almost all of us believe that space-time doesn't really exist, space-time is doomed and has to be replaced by some more primitive building blocks."

          Pentcho Valev

            Dear Prof Maudlin,

            For your subquestion 1) „Which mathematical concepts seem naturally suited to describe features of the physical world, and what does their suitability Imply about the physical world?"

            I suggest three main candidates for the mathematical concept:

            bit (it was the subject of the competition FQXi 2013);

            exp(x) (You know the unique features of this function);

            Euler's identity. There are other useful functions, but less importance.

            Suitable use of pervious can to describe features of the physical World.

            What are your main candidates? If you agree with me, part of the solution can be found in my essay.

            Best Regards,

            Branko Zivlak

            Congratulation for such a brilliant essay. You deserve the best.

            Tim,

            I read your essay with a mixture of exhilaration and misgiving. Exhilaration for the sheer audacious brilliance of it, and misgiving that I have not yet introduced myself to your work. I plan to start correcting the latter in short order.

            One comment: "This (metric - ed.) distance is just the minimal 1 length of a continuous path between the points. It can have an affine structure, which sorts continuous paths into straight and curved. It can have a differentiable structure, which distinguishes smooth curves from bent curves. But beneath all these, already presupposed by all of these, is the most basic geometrical structure: topological structure."

            The straight line being a special case for the curve, an analytical "twoity" (LEJ Brouwer's word) guarantees curved structure of metric properties. In a 2006 conference paper I identified the complex plane structure that guarantees a counting function without appealing to the axiom of choice, with a physical definition of "time: n-dimension infinitely orientable metric on random, self-avoiding walk."

            Looking forward to immersing myself in your research.

            Tom

              Dear Tom,

              Thanks for the comments. I was not aware of the Brouwer, and a quick look at some discussions shows that it will not be an easy thing to really understand. It is, of course, possible to describe the geometry of a space with enough structure to define the affine structure but not enough for a full metric. The so-called "Galilean" or "Neo-Newtonian" space-time is like this (if you try to use a standard full metric is it degenerate). This is particularly nice if one is trying to translate physical laws into a purely geometrical vocabulary. Newton's First Law, for example, becomes "The trajectory of a body is a straight line through space-time unless a force is put on it". The fundamental distinction between the affine and metrical structure also shows up when one demands, in General Relativity, that the metric be compatible with the connection on the tangent bundle.

              Regards,

              Tim

              • [deleted]

              • Post #66

              Hi Tim,

              I think a full metric description is, just as you imply -- native to point set topology, and not to affine space. There is an arithmetic theorem that any point maps simultaneously to any set of points provided it is far enough away. In reverse, this gives us the degenerate result of Galilean or Newtonian space. There is no time parameter.

              Einstein, by introducing time by way of Minkowski space, may have hoped the point "far enough away" would avoid the singularity and instead found that expanding 4 dimension spacetime (by Hubble's result) places the singularity at every arbitrarily chosen point of 3-space. There will be singularities in general relativity. No point is far enough away to overcome the Poincare-Hopf theorem.

              Best,

              Tom