That was a satisfying answer Tim...

This speaks to the question of what sort of evidence of your theory would we see in the cosmos that might provide verification or refutation for its veracity. I asked a similar question of Gerard 't Hooft at one point and his answer was similar - that it was too early to tell what the cosmic evidence would be.

The following year at FFP11; he elaborated in his talk about the desirability of and difficulties with obtaining Lorentz invariance in a CA based QG theory, but still no hard predictions about what we would observe (in black hole emissions perhaps) that would distinguish it from the standard.

I've seen or heard several predictions from Loop Quantum Gravity folks about possible signature detections - such as Lorentz invariance violations, comb filtered emissions from black holes, and so on. But I see that each time such a prediction is made, folks will jump on it as excluding a theory if the exact signature predicted is not found. And String Theory folks seemingly refrain from making any hard predictions at all.

All the Best,

Jonathan

Dear Tim,

Great essay, congrats. Wish I had a background in physics to completely understand. Please indulge me if you have time.

1) Are you essentially suggesting that mathematical incomputability/undecidability exists as space-time, emergent from quantum non-linearity (as that is what the wave function seems to suggest, which may in effect be the cause of macroscopic gravity?

2) If something (anything that exists as part of detectable science) is incomplete as a matter of ontology (incomplete in the Godel sense) how could that ontology possibly verify determinism or superdeterminism?

Best,

Jack

