"respect simply the pure determinism"

I agree if determinism is not meant as the wrong belief that anything can be reduced to laws. I rather trust in causality rather than such demon even in cases of chaos.

Is there any reason to question truly fundamental logic?

Wasn't Leibniz correct and wrong at a time when he introduced the useful in mathematics quantity of being relative "infinite"?Just the name infinity for it was inappropriate. We may often calculate as if it was identical with the property

oo 1 = oo.

In general, I dislike attempts to question basic logic. Euclid's point corresponds to the irrefutable idea of endless divisibility. Equality of numbers implies the TND up to infinite acuity. That's why assumption of real numbers contradicts to Hausdorff's dots at zero.

Eckard

Dear Jochen,

Thank you kindly for your comment on mine. My reply is here;

Jochen, Thanks, My mentor Freeman Dyson agreed, ANY advancement means all OTHERS will "feel sort of lost", also Lorentz, Feynman etc. And yes I also studied logic & philosophy, both in crisis! Yes I pack a lot in, testing conventional thinkers, but all refs are given.

You wrongly infer I suggest loosing "the absolute identity of quantum particles.", I just suggest they can have different polar axis angles, except when 'paired', but I DO challenge that only a "statistical approach to QM", can work, & show how we can "do better" as Bell suggested! Shocking? Tes. But seems also true (I cited the verification plot). That's what I'd like you to test.

I hope you get a mo as it may be rather important to advancement.

Very Best

Peter

I've learned that when seeking to explain "existence" using "diagonals" it's more practical (than "uncountable sets") to consider one zero-origin number line from opposite side of a professor's closed window; so I disagree with the foundational math in the title as suggests classical arithmetic like "squaring negatives" and "prioritizing zero". Other than that, I believe one square root of three disproves zero-evidence-cubed, as suggested in my essay, and in your essay here:

"The above has the form of a diagonal argument. Diagonalization was first introduced by Cantor in his famous proof of the existence of uncountable sets, and lies at the heart of Godel's (first) incompleteness theorem, the undecidability of the halting problem, and many others. "

