Dear Eckard Blumschein,

I think you misunderstood my brief reply.

"To me, arguments are more important than votes." I completely agree !

I was (and still am) going to have look at your essay in order to give you a more constructive answer, whether it is on my forum or yours. I just did not find the time yet.

"Well, you have a hunch that what you learned is always true. Maybe, Alexei Grinbaum himself may challenge my unwelcome reasoning?"

I am sorry that you have this hunch, and I am afraid that this is pretty far from the truth. This is my essay and not Alexei's. Again, I will glad to give you an answer whenener I found the time to give a constructive comment.

Best,

Hippolyte

Dear Edwin,

Thank you for your comment.

"I believe that physicists project math structure onto the world, and then come to believe that the physical world actually has that structure. Your Penrose triangle is a perfect example. The 2D structure projected on paper is not a 3D reality."

Indeed, I believe this might be another way to go. I prefer another metaphysical approach, that would rather see this projection as epistemological (projection of the meta-theoretical on the theoretical).

I guess your conclusions on Bell are not so far from my Gödelian hunch, but instead of analyzing this in the relationship between meta-theoretical (observer, measurement) and theoretical (quantum systems), you prefer to have a more realistic / ontological approach, and thus be sceptical towards the projection (which is equivalent to dropping the universality assumption ?).

I will have you a look at your essay as soon as I can,

Best,

Hippolyte

Dear Hippolyte,

sorry for taking so long to respond. I'm afraid I've somewhat overstretched my time budget in starting so many threads of correspondence in this essay contest.

One thing I've been thinking about, which I think needs some more thinking about (?), is how one could formulate these self-referential 'chains' of observables within my framework. Basically, I construct an 'inconsistent' observable by means of Lawvere's theorem---something not too dissimilar from Russell's set that contains itself iff it does not contain itself. It would be interesting to see whether one could extend this to yield something like the 'liar-cycles' which have no consistent assignment of truth values. Perhaps one could 'daisy-chain' the Lawvere argument.

Another question, it seems, might be whether there's an analogue to something like Yablo's infinite set of paradoxical sentences, too. This concerns sentences of the form:

(S_n): For each i > n, S_i is not true

Assuming S_n to be true, we get some later S_k, k > n, such that it is both true and not true; but then, assuming that each S_i is not true, yields the conclusion that S_n must be true, because that S_i for i > n is not true is exactly what it asserts. Hence, we obtain a contradiction.

This is an 'indirect' sort of self-reference, in that each sentence does not refer to itself, either directly or via a circle of intervening propositions, but rather, to the whole set of sentences, with a contradiction arising from that. I'm not sure, however, how one would go about finding an analogue of this in terms of observables.

Anyway, that's still sorta open-ended speculation on my part. I'd be very interested to hear your thoughts on my essay!

Cheers

Jochen

Dear Hippolyte,

Hopefully you understood my reply. I would just like to add that I don't argue against idealization but against taking ideals for reality.

And I am sure any reply by a Greenbaum was not more convincing to me than your one.

Best,

Eckard

Dear Jochen,

No problem, I myself struggle to find the time to read and discuss other essays.

Concerning building a "Liar cycle" within your framework, I guess an idea would be to try to retrieve a proof of the Kochen-Specker theorem (e.g. Mermin-Peres square or the KCBS inequality) using Lawvere's theorem as you did with Bell inequality ? The major difference being that in general, these proofs (but not KCBS) are state-independent.

Concerning the Yablo paradox. I also happened to ask myself the same question. Indeed, the Yablo paradox is a kind of indirect Liar, and I also wondered if one could find some proof of quantum contextuality that would share a similar structure. Unfortunately, so far, I also have no idea how such referential structure could be formulated with observables.

I have finally found the time to read your essay, I'll leave a comment on your section !

Best,

Hippolyte

Dear Hippolyte,

thank you for a well-written essay, that I enjoyed very much reading.