(Essay: Misalignment Problem - You may enjoy the amalgamated sleuths section)

    Yes I do think that relativistic space-time will be found to be emergent from this fractal state-space geometry. However, making this a precise notion, and not just an aspiration, is something that I am currently thinking hard about!

    I'm not sure I fully understand your second question. However, it triggers in my mind an important question: are there experimentally testable consequences of determinism? Again, this is something my collaborator Sabine Hossenfelder and I are currently thinking about.

    So, in short, I can't answer either question, but they both touch on important issues!

    Thanks Tim,

    I am very glad you are thinking (with the great tools of physics) about the same questions I am.

    Re Q2 I think you have grasped my question in your statement "are there experimentally testable consequences of determinism?" Because if Godel's incompleteness manifests physically (space-time & mass) then you could never test determinism because the physical system would have unknowable states that cannot be determined by the system itself. So you couldn't have a determinable system, could you?

    Best,

    Jack

    My view (which I tried to express in the essay) is that such undecidability only manifests itself in questions about the structure of state space, not in questions about the structure of, or processes in, space-time. Hence I do think there are experimentally testable consequences of determinism.

    Tim,

    What Bell had in mind (and explicitly expressed so in many interviews) is that, if particles are little machines, then his inequality must be respected. Now, as with any statement regarding the physical world, it tacitly assumes also `common sense'. One can bend this vague notion to an arbitrary extent, but there is a more direct attack on Bell's theorem, which has been staring us in the face for over a century: Particles (and chaotic systems and humans) are not machines! (no new-age stuff)

    You are invited to read my essay which is further relevant to your main area of expertise - predicting the behavior of chaotic systems. Ensemble average over initial conditions is probably not the right way to do so.

    I finally got to reading your paper. I have been working to get a piece of instrumentation developed meant to go to another planet. In reading this I think what you say is maybe not that different from what I develop.

    Your paper drives home the point on using the Blum, Shub, and Smale (BSS) concept of computability. This is an odd concept for it involves complete computation of the reals to infinite precision and where our usual idea of close approximations are not real computations. This is a certain definition of incomputability. Since these I_U fractal subsets for an underlying fractal system are forms of Cantor sets the p-adic number or metric system is used to describe them. As fractal sets are recursively enumerable their complements are what are incomputable in a standard Church-Turing sense. Since this fractal is really defined in a set of such, there is a set of p-adic numbers or metrics and by Matiyasevich this is not globally computable. By this there is no principal ideal for the entire set or equivalently a single algorithm for all possible Diophantine equations. This is the approach I take with my FQXi paper. As a result, at this time I am relatively disposed to your concept here.

    This meaning to incomputability in the BBS system is different, but not that out of line with the standard Church-Godel-Turing understanding. We can see that determinism is not always computable. The Busy Beaver algorithm of Rado has the first five numbers 0, 1, 4, 6, 13, but beyond that things become tough. The 6th is thought to be 4098, though not proven as yet. The 7th is a number greater than 1.29Г--10^{865}. It is not possible to compute higher Busy Beaver numbers. The failure to do so is a form of the Berry paradox or undecidability. The Busy Beaver is then a sort of model idea of a strange attractor with the exponential separation of differing initial conditions for two systems.

    We have for coherent states, a general form of laser states of light, the occurrence of states of the form |p, qвџ© that have both symplectic and Riemannian geometry. My mind is pondering what connection this concept of incomputability has to coherent states. The occurrence of Riemannian geometry for spacetime, particularly if spacetime is a large N entanglement or condensate of states, and an underlying quantum geometry may be ordered as such. Einstein in his Annus Mirabilus proposed that states of light have blackbody or Boltzmann thermal distributions with a coherent set of states in his coefficients. This may really describe quantum gravitation as well.

    Please take a look at the referenced paper by Simant Dube. He finds essentially the same computability result as Blum et al, studying the fractal attractors of iterated function systems.

    5 days later

    Dear Tim Palmer,

    If you are a physicist rather than an inflexible mathematician, you may hopefully be in position and ready to answer my question:

    While I know, "a closed interval is an interval that includes all of its limit points", I guess there might be a fundamental point-based alternative to the "dot-based" mathematics from Dirichlet up to Heine and Borel. Given real numbers constitute Euclidean points, isn't then a discrimination between closed and bounded only justified for rational numbers? Isn't it logically impossible to include a single real number? Is the notion limit point really reasonable?

    Well, this request relates to my own essay rather than directly to your essay. I am just curious.

    Sincerely,

    Eckard Blumschein

      Hello,

      I liked a lot your general essay. Several ideas are very relevant about the links between this quantum mechanics and this GR. I consider personally in my model of spherisation a gravitational coded aether sent from the central cosmological sphere made of finite series of spheres, I tell me that we have a deeper logic than only our relativity and these photons like main essence. This space, vacuum seems more than we can imagine. I have shared your essay on Facebook because it is one of my favorites, regards

        All I can say is that these are deep questions!!

        Thank you.

        I will try and explain at 3385 why I as a layman in mathematics feel forced to deal with fundamentals of mathematics.

        Let me here quote from your abstract something easily understandable to everybody:

        "...undecidability is only manifest in propositions about the physical consistency

        of putative hypothetical states". In my words: Continue calculating as if.

        Just an aside on your Hilbert quote after illustrating Cantor's dust: "The infinite is nowhere to be found." I argue that the property of being infinite is to be seen in every closed loop.

        You demonstrate the point that to synthesize General Relativity (GR) and Quantum theory (QT) seems to require much more complex mathematics. Along the way, for problems of quantum entanglement, Bell inequality, and (I submit) quantum eraser ,a theory would have to be non-local and causal. Also, there are many problem observations in astronomy and cosmology which should be addressed. I prefer to generalize the main goal as finding one theory that describes both big and small of our universe.

        I think, like you, that dealing with non-computability could "...break the road-block in finding a satisfactory theory...". That is, non-computability of the mathematics is a problem. I suggest the novel path to this new theory is to remove the mathematics that make the models complex and then to restructure the principles to explain the problem observation and to correspond to GR and QT with approximations.

        For example, interpret the Bell inequality so to say NO interaction takes place at less than the speed of light or that ALL interactions take place at a speed much greater than light (such as van Flanern and other observations finding the gravity speed is much faster than light). The Newtonian speculation that interference of light includes the aether wave traveling much faster than the photons and then directing the photons. This suggest the matter causes the aether waves and the aether divergence directs the photons - like in GR. Thus, a further unity can be achieved if the aether is the left side of the GRs field equation (space-time) and the medium supporting real waves in QT. Just these two changes/insights can yield a simpler and more complete model.

        I'm unsure how to treat chaos ideas. I think you're correct, we should assume determinism and self-similar (fractal) model even if the reality of the universe may be different.

        Hodge

        Great article Tim. You present your ideas clearly and logically so that even a non-physicist "newbie" such as myself can appreciate the main points.

        I was drawn to your title as my (much less rigorous) theory approaches possible unification through fractal geometry as well. I too suggest that the space-time of general relativity may emerge from the higher dimensional geometry of a quaternionic structure, but come at it from a rather unique way - through the cyclical nature of the prime numbers in base-12 (my article is titled "Primarily True").

        I posit that my "base-12 prime vibration" as a fractal invariant pattern should emerge in space-time at 10-to-the-power-11 logarithmic fractals (in terms of particle density) as that would represent a complete logarithmic cycle or "octave" of a quaternion power cycle in base-12. This might help explain why there are that many galaxies in the observable universe, suns per mature spiral galaxy, atoms per DNA molecule and even neurons in the human brain. In the gap between each such fractal would therefore be where nature would emerge in an unstructured way, much like your conjecture.

        One question: If the quaternion model were purely geometric such as I'm picturing - as simply prime positions on the base-12 circle (thus Euclidean), would it not then become computable after all? If I understand it correctly, Tarski's geometric decidability theorem seems to indicate that would be the case. Any insight would be much appreciated.

        Cheers,

        Michael

        Dear Tim,

        Excellent essay. I agree Chaos Theory offers good insight into nature as well as a predictive tool. I think it brave to major on it. Bill McHarris did so well in 2016 with a poor response. I hope you do better. (I drew more on new foundations & fuzzy sets.) I agree that resistance to non-finite maths is problematic, and thanks for reminding us of Hilbert's quote. Was he blind to 'infinite' Pi, space and time?

        I was interested in your view that a deterministic foundation to QM should exist, one shared by myself and John Bell. I quote Bell this and last yr and describe a mechanism appearing to show we're correct! But of course too shocking for most to countenance! I hope you'll take a close look.

        Beyond your (p6) pairs; if BOTH have N and S poles & parallel axes, and A & B polariser interactions give Poincare sphere surface vector additions, can you think of any reason A & B, by reversing their settings, couldn't reverse their own 'amplitude' outcomes. I found that's NOT a hypothesis Bohr tested!

        Your p8. assertion that inequality violation can emerge from an uncomputable deterministic model seems to preclude a physical ontological understanding of process, as all others assume. Does it? If so I disagree so hope you'll explain why you believe so (if Bells proof can be 'sidestepped' as he suggested).

        I agree gravity is non-computable, but do you agree that may be in the same way weather parameters are? i.e; All low pressure areas have a density gradient due to rotational velocity, after Bernouili, but all differ slightly and constantly evolve.

        Great essay Tim, and I look forward to discussing various matters further, I think best after you've read mine.

        Very Best

        Peter

        Hello to both of you,

        the problem about these strings is that it is a kind of fashion now about what we have at this planck scale and about the 1D main Cosmic field creating our reality by the Waves, fields and oscillations. But in fact a sure thing is that nobody can prove and be certain about this philosophical generality. The same for ,my gravitational coded aether made of spheres sent from the central cosmological sphere. We cannot affirm and all rational deterministic searchers accept the difference between a proved law, equation, axiom or an assumption. Nobody can affirm what we have at this planck scale nor about the philosophy of the generality of this universe. Have we coded particles or Waves creating our geometries, topologies, matters and properties and this emergent space time. We know that inside the theoretical sciences Community, all we are persuaded and that the Vanity is important, but without proofs we cannot affirm, it is a fact.

        What is really this space, this vacuum ? is it still this gravitational superfluid coded aether or fields different , we don t know simply and we must accept this and our limits in knowledges.

        Regards

        Let me support : "slowly and carefully, and not jump to conclusions that may at first sight seem reasonable, but will ultimately turn out to be wrong."

        Having read

        "⊆ means subset, ⊂ will not be used"

        I reconsidered my question "Isn't it logically impossible to include a single real number?"

        6 days later

        Congratulations on a nice essay! I think that chaos theory is an underestimated element of the foundations of physics. I think you may find resonance with your ideas in Hoessenfelder's essay (https://fqxi.org/community/forum/topic/3433) and partly in mine (https://fqxi.org/community/forum/topic/3436).

        Best of luck for the contest!

        Flavio

        Tim. I enjoyed your article and the inclusion of chaos theory into the discussion of the unification of quantum mechanics and relativity. In my essay "Clarification Of Physics--" I introduce a new perspective into the unification efforts. In the essay I propose a creation process that emerges from chaos, unifies quantum mechanics and relativity, and creates "our" finite multiverse and the visible universe. I would appreciate your comments on the essay. John D Crowell