It looks like I'll be graded as a 1/10 hack but there is at least one good Cantor quote in mine. Help yourself to naming rights on "definition" vs "infinition". I liked another essay I read better for the simple reason it wasn't about being right it was about including our own pretending of "general authority"; otherwise this essay would be perfect so I'll give it a fair 9/10.

    Dear Jochen,

    What I see is not a difference between Cantor who died in a madhouse, perhaps because his trust in his own point set theory was shuttered by König, and Lawvere who is hopefully still very healthy. I am rather concerned with differences between reality and mathematical models. Many years ago I got health problems because mathematicians rejected "for mathematical reason" my argument that future data are not yet directly available by means of measurement in reality.

    Meanwhile, mandatory mathematics seems to require sophisticated efforts to fabricate new definitions of good old ideal notions like point and line. Why?

    As I tried to exemplify in my current essay, mathematical pragmatism (calculate as if ...) must not be one to one translated into a universal tool for description of reality. Are orthogonal quantum states still required if I am correct concerning Fourier?

    My hint to Kadin's extraordinary courage was meant as a challenge: How to apply your theory?

    Eckard

    Dear Daniel,

    thanks for your comment. I'm glad you found something to like about my essay, and thanks for the generous score. I'm not sure I'd say my essay is about 'being right'; I think about it as an 'essay' in the original sense of the word---it's an attempt, something that may well fail. So it's less 'this is how it is', and more 'wouldn't it be neat if this were how it is'.

    Anyway, thanks for reading; I'll have a look at your essay soon.

    Cheers

    Jochen

    Dear Eckard,

    I can certainly understand being weary about whether mathematics and physics is always in the sort of correspondence many physicists take it to be; mathematical theories may be as spectacularly intricate and aesthetically pleasing as they like, that still doesn't mean there's something in nature that they describe. There can sometimes be cases of 'rigor mortis': a focus on mathematical formalism to the detriment of the underlying physics.

    However, to me, mathematics is first and foremost a tool; properly applied, it forces us to be clear and consistent in our reasoning, which unaided reason often is not. In that, it is not different from other tools of scientific inquiry---the microscope is superior to the naked eye in resolving miniscule details, but still, the microscope needs to be pointed at the right spot to tell us what we need to know.

    I haven't yet gotten to reading Kadin's essay. I'm skeptical, as you'd perhaps expect, of any proposed return to classical physics---there are arguments that are very simple (I give one in my essay, regarding the existence of a joint probability distribution) that would seem to prohibit something like that. But I'll keep an open mind.

    Cheers

    Jochen

    Dear Jochen,

    Thank you very much for this essay it was a real pleasure to read. Very well written and thought provoking too.

    Pardon my slow-mindedness but I would like to grasp the essence of the argument for the non existence of f(n,k) i.e. what are some necessary preconditions for it to hold.

    - Is the claim valid even if there are finitely many states?

    - If k belongs to a finite interval of integers then I could build a finite set of experiments that would create a f(n,k) table for all possible values of 1 and -1 for each state (like when designing a truth table). In that case the mg operation must bring back an existing row since all rows would have already been exhausted by my truth table.

    Many thanks for your help on this.

    Best,

    Fabien.

      Hi Eckard,

      Sometimes you know , it is not necessary to extrapolate or discuss about evident truths. It is maybe a lost of time and we are not here to see who is the most rational, deterministic or logic, all rational thinkers respect only the pure determinism and it is not necessary to extrapolate the causality , because the causality in maths can imply confusions sometimes, so I insist only on this pure dterminism if I can say.

      We search answers and all assumptions are assumptions if they are not proved simply by experiments or proved mathematical Tools. Is it necessary to discourse about so evident things, I don t Think.

      I repeat but we shall can never understand this real infinity beyond this physicality, we cannot define it , and inside the physicality , even if we can rank these infinities, we are limited still and Always , the same for our finite series . We can utilise all the best mathematical Tools that we want and take all the best past mathematicains or actual ones around a table, that will not change our limitations even with the best Tools utilised. We name this the real humility in fact because we are simply Youngs at this universal scale simply. It d be very vanitious to consider the opposite.

      We can even take the set theory or others, that will not change our limitations about these finite series, the infinities inside the physicality or this philosophiocal infinity. The zero is not the problems , nor the numbers and their distributions and the correlations with the foundamental objects, we don t know what they are and why they are and how they are distributed really. We just know a small part of this universal partition. You can take all what you want like series and harmonical partitions towards the zero and the infinity or infinities, that will not change this truth of limitations even in considering the speeds and the physicality . Alkl this becomes philosophical.

      So if I can Eckard , explain me your general philosophy about this universe and its origin, what do you consider like main cause ? and what do you consider also like main foundamental objects, because it seems necessary to better calculate this physicality and its numbers, particles and fields .

      Best Regards

      Hi Jochen,

      Thank you for your well-written and engaging essay. I agree 100% with your closing thought for the need of a relative realism, except that I would express it as a contextual realism, since context encompasses more than 4D (or 3D+1) inertial reference frames.

      You correctly assert that the key attributes of physical reality needed to explain quantum phenomena must include 1) finiteness and 2) extensibility. If physical context includes a non-zero ambient temperature, finiteness and extensibility are immediately accommodated. Absolute zero is an idealization that does not exist in reality, and the universe as a whole has an ambient temperature equal to its 2.7 K cosmic microwave background. For a contextual reality, a finite ambient temperature means that space itself is not infinitely continuous and position-momentum information is finite. A decreasing ambient temperature fine-grains space and creates new information to be discovered. In addition, when perfect measurement is defined with respect to a system's actual and objective context, empirical classicality is restored.

      In my essay I analyze the deeply held assumptions that have led to the widely-held conviction that objective physical reality is non-contextual. I develop a conceptual model of physical reality that is objective and contextual, that is fully compatible with empirical models of physics, and that eliminates quantum paradoxes. I would welcome your thoughts on it.

      Harrison Crecraft

        Dear Jochen,

        Thank you for your deep constructive response to my comment.

        You write:

        "... and on the other, has so far failed to produce any large-scale consensus."

        I believe that the FQXi contests are a good "field" for the start of the Big Brainstorming. Look, ideas are already the tenth contests, and physicists and mathematicians have not yet found consensus on the two main fundamental issues for physics, mathematics and cognition in general, which Carlo Rovelli writes about in Physics Needs Philosophy / Philosophy Needs Physics : "What is space?", "What is time?" And today, the time is very worrying for all of Humanity, and we must learn to find consensus on all issues. Especially on the basics of knowledge. Here, just Philosophy, "mother of all sciences" comes to the rescue .. Recall Hegel: "The owl of Minerva begins its flight only at dusk"...

        "... start with some reasonable assumptions and inferences about ontological matters, and see whether the quantum formalism can be reconstructed from there --- the project of finding a foundational principle for quantum mechanics."

        I believe that the search for the "fundamental principle" is necessary not only for quantum mechanics, but for knowledge in general.

        In an interview with mathematician and mathematical physicist Ludwig Faddeev ( in the journal "EXPERT" (2007), entitled "The equation of the evil spirit" it is written: «Academician Ludwig Faddeev believes that today mathematical rigor is more important than physical intuition and it is thanks to mathematics that a "unified theory of everything" will be built.

        The long-standing debate of scientists about what is more important - mathematical rigor or physical meaning, a correctly solved equation or an intuitive understanding of a natural phenomenon, continued throughout the 20th century, but at some time physicists seemed to win in it: Einstein as the creator of a special and general theory of relativity is better known to the average man than Poincare or Hilbert, Schrödinger is more popular than Weil, and Landau is more popular than Bogolyubov. But in recent decades, the situation began to change: it turned out that successful mathematical techniques have not just technical significance, but deep physical meaning. Mathematical intuition in solving increasingly complex physical problems may be more important than physical. And this caused a noticeable irritation of many great physicists. In the second half of the 20th century, a new generation of scientists appeared who could no longer be called pure physicists or mathematicians. Ludwig Faddeev is one of them. After graduating from the Physics Department of Leningrad University, he gained worldwide fame as a man who, together with his student Viktor Popov, solved the most complicated mathematical problems of the Yang - Mills theory, which later formed the basis of the theory of superstrings. The effects that were discovered were called "Faddeev-Popov spirits" and under this name entered all modern textbooks of theoretical physics. Faddeev is convinced that just as physics solved all the theoretical problems of chemistry, thereby "closing" chemistry, so mathematics will create a "unified theory of everything" and "close" physics. Faddeev is convinced that just as physics solved all the theoretical problems of chemistry, thereby "closing" chemistry, so mathematics will create a "unified theory of everything" and "close" physics. "

        But can mathematics, the "language of Nature" "close biology? ... Big doubts ... Big questions .. Everywhere is the problem of the ontological basis of knowledge. I believe that there will be Pavel Florensky: "We repeat: worldunderstanding is spaceunderstanding."

        I am very concerned that the crisis of understanding in the fundamentals of knowledge has spread to global society ... Let's begin this brainstorming session ... I score the highest rating for your constructiveness and the ideas of the "epistemic horizons". Please look at my ontological ideas and give critical comments .. .

        With kind regards, Vladimir

        Dear Fabien,

        thanks for your comment. I'm glad you found something to enjoy about my essay!

        Regarding your questions, I think the most common take would be that, like the halting problem, these difficulties don't occur for finite/discrete systems. So, for instance, the halting problem for finite state automata is commonly said to be decidable---by simple brute simulation, if need be.

        However, that's not actually a difference to the situation with Turing machines: you need to appeal to a computational system with fundamentally greater computational capacities to solve the halting problem of one with lesser power---you need a system with more states than a given FSA to solve that FSA's halting problem, or a system capable of performing an 'infinite' amount of computational steps to decide a TM's halting problem. Such an augmented system will, however, have itself another halting problem it---or systems of its class---can't solve, and needs a system of fundamentally greater power to solve.

        So the situation in the finite and continuous cases isn't really that different; the only distinction is that our intuition does not balk at imagining a system that has more states than a given system with finitely many states, the way it does at imagining one with a 'transfinite' number of states. But the problem only iterates: the halting problem of a system with finitely many states can be solved by one with more states, but what of that system? Either, you have an infinite number of system with a higher amount of states---but then, why disallow infinitely many states in the first place, as the total computational capacity of that collection will equal any Turing machine?

        Or, you have some finite system that's at the top of the hierarchy. Then, its halting problem will not be solvable by any concrete system, and the same problems will persist.

        This argument can be made more carefully, but in essence, I don't think that it suffices to merely restrict allowable systems to those with finitely many states.

        Another possibility would be to invert this reasoning: as the argument I present seems to imply the sort of 'deterministic evolution interspersed with random events' we actually observe, we could take that observation as evidence for the applicability of the argument.

        Does this address your question?

        Cheers

        Jochen

        Dear Jochen,

        I loved your essay, very interesting approach to reconstruct quantum mechanics from first principles. I like the epistemic horizons idea, and the diagonal argument making connection with undecidability. Very nice interpretation of Wheeler's suggestion that you mention in the conclusion. I also liked that you try to get close to the classical ideal of local realism by using what you define as relative realism. In this respect, you may find interesting, I hope, a result that QM can be formulated on the 3d space or 4d spacetime, rather than on the configuration space, and especially that this gives a local dynamics as long as there is no collapse (possibility that I think is still on the table, as explained in the attached pdf).

        Cheers,

        CristiAttachment #1: post-determined-block-universe.pdf

          Dear Jochen,

          Thank you for your reply. That there are hierarchies of halting problems was insightful.

          With regards to my initial question, I suppose I was mostly confused by the leap from the two states of coin tossing to infinitely many states at the core of any diagonalisation argument.

          As I said, I am just trying to restate what is actually being stated in your proof and in particular what are the necessary assumptions for the proof to hold. That the system can be in infinitely many states appears as such an assumption.

          That the system can be in infinitely many states does appear actually reasonable a priori, for we never know what "the" state of a system is before we measure it in some way.

          I actually think that the coin example could be used to go beyond the two state system. In fact m1 would still be "Head is showing once the coin has landed" but the state could be something much more complicated linked to the initial setting of the experiment...or to the mechanical state of the coin.

          Then I believe what your proof is saying is that:

          "Given that a system can be in infinitely many states, there necessarily exist states such that the outcome of some measurements on those states is undetermined"

          If that is the case, different physical theories can choose to work only with subsets of the states the system can be in (in the same way that one can decide to work with integers instead of the reals...in some sense, as long as this subclass of states forms a closed set under some dynamical rules and chosen operations, then it seems fine). Classical physics restricts the states to those that are determinable while QM embraces both kinds of states.

          Is that a fair restatement of what you are saying?

          Many thanks.

          Best,

          Fabien

          Dear Fabien,

          you're correct that in the essay as it is, the infinite number of states is an assumption. I made this somewhat more explicit in the Foundations of Physics article preceding this work, by introducing the notion of 'program world': physical states encode initial data, and programs take these as input, to spit out a measurement result. As there is a denumerably infinite quantity of programs, we get infinitely many possible measurements.

          Classical physics essentially emerges from this using coarse-graining: that is, once you're unable to distinguish between certain states, and thus, have only extracted an amount of information about the system that's sufficiently below the finiteness bound, you won't notice any quantum effects. So yes, this is, I think, in some sense what you're saying: you lump all the real numbers in some interval together, and don't distinguish between elements of the resulting set.

          Cheers

          Jochen

          Dear Harrison,

          thank you for your comment. I'm happy to see that some of my ideas seem to resonate with you.

          It's interesting you should mention contextuality---my earliest work in quantum mechanics was on that notion, and in a sense, you're right, you can think of a sort of 'contextual reference frame' in analogy to (perhaps generalization of) spatiotemporal reference frames. It wasn't primarily relativity theory I had in mind with the notion of relative realism, however, but merely the idea that we can attach the label 'real' to certain events only as relative to others---for instance, the electron's spin value being 'up' could be thought of as a claim about 'reality' only relatively to the measurement apparatus showing an 'up'-reading.

          Your notions regarding---if I interpret you correctly---an inherent thermal 'noise' making the acquiring of perfect information about a system impossible remind me of Nelsonian stochastic mechanics. Is there a connection?

          I will have a look at your essay---I hope I'll soon find the time to give it a good reading.

          Cheers

          Jochen

          Dear Christi,

          I'm happy that you found something you liked about my essay! Thanks for pointing me in the direction of your other papers---I'm always amazed, and a little bit humbled, at the depth and breadth of your ideas. I had, in fact, seen that paper before---one thing I'd been wanting to think about is how this relates to ideas by David Albert, who has proposed to explicitly 'pry apart' physical space and what he calls 'the space of physical determinables' to make sense of quantum weirdness. The latter seems clearly related to configuration space in some sense, so perhaps one could use your formalism to 'pull back' Albert's explanations into a familiar 3+1-arena, and see what they amount to.

          But that's hardly even an idea for an idea, so far.

          Anyway, you've given me quite the reading list, I'll try my best to eventually catch up, thanks!

          Cheers

          Jochen

          Dear Noson,

          thank you for your comment. I'm glad to get some endorsement from you---after all, some of the core ideas derive directly from your work. So I should really thank you!

          Cheers

          Jochen

          Dear Vladimir,

          I don't want to let this thread of conversation die, but I find myself more pressed for time than I had anticipated. So I'll have to try and be brief.

          First of all, I think I agree with your general concern (oh, and thank you for reminding me of the Hegel quote, it's a hopeful thought in these present times). I have struck up a similar conversation with Fabien Pailluson over at his essay page, about how questions, once 'systematized' and transferred into the domain of mathematically expressed science, may lose some of their original meaning---in other words, how our desire for quantifiable answers may lead to the loss of the original question's substance. Perhaps it is also of interest to you.

          I'll have to dash, but I promise to try and find the time to engage with your essay. Thanks again for your kind comments!

          Cheers

          Jochen

          Dear Jochen,

          Thank you for the reply and the interest in my mentioned papers. In the one with the representation of the wavefunction on space or spacetime, the representation, albeit complicated, is just like a classical field theory, with infinite-dimensional vector fields satisfying some global gauge symmetry. But once we put aside the differences in the complexity of the theory, as I said, we see it's just a classical field theory. This as long as no collapse takes place. I'm not sure if David Albert would find this at odds to his proposal to teach QM and explains how it differs from classical mechanics based on the fact that the wavefunction lives on the configuration space. Now we see that this was only a representation, and the things are as classical as it gets, including being local. The difference occurs if there is a collapse. Collapse, for taking place everywhere in space simultaneously, introduces nonlocality, and because of collapse, entanglement leads to Bell correlations. Now, one can say, "assuming that your representation is true". It is true, I mean a correct representation, and maybe there can be simpler or more natural ones. But both mine and the wavefunction on the configuration space are just representations. Mine, as opposed to the wavefunction one, (1) makes explicit locality and when exactly it's violated, and (2) is consistent with the idea of "ontology on space or spacetime". So there is no need to appeal to ontology on configuration space, not that this was a problem, but I submit that this is NOT the characteristic of quantum mechanics, since there is no difference here. The key difference is brought in by collapse.

          Now, about collapse, the paper I attached to my previous comment can be taken as independent on the Phys Rev one I linked in the same comment. But to me they are related. The one about the post-determined block universe makes use of the fact that the ontology of the representation of the wavefunction is on space or rather spacetime. But it's not only this, it proposes an interpretation of QM where there is no collapse and the outcomes are still definite (so it's not MWI, it's just unitary single worlds). But earlier I stated that the key difference between QM and classical is isolated in the collapse. And in the other paper, that collapse is not necessary, it can happen unitarily. And in fact, if there would be discontinuous collapse, it would be undesirable, like breaking conservation laws, relativity of simultaneity, the evolution law, and is in tension with the Wigner-Bragmann derivation of the wavefunction for any spin and its dynamics for free particles, from the Poincaré symmetry. And locality. Now, most people think that all these are a small price to pay. For me, since I care about relativity too, it's a too big price.

          OK, so back to isolating quantumness. How can I say that quantumness is not in unitary evolution, since it is equivalent to a classical one, but also say that the collapse may not exist? Isn't there a contradiction between these? Indeed, from the post-determined BU paper follows that the difference is not in the collapse either, at least in my interpretation without discontinuous collapse. The key difference, I think, is deeper, and need to be found, but I hint in that paper that it has to do with some topological constraints which can prevent most of the local solutions to extend globally, leaving to a zero-measure set of solutions which look as fine-tuned to go around Bell's theorem while still being local. Now, you may disagree with the post-determined BU, since I didn't prove that this is the case yet, but at least the paper with the representation on 3d space can only be refuted if some mistake is found in my proof. So at least for now the best way to isolate the quantumness is in the collapse, more precisely, the fact that it takes place globally on all of the degrees of freedom of the fields on 3d which I use to represent the wavefunction. And this can have the same effect on classical fields too, as we can see if we take as example my representation.

          Thanks again for the comments,

          Cheers,

          Cristi