It was a pleasant surprize to find that your main arguments come from the (semantic approach to) the quantum measurement problem analyzed through "Wigner's Friend Paradox". In fact, this is my main research topic, despite my essay focuses on something else. I think that your analysis based on objectes, meta-objects and meta-meta-objects is promising. If anything, although I intuitively understand how these problem realte, I would have liked a more explicit comparison between the quantum paradoxes you reassess and the logical paradox of the liar.

Anyways, congratulation on a great essay and I wish you good luck for the contest!

Flavio

Hi Hippolyte,

Thank you for the very beautifully written essay. The introduction section discussing the topology of contextuality, the tension relating between local and global observations combined with Penrose Triangle was really very intuitive! Also the similarities between Hardy's paradox and the Liar's paradox were very clearly articulated.

The Wigner's friend paradox and freindification has always sat a little uneasily with me, although that is the experimental physicist in me coming out. Your conclusion ``Quantum paradoxes are not physical, but emerge from a lack of metaphysical distancing'' is certainly on the right track to explain these theoretical paradoxes.

Again, thanks for the great essay. It was really well written and I really enjoyed it! I hope you have enough time to take a look at my essay too.

Thanks,

Michael

    Hi Michael,

    Thank you very much for your nice comment.

    I will try to read your essay as soon as I can !

    All the best,

    Hippolyte

    Dear Hippolyte,

    I enjoyed a number of things in your essay. Indeed, collaborators and I are presently (finally) constructing a response to the Frauchiger-Renner issue, and there is a small section of our paper that concerns a question of self-reference, which we dismiss summarily. Perhaps though there is a more solid argument for what we want to assert, and perhaps your paper, even if not directly addressing our concern, will inspire an idea in us. I encourage you to continue these lines of thought. "Although it can describe anything, a quantum description cannot include everything." - Asher Peres. Hear hear!

    You correctly characterize QBism as having a "movable cut [which] is functional and not ontological." Jacques Pienaar has recently made a very nice contribution toward mathematizing the movability of the cut from a QBist perspective. In case it is of interest to you, it can be found here:

    https://arxiv.org/pdf/2004.14847.pdf

    I don't know if any of that will be expressible in your framework, but it might be worth thinking on.

    All the best,

    Chris Fuchs

    6 days later

    Dear Hippolyte,

    1) Pigs can fly.

    2) This statement is false.

    Both of the above statements have something wrong with them. For statement 1, one would need knowledge of pigs to know that the statement is false. For statement 2, there is no need for external information; the knowledge of logic is all that is needed. If one did not know "logic" then how could the flaw with statement 2 and logic itself be explained? One would need to step outside of logic to explain the nature of logic. Languages as we know them (yes, even the communicates of animals) have logic, so we might not know a way to communicate with a being that did not possess logic. "Logic" seems to be hard-wired by evolution into our language center well before we became human because in evolution nothing so useful and complete language just appears.

    Time is the problem with Quantum Theory. We live in the structure of time, so thinking outside of that structure is difficult. What if time was a function of entropy? The problem with entropy is that it is a collective state. A lone electron does not have a temperature or entropy state. We need an ensemble of atoms to define a state of entropy, which would define the "state" of time. Time ends up being the non-local of space-time. Going forward and back in time is possible and common at the quantum scale (I like to say "undefined" in space-time), but going "back" in macroscopic entropy is not possible. A positron could be considered an electron going backwards in time. A human-size time machine has entropy and must interact with the rest of the Universe to lower its entropy. Thermal dynamics is not reversible, while Quantum mechanics is fully reversible. An electron could kill its grandfather in childhood, but your grandfather is safe from that fate.

    Sincerely,

    Jeff Schmitz

      Dear Hippolyte,

      This is by far the best essay I read until now. It is highly illuminating, it is possible to understand it without a deep dig into literature first and one learns why becoming meta-observer is not a good thing:). 10/10.

        Hippolyte -

        A brilliant essay - and I'd like to thank Irek for pointing it out.

        You've done a masterful job at building the theoretical case for what is intuitively obvious (at least since Godel) - that the world is fundamentally "liar-like" and therefore fraught with undecidables.

        Although my essay lacks the rigor of yours, we are saying the same thing. Undecidability is a feature, not a bug, of physical and mathematical reality. I argue we can also extend this to the mind, and from an examination of the features of autonoetic consciousness (the mind looking at itself looking at itself) build a robust approach to understanding reality.

        So far your's is the best essay I have read.

        -George Gantz: The Door That Has No Key: https://fqxi.org/community/forum/topic/3494

          Dear Jeffrey,

          Indeed logic seems to be at the core of ability to communicate. However, what kind of logic ? To us, humans, it seems that our language and concepts, build on how we experience our interaction with the world, is based on some "classical logic". So should we revise our classical logic in order to adapt it to quantum phenomena ? In my opinion, it is not necessary.

          Do we live inside the structure of time, or does time emerges because we are not "meta-universal object" but in fact we are part of the Universe, and try to describe it from inside ? Your reflexion on "undefined space-time and entropy" is quite interesting ! But if "time ends up being the non-local of space-time", isn't there a self-referential issue here ?

          All the best,

          Hippolyte

          Dear George,

          Thank you for your comment.

          In fact, Hofstadter already pointed out that consciousness might also emerge from these "strange loops". You could look at the Cartesian definition of the cogito : "Cogito ergo sum". Every time I think, I am conscious about the fact that I am thinking, and so that I am a "thinking being". The definition of our own "being" seems to be intricated with self-consciousness, i.e. a form of self-referential thinking. However, since consciousness seems not to be very well defined in physics, I prefer to remain sceptical and be careful towards linking, maybe too hastily, consciousness, time or reality. Nevertheless, I would agree with you that, very interestingly, they seem to share some common logical structure.

          All the best,

          Hippolyte

          Hippolyte,

          One of the best wrestling matches against quantum theory I've seen! Excellent stuff. And of course I agree the conclusive question; "..quantum theory is more paradoxical than other physical theories. But is Nature itself paradoxical?"

          However might there be a different possible starting assumption and mechanistic physical measurement sequence producing the data? Shockingly I suggest there might. Neils Bohr carefully made NO assumptions about pair morphology, but if we assume simple Poincare sphere vector distributions, and the same for polariser electrons, we have TWO distribution; polar curl and equatorial linear, going inversely to 0 over 90 degrees. Whats more, the change rates are Cos Theta Latitude (of the absorption interaction tangent point).

          We now only need 'entanglement' as matching axis orientation angle, and vector addition in 3D, we can produce Malus' Law at the 2nd (photomultiplier) interaction, and NOT require non-locality! (think of it as changed ellipticity of re-emission, only the major axis triggering ONE channel, or 50:50 if circular polarity. I identify John Bell anticipated such a solution (touched on in this years essay but given in more detail last year). It was independently verified to violate bells inequalities by Trails computer code and plot.

          Few seem able to follow this (DFM) process. I hope you can. Do question it.

          But well done for your essay and good understanding of QM.

          Very Best

          Peter

          Hippolyte,

          There is no major self-referential issue because time is a function of (in reference to) entropy. The observer effecting the observed state of a particle is a self-reference issue which is dealt with in Quantum Mechanics. Having time as a function of entropy ends up looking just like Quantum Mechanics (although harder to work with) with a non-local time instead of non-local space.

          The self-consistent system of communication needs something outside of that system to define that system. "Logic" is one of the building blocks. We think of logic as being created by humans in the past few centuries, but training an animal requires the "if then" of a reward. Sometimes you can watch an animal solve a problem. This is primordial logic.

          All the best,

          Jeff

          P.S. I know the contest is over, but, if possible, I would still like your opinion on my essay. Thank you.

          Write a Reply...