If you are aware of an interesting new academic paper (that has been published in a peer-reviewed journal or has appeared on the arXiv), a conference talk (at an official professional scientific meeting), an external blog post (by a professional scientist) or a news item (in the mainstream news media), which you think might make an interesting topic for an FQXi blog post, then please contact us at forums@fqxi.org with a link to the original source and a sentence about why you think that the work is worthy of discussion. Please note that we receive many such suggestions and while we endeavour to respond to them, we may not be able to reply to all suggestions.

Please also note that we do not accept unsolicited posts and we cannot review, or open new threads for, unsolicited articles or papers. Requests to review or post such materials will not be answered. If you have your own novel physics theory or model, which you would like to post for further discussion among then FQXi community, then please add them directly to the "Alternative Models of Reality" thread, or to the "Alternative Models of Cosmology" thread. Thank you.

Please also note that we do not accept unsolicited posts and we cannot review, or open new threads for, unsolicited articles or papers. Requests to review or post such materials will not be answered. If you have your own novel physics theory or model, which you would like to post for further discussion among then FQXi community, then please add them directly to the "Alternative Models of Reality" thread, or to the "Alternative Models of Cosmology" thread. Thank you.

Contests Home

Current Essay Contest

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

Previous Contests

**Undecidability, Uncomputability, and Unpredictability Essay Contest**

*December 24, 2019 - April 24, 2020*

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss • winners

**What Is “Fundamental”**

*October 28, 2017 to January 22, 2018*

*Sponsored by the Fetzer Franklin Fund and The Peter & Patricia Gruber Foundation*

read/discuss • winners

**Wandering Towards a Goal**

How can mindless mathematical laws give rise to aims and intention?

*December 2, 2016 to March 3, 2017*

Contest Partner: The Peter and Patricia Gruber Fund.

read/discuss • winners

**Trick or Truth: The Mysterious Connection Between Physics and Mathematics**

*Contest Partners: Nanotronics Imaging, The Peter and Patricia Gruber Foundation, and The John Templeton Foundation*

Media Partner: Scientific American

read/discuss • winners

**How Should Humanity Steer the Future?**

*January 9, 2014 - August 31, 2014*

*Contest Partners: Jaan Tallinn, The Peter and Patricia Gruber Foundation, The John Templeton Foundation, and Scientific American*

read/discuss • winners

**It From Bit or Bit From It**

*March 25 - June 28, 2013*

*Contest Partners: The Gruber Foundation, J. Templeton Foundation, and Scientific American*

read/discuss • winners

**Questioning the Foundations**

Which of Our Basic Physical Assumptions Are Wrong?

*May 24 - August 31, 2012*

*Contest Partners: The Peter and Patricia Gruber Foundation, SubMeta, and Scientific American*

read/discuss • winners

**Is Reality Digital or Analog?**

*November 2010 - February 2011*

*Contest Partners: The Peter and Patricia Gruber Foundation and Scientific American*

read/discuss • winners

**What's Ultimately Possible in Physics?**

*May - October 2009*

*Contest Partners: Astrid and Bruce McWilliams*

read/discuss • winners

**The Nature of Time**

*August - December 2008*

read/discuss • winners

Current Essay Contest

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

Previous Contests

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss • winners

read/discuss • winners

How can mindless mathematical laws give rise to aims and intention?

Contest Partner: The Peter and Patricia Gruber Fund.

read/discuss • winners

Media Partner: Scientific American

read/discuss • winners

read/discuss • winners

read/discuss • winners

Which of Our Basic Physical Assumptions Are Wrong?

read/discuss • winners

read/discuss • winners

read/discuss • winners

read/discuss • winners

Forum Home

Introduction

Terms of Use

RSS feed | RSS help

Introduction

Terms of Use

*Posts by the author are highlighted in orange; posts by FQXi Members are highlighted in blue.*

RSS feed | RSS help

RECENT POSTS IN THIS TOPIC

**Sue Lingo**: *on* 10/13/20 at 5:15am UTC, wrote Congratulations Klass Landsman... In that "Quantum Mechanics Needs a New...

**Dale Gillman**: *on* 9/16/20 at 7:47am UTC, wrote Hi Dr. Landsman, I sent you an email a few weeks ago. I'd just like to...

**Hector Zenil**: *on* 8/15/20 at 21:14pm UTC, wrote Dear Klaas, Congratulations for your essay and prize! Could you please...

**Peter Morgan**: *on* 7/29/20 at 17:13pm UTC, wrote Fervent congratulations, Klaas. I have been a passionate follower of your...

**John Cox**: *on* 6/28/20 at 21:37pm UTC, wrote Dr. Landsman, Not to detract in any way from the QM arguments you...

**Steve Dufourny**: *on* 5/28/20 at 22:01pm UTC, wrote Lol, are you just good in studying the works of known thinkers and mix...

**Klaas Landsman**: *on* 5/22/20 at 13:29pm UTC, wrote Dear Irek, thank you, I will do my best to read your essay asap. Best...

**Klaas Landsman**: *on* 5/22/20 at 13:27pm UTC, wrote Hi Emily, Nice to hear from you and the point you make is excellent,...

RECENT FORUM POSTS

**Steve Dufourny**: "The energetical problem is just a part , the fusion I hope will be soon..."
*in* Global Collaboration

**Kuyukov V. abakan**: "Holography and time"
*in* Tensor networks as a data...

**Lungani **: "I Everyone I'm New here it an honour to be here and join you to share our..."
*in* Why Time Might Not Be an...

**Lungani **: "I Everyone I'm New here it an honour to be here and join you to share our..."
*in* Why Time Might Not Be an...

**Steve Dufourny**: "Hi Mr Schindler , I d like to explain you something, sorry to be off topic,..."
*in* Tensor networks as a data...

**Steve Dufourny**: "It is very important this general idea and I need help of mathematicians to..."
*in* Alternative Models of...

**Steve Dufourny**: "My intuitive equation considering the cold dark matter encoded in nuclei..."
*in* Alternative Models of...

**Jack James**: "I noticed this was a 4 dimensional approach also. ..."
*in* Unification of the four...

RECENT ARTICLES

*click titles to read articles*

**Can Choices Curve Spacetime?**

Two teams are developing ways to detect quantum-gravitational effects in the lab.

**The Quantum Engine That Simultaneously Heats and Cools **

Tiny device could help boost quantum electronics.

**The Quantum Refrigerator**

A tiny cooling device could help rewrite the thermodynamic rule book for quantum machines.

**Time to Think**

Philosopher Jenann Ismael invokes the thermodynamic arrow of time to explain how human intelligence emerged through culture.

**Lockdown Lab Life**

Grounded physicists are exploring the use of online and virtual-reality conferencing, and AI-controlled experiments, to maintain social distancing. Post-pandemic, these positive innovations could make science more accessible and environmentally-friendly.

RECENT FORUM POSTS

RECENT ARTICLES

Two teams are developing ways to detect quantum-gravitational effects in the lab.

Tiny device could help boost quantum electronics.

A tiny cooling device could help rewrite the thermodynamic rule book for quantum machines.

Philosopher Jenann Ismael invokes the thermodynamic arrow of time to explain how human intelligence emerged through culture.

Grounded physicists are exploring the use of online and virtual-reality conferencing, and AI-controlled experiments, to maintain social distancing. Post-pandemic, these positive innovations could make science more accessible and environmentally-friendly.

FQXi FORUM

April 21, 2021

CATEGORY:
Undecidability, Uncomputability, and Unpredictability Essay Contest (2019-2020)
[back]

TOPIC: Undecidability and indeterminism by Klaas Landsman [refresh]

TOPIC: Undecidability and indeterminism by Klaas Landsman [refresh]

The famous theorem of Bell (1964) left two loopholes for determinism underneath quantum mechanics, viz. non-local deterministic hidden variable theories (like Bohmian mechanics) or theories denying free choice of experimental settings (like 't Hooft's cellular automaton interpretation of quantum mechanics). However, a precise analysis of the role of randomness in quantum theory and especially its undecidability closes these loopholes, so that-accepting the statistical predictions of quantum mechanics-determinism is excluded full stop. The main point is that Bell's theorem does not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences). It only extracts the long-run relative frequencies derived from such series, and hence merely asks hidden variable theories to reproduce certain single-case Born probabilities. For the full outcome sequences of a fair quantum coin flip, quantum mechanics predicts that these sequences (almost surely) have a typicality property called 1-randomness in logic, which is definable via computational incompressibility à la Kolmogorov and is much stronger than e.g. uncomputability. Chaitin's remarkable version of Gödel's (first) incompleteness theorem implies that 1-randomness is unprovable (even in set theory). Combined with a change of emphasis from single-case Born probabilities to randomness properties of outcome sequences, this is the key to the above claim.

Klaas Landsman (1963) is a professor of mathematical physics at Radboud University (Nijmegen, the Netherlands). He was a postdoc at DAMTP in Cambridge from 1989-1997. He mainly works in mathematical physics, mathematics (notably non-commutative geometry), and foundations of physics. His book Foundations of Quantum Theory: From Classical Concepts to Operator Algebras (Springer, 2017, Open Access) combines these interests. He is associate editor of Foundations of Physics and of Studies in History and Philosophy of Modern Physics and is a member of FQXi.

Dear Prof. Landsmann,

this is a very exciting essay! I have only given it a first pass, but as far as I understand, you propose to extend the scope of Bell's theorem from the statistics of ensembles of measurement outcomes to the characteristics of individual outcome strings, thus uncovering the incompatibility of quantum mechanics with (a certain notion of) determinism.

I think...

view entire post

this is a very exciting essay! I have only given it a first pass, but as far as I understand, you propose to extend the scope of Bell's theorem from the statistics of ensembles of measurement outcomes to the characteristics of individual outcome strings, thus uncovering the incompatibility of quantum mechanics with (a certain notion of) determinism.

I think...

view entire post

report post as inappropriate

Dear Jochen, Thank you for this kind and detailed post, which summarizes my paper well. I am well aware of the literature you cite (including your own 2018 paper, which I studied in detail with an honours student), but the rules for this essay contest exclude an extensive bibliography - I cite most of these papers in my Randomness? What randomness? paper, ref. [20] in my essay, available Open...

view entire post

view entire post

Dear Klaas,

thanks for your reply. I seem to have gotten the gist of your argument right. I agree that, from the point of view you suggest, the 'determinism' of Bohmian mechanics (I can't comment too much on 't Hooft's cellular automata) looks sort of question-begging---sure you can shunt all the randomness to the initial conditions, but that doesn't really make it disappear.

I did have a quick look at your 'Randomness'-paper, which will surely make for some interesting reading once I get some time to give it a more in-depth reading, hence why I got confused regarding the source of the 'statistical' nature of the non-signalling constraint. The Valentini paper you mention is 'Signal-Locality in Hidden-Variables Theories'?

Finally, please tell the poor honors student who had to wade through my bloviations that I'm sorry. ;)

Cheers

Jochen

report post as inappropriate

thanks for your reply. I seem to have gotten the gist of your argument right. I agree that, from the point of view you suggest, the 'determinism' of Bohmian mechanics (I can't comment too much on 't Hooft's cellular automata) looks sort of question-begging---sure you can shunt all the randomness to the initial conditions, but that doesn't really make it disappear.

I did have a quick look at your 'Randomness'-paper, which will surely make for some interesting reading once I get some time to give it a more in-depth reading, hence why I got confused regarding the source of the 'statistical' nature of the non-signalling constraint. The Valentini paper you mention is 'Signal-Locality in Hidden-Variables Theories'?

Finally, please tell the poor honors student who had to wade through my bloviations that I'm sorry. ;)

Cheers

Jochen

report post as inappropriate

Dear Prof. Landsman,

I am no mathematician, but it strikes me that all attempts to define randomness as an inherent objective property of sequences in math, or of events in nature, are doomed to failure precisely because randomness (or its opposite, determinism) is the assertion of an agent (mathematician or physicist). This fact aligns it with prediction and computation, which are the...

view entire post

I am no mathematician, but it strikes me that all attempts to define randomness as an inherent objective property of sequences in math, or of events in nature, are doomed to failure precisely because randomness (or its opposite, determinism) is the assertion of an agent (mathematician or physicist). This fact aligns it with prediction and computation, which are the...

view entire post

report post as inappropriate

Dear Dan,

Thanks for your comments. I would agree that (in)determinism is not a property of "Nature" but of physical theories, which indeed are assertions of agents. However, this does not seem to block the possibility of randomness of sequences or other mathematical structures.

I do not understand your remark that "In contrast, as a product of individual coin flip events, the latter sequence is certainly less probable than the former." According to standard probability theory they _are_ equally probable.

Your comments are not at all merely tangential to my topic: they go to the heart of it!

Best wishes, Klaas

Thanks for your comments. I would agree that (in)determinism is not a property of "Nature" but of physical theories, which indeed are assertions of agents. However, this does not seem to block the possibility of randomness of sequences or other mathematical structures.

I do not understand your remark that "In contrast, as a product of individual coin flip events, the latter sequence is certainly less probable than the former." According to standard probability theory they _are_ equally probable.

Your comments are not at all merely tangential to my topic: they go to the heart of it!

Best wishes, Klaas

Hi, again

I simply mean that a series of coin tosses would look much more like mixed zeros and ones than a sequence of all ones (about half and half heads and tails as opposed to all heads). I think what you mean ("standard probability theory") is that ANY sequence, itself considered as a pre-existing entity, that is arbitrarily drawn from an infinite set of possible such sequences is equally probable (or rather improbable)? But my point is that such pre-existing sequences don't exist. There is only each event of a coin toss and the records we keep of them. In a series of such records, more of them will accumulate mixed ones and zeros than a straight run of ones, for example.

Thanks for your patience.

Dan

report post as inappropriate

I simply mean that a series of coin tosses would look much more like mixed zeros and ones than a sequence of all ones (about half and half heads and tails as opposed to all heads). I think what you mean ("standard probability theory") is that ANY sequence, itself considered as a pre-existing entity, that is arbitrarily drawn from an infinite set of possible such sequences is equally probable (or rather improbable)? But my point is that such pre-existing sequences don't exist. There is only each event of a coin toss and the records we keep of them. In a series of such records, more of them will accumulate mixed ones and zeros than a straight run of ones, for example.

Thanks for your patience.

Dan

report post as inappropriate

Dear professor Landsman (Beste Klaas);

First: Thank you for the very clear and understandable historical introduction.

Quote “I conclude that deterministic hidden variable theories compatible with quantum mechanics cannot exist; Bell’s theorem leaves two loopholes for determinism (i.e. nonlocality or no choice) because its compatibility condition with quantum mechanics is not...

view entire post

First: Thank you for the very clear and understandable historical introduction.

Quote “I conclude that deterministic hidden variable theories compatible with quantum mechanics cannot exist; Bell’s theorem leaves two loopholes for determinism (i.e. nonlocality or no choice) because its compatibility condition with quantum mechanics is not...

view entire post

report post as inappropriate

Dear Profesor Landsman,

I am still waiting for your comment.

Sorry for the comparison with "The BB theory"

Wilhelmus de Wilde

report post as inappropriate

I am still waiting for your comment.

Sorry for the comparison with "The BB theory"

Wilhelmus de Wilde

report post as inappropriate

Professor Landsman,

I must admit your approach took me back in time to the ancient Greek insight that cosmos/order/certainty came out of or is grounded on chaos/disorder/uncertainty.

If randomness (as apparent lack of patterns and predictability in events ) is a measure of uncertainty, and since outcomes over repeated trials of the same event often follow a probability distribution then the relative frequency over many trials is predictable (so in a way Von Mises was right to derive probability theory from randomness even though he failed in that attempt but helped Kolmogorov succed). In other words randomness could be more fundamental than probability theory that permeates QM and Statistical mechanics since Boltzmann, even though your concept of randomness is in the mathematical sense of Chaitin-Kolmogorov, not Von Mises sense.

Coming back to our theme, if Godel's theorems tells us that the fields of mathematics and physics (according to Hilbert's axiomatic programme) cannot be grounded on logic(in classical and symbolic sense, but who knows maybe one day it could be grounded on a different type of logic, say in Brouwer-Heyting intuitionism or Moisil-Lukasiewicz many valued logic) and Bell's theorem that QM cannot be grounded on classical determinism or any underlying hidden variables theory a la deBroglie-Bohm-Vigier then how do we know that we haven't been using undecidable results to prove our theorems in both mathematics and physics throughout millenia? (like the ones we found in Euclidian geometry so that Hilbert had to re-axiomatize it)

Does this mean that ultimayely, randomness and chaos could be the ground for both mathematics and physics, with their logical necessity and deterministic or indeteministic laws and that ultimately the Greeks were right?...

report post as inappropriate

I must admit your approach took me back in time to the ancient Greek insight that cosmos/order/certainty came out of or is grounded on chaos/disorder/uncertainty.

If randomness (as apparent lack of patterns and predictability in events ) is a measure of uncertainty, and since outcomes over repeated trials of the same event often follow a probability distribution then the relative frequency over many trials is predictable (so in a way Von Mises was right to derive probability theory from randomness even though he failed in that attempt but helped Kolmogorov succed). In other words randomness could be more fundamental than probability theory that permeates QM and Statistical mechanics since Boltzmann, even though your concept of randomness is in the mathematical sense of Chaitin-Kolmogorov, not Von Mises sense.

Coming back to our theme, if Godel's theorems tells us that the fields of mathematics and physics (according to Hilbert's axiomatic programme) cannot be grounded on logic(in classical and symbolic sense, but who knows maybe one day it could be grounded on a different type of logic, say in Brouwer-Heyting intuitionism or Moisil-Lukasiewicz many valued logic) and Bell's theorem that QM cannot be grounded on classical determinism or any underlying hidden variables theory a la deBroglie-Bohm-Vigier then how do we know that we haven't been using undecidable results to prove our theorems in both mathematics and physics throughout millenia? (like the ones we found in Euclidian geometry so that Hilbert had to re-axiomatize it)

Does this mean that ultimayely, randomness and chaos could be the ground for both mathematics and physics, with their logical necessity and deterministic or indeteministic laws and that ultimately the Greeks were right?...

report post as inappropriate

Hi Mihai, Thank you for these interesting comments. I agree with your last point: ultimately, all laws derive from randomness! A point made repeatedly by my colleague Cristian Calude is that randomness cannot imply lawlessness, since any (infinite) sequence necessarily possesses some arithmetic regularities (Baudet's Conjecture/van der Waerden's Theorem. It should be stressed that random sequences of the kind studied in Kolmogorov complexity theory are far from lawless in the sense of Brouwer - they are pretty regular in satisfying all kinds of statistical laws that follows from 1-randomness, as I explain in my essay. I am less sure about your observation that the theorems of mathematics we use in physics are grounded on undecidable results, e.g. the derivation of the incompleteness results by Gödel and Chaitin itself is based on decidable propositions only (at least as far as I know). Also, I would not say that Gödel's theorems imply that mathematics cannot be grounded on logic, except when you mean "grounded" in Hilbert's sense, namely a proof of consistency. Without knowing that e.g. ZFC is consistent, it is still a logical language in which we do our mathematics, most of which is decidable in ZFC. Best wishes, Klaas

Thank you for your rely Prof. Landsman. Indeed, I meant consistency of ZFC in Hilbert sense, which according to Godel's second incompleteness theorem, the consistency of ZFC cannot be proved within ZFC itself (unless it is actually inconsistent). In other words, if ZFC as a deductive formal axiomatic system of set theory as mathematics and foundational for most of classical mathematics, then the consistency of ZFC cannot be demonstrated in this system alone. Given that, so far, ZFC has proved immune to the classical set theory paradoxes of Cantor, Russell or Burali- Forti, this of course does not imply that ZFC is absolutely (categorically) free of any potential inner contradictions that might come up one day, wouldn't you agree?...

The relativity of set-theoretic concepts, as the ones used in ZFC was signalled quite early on with the Lowenheim-Skolem theorem that subsequently led to Skolem's paradox, which implies that, if ZFC is consistent then its axioms must be satisfaible within a countable domain, even though they prove the existence of uncountable sets, in Cantor's sense (1922). Nowadays, we know that there are many mathematical statements undecidable in ZFC and other axioms need to be added in order to prove results in branches of mathematics such category theory or algebraic geometry, whose theorems are currently being used in some modern theories of physics today, and which work with Tarski-Grothendieck set theory for instance, one of many extensions of ZFC. Best wishes, Mihai

report post as inappropriate

The relativity of set-theoretic concepts, as the ones used in ZFC was signalled quite early on with the Lowenheim-Skolem theorem that subsequently led to Skolem's paradox, which implies that, if ZFC is consistent then its axioms must be satisfaible within a countable domain, even though they prove the existence of uncountable sets, in Cantor's sense (1922). Nowadays, we know that there are many mathematical statements undecidable in ZFC and other axioms need to be added in order to prove results in branches of mathematics such category theory or algebraic geometry, whose theorems are currently being used in some modern theories of physics today, and which work with Tarski-Grothendieck set theory for instance, one of many extensions of ZFC. Best wishes, Mihai

report post as inappropriate

Dear Klaas Landsman,

interesting essay, i like it. Especially the fact that 'randomness' does not imply 'lawlessness', a result that is often overlooked when talking about randomness.

I would be happy if you would comment on my essay where i try to figure out similar links between logics and physics.

post approved

interesting essay, i like it. Especially the fact that 'randomness' does not imply 'lawlessness', a result that is often overlooked when talking about randomness.

I would be happy if you would comment on my essay where i try to figure out similar links between logics and physics.

post approved

Dear Klass,

I found your essay truly brilliant. Combining in a clear manner Quantum mechanics, Goedelian-like results and using them for a discussion of the possibility of deterministic theories of quantum mechanics.

Since this is not my area, I must say I was quite blown away by some statements such as " fair classical coins do not exist". I am still recovering in fact and will have to look at the references you gave in your essay.

With regards to that statement, I wanted to make sure I understood what is meant here:

- Do you mean to say that a coin whose motion is determined by Newton's (or Hamilton's) equations of motion cannot eventually give rise to a fair coin toss (unless true fair randomness is put in the initial conditions)? or

- Do you mean to say that a fair coin model within classical probability theory is actually not fair?

I believe this is the former but just want to make sure.

Finally, given that the argument relies, as far as I understood, on infinite sequences, is there a finite version of it whereby, say, a membership function (for the Kolmogorov random character of a sequence) would be in between 0 and 1 for any finite N but would tend to zero when N tends to infinity?

Congratulations again on this very nice essay.

Many thanks.

Best,

Fabien

report post as inappropriate

I found your essay truly brilliant. Combining in a clear manner Quantum mechanics, Goedelian-like results and using them for a discussion of the possibility of deterministic theories of quantum mechanics.

Since this is not my area, I must say I was quite blown away by some statements such as " fair classical coins do not exist". I am still recovering in fact and will have to look at the references you gave in your essay.

With regards to that statement, I wanted to make sure I understood what is meant here:

- Do you mean to say that a coin whose motion is determined by Newton's (or Hamilton's) equations of motion cannot eventually give rise to a fair coin toss (unless true fair randomness is put in the initial conditions)? or

- Do you mean to say that a fair coin model within classical probability theory is actually not fair?

I believe this is the former but just want to make sure.

Finally, given that the argument relies, as far as I understood, on infinite sequences, is there a finite version of it whereby, say, a membership function (for the Kolmogorov random character of a sequence) would be in between 0 and 1 for any finite N but would tend to zero when N tends to infinity?

Congratulations again on this very nice essay.

Many thanks.

Best,

Fabien

report post as inappropriate

Dear Fabien,

Thank you for your kind words. I meant the former, the latter presupposes fairness. The reason is, as I explain in my essay, that a fair coin toss requires a truly random sampling of a probability measure, which classical physics cannot provide (I am not claiming that Nature can provide it! But QM can, in theory).

Your second question is very good, space limitations prevented me from discussing it. The question is about what I call "Earman's Principle" in my (Open Access) book, Foundations of Quantum Theory, see http://www.springer.com/gp/book/9783319517766, namely: "While idealizations are useful and, perhaps, even essential to progress in physics, a sound principle of interpretation would seem to be that no effect can be counted as a genuine physical effect if it disappears when the idealizations are removed." This is valid in the arguments in my essay because the definition of Kolmogorov randomness of infinite sequences guarantees it, coming from a limiting construction, as it does.

Best wishes, Klaas

Thank you for your kind words. I meant the former, the latter presupposes fairness. The reason is, as I explain in my essay, that a fair coin toss requires a truly random sampling of a probability measure, which classical physics cannot provide (I am not claiming that Nature can provide it! But QM can, in theory).

Your second question is very good, space limitations prevented me from discussing it. The question is about what I call "Earman's Principle" in my (Open Access) book, Foundations of Quantum Theory, see http://www.springer.com/gp/book/9783319517766, namely: "While idealizations are useful and, perhaps, even essential to progress in physics, a sound principle of interpretation would seem to be that no effect can be counted as a genuine physical effect if it disappears when the idealizations are removed." This is valid in the arguments in my essay because the definition of Kolmogorov randomness of infinite sequences guarantees it, coming from a limiting construction, as it does.

Best wishes, Klaas

Hello Professor Landsman,

Wowww , I must say that your essay is very relevant and general, I liked a lot how you approach this topic about our limitations, I wish you all the best, I shared it on Facebook, one of my favorites with the essay of Del Santo and Klingman,

best Regards

report post as inappropriate

Wowww , I must say that your essay is very relevant and general, I liked a lot how you approach this topic about our limitations, I wish you all the best, I shared it on Facebook, one of my favorites with the essay of Del Santo and Klingman,

best Regards

report post as inappropriate

"The famous theorem of Bell (1964) left two loopholes for determinism underneath quantum mechanics..."

It left a lot more than that. The theorem also is founded upon the dubious,*idealistic* assumptions, that (1) particles are absolutely identical, and worse still, (2) that all the "measurements" of the particle states are absolutely without errors.

It is easy to demonstrate that when those two assumptions are violated,*as they both must be*, when only a single bit of information is being manifested, by an entangled pair, then Bell's correlations can be readily reproduced classically, with detections efficiencies above the supposed quantum limit. Note that the detection efficiency, being actually measured in the demonstration, is the combined, dual detection efficiency, *not* the usually reported single detector efficiency. The former cannot even be measured, in a conventional Bell test.

Rob McEachern

report post as inappropriate

It left a lot more than that. The theorem also is founded upon the dubious,

It is easy to demonstrate that when those two assumptions are violated,

Rob McEachern

report post as inappropriate

Dear Klaas Landsman,

If by ‘*compatible with quantum mechanics*’ one means that ‘qubits’ are real, then the argument is over. But there are probably a dozen interpretations of QM with almost as many claimed ‘ontologies’.

Bell demands qubits in his first equation: A,B = +1, -1. And for spins in magnetic domains this is a good statistical model, and reasonable. ...

view entire post

If by ‘

Bell demands qubits in his first equation: A,B = +1, -1. And for spins in magnetic domains this is a good statistical model, and reasonable. ...

view entire post

report post as inappropriate

Edwin,

Thanks for mentioning the Bohr postcard. I had never actually seen the image until your comment provoked me to search for it.

I would assert that QM is not about ontology at all. It is*not* describing what exists in "being", but only the statistics of a threshold-based energy-detection, of the things in being. So if you draw a vertical threshold line, down the middle of...

view entire post

Thanks for mentioning the Bohr postcard. I had never actually seen the image until your comment provoked me to search for it.

I would assert that QM is not about ontology at all. It is

view entire post

report post as inappropriate

Hello Ed,

sorry not to have yet read your essay, I've been concentrating on practical matters and have only looked in on the contest pages. You and I have discussed the idealized Spin co-ordinate system in the past and the Bell dependence on it. So the issue of incompatibility of QM statistical models with a rational realism is perhaps inevitable. You make an excellent point in paragraph 4 about 'one free particle' ( the classic hypothetical 'free rest mass' ) being capable of local deterministic theoretical construct, while globally interactions would have to be treated statistically. So the Bell arguments come down to a simple; 'Why Not?'. QM was designed on purpose to idealize for the sake of granular simplicity. It was not intended to be realistic and its precision derives from intentional extensive reiteration. It is expedient, and Bell is yet another iteration. And so, 'why not?', there is surely room enough in physics for both realism and expediency. Best wishes, jrc

report post as inappropriate

sorry not to have yet read your essay, I've been concentrating on practical matters and have only looked in on the contest pages. You and I have discussed the idealized Spin co-ordinate system in the past and the Bell dependence on it. So the issue of incompatibility of QM statistical models with a rational realism is perhaps inevitable. You make an excellent point in paragraph 4 about 'one free particle' ( the classic hypothetical 'free rest mass' ) being capable of local deterministic theoretical construct, while globally interactions would have to be treated statistically. So the Bell arguments come down to a simple; 'Why Not?'. QM was designed on purpose to idealize for the sake of granular simplicity. It was not intended to be realistic and its precision derives from intentional extensive reiteration. It is expedient, and Bell is yet another iteration. And so, 'why not?', there is surely room enough in physics for both realism and expediency. Best wishes, jrc

report post as inappropriate

Dear Dr. Landsman,

Thank you for your well written essay. I agree with your conclusion that quantum mechanics is intrinsically random, and that hidden variables or initial conditions do not adequately explain the randomness of quantum measurement results. However, I reach a different conclusion on the origin of quantum randomness.

In comparing Standard QM and Hidden Variables QM in...

view entire post

Thank you for your well written essay. I agree with your conclusion that quantum mechanics is intrinsically random, and that hidden variables or initial conditions do not adequately explain the randomness of quantum measurement results. However, I reach a different conclusion on the origin of quantum randomness.

In comparing Standard QM and Hidden Variables QM in...

view entire post

report post as inappropriate

Dear Klass,

Sounds interesting. I've downloaded to my read list. You may have missed my last years finalist essay showing a physical sequence can surprisingly reproduce QM's data set, in the way Bell predicted. I touch on it this year.

In the meantime, could you perhaps answer these questions for me;

1. Is a physical 'measurement' interaction more likely to be with a spinning sphere, or a 2D spinning coin? If the former, then;

2. If we approach the sphere from random directions to measure the momentum states; "ROTATIONAL" (clockwise or anti-clockwise) and also; "LINEAR" (left or right) will we always likely find 100% certainty for both?

3. With one at 100% certainty (say linear at the equator) will the other state not reduce, down to 50:50?

4. Now with 100 interactions in a row, will any statistical uncertainly tend to*increase* or *decrease*?

5. Did you know the rate of change of rotatation speed (so momentum) of Earth's surface with latitude over 90^{o} between pole and equator is CosLat?

Catch back up with you soon I hope.

Very Best

Peter

report post as inappropriate

report post as inappropriate

Sounds interesting. I've downloaded to my read list. You may have missed my last years finalist essay showing a physical sequence can surprisingly reproduce QM's data set, in the way Bell predicted. I touch on it this year.

In the meantime, could you perhaps answer these questions for me;

1. Is a physical 'measurement' interaction more likely to be with a spinning sphere, or a 2D spinning coin? If the former, then;

2. If we approach the sphere from random directions to measure the momentum states; "ROTATIONAL" (clockwise or anti-clockwise) and also; "LINEAR" (left or right) will we always likely find 100% certainty for both?

3. With one at 100% certainty (say linear at the equator) will the other state not reduce, down to 50:50?

4. Now with 100 interactions in a row, will any statistical uncertainly tend to

5. Did you know the rate of change of rotatation speed (so momentum) of Earth's surface with latitude over 90

Catch back up with you soon I hope.

Very Best

Peter

report post as inappropriate

Dear Peter,

These questions are very interesting but they do not really reflect on my essay, as you also say yourself, and I find them very hard to answer. The last one I do not even understand. They seem to be more general physics questions than I am able to deal with. Best wishes, Klaas

These questions are very interesting but they do not really reflect on my essay, as you also say yourself, and I find them very hard to answer. The last one I do not even understand. They seem to be more general physics questions than I am able to deal with. Best wishes, Klaas

Dear Klass,

Excellent analysis and new exclusion of DeBroglie/Bohm & t'Hooft. Clearly & rigorously argued. My one concern was anticipated in your brilliant last paragraph, but that does then leave a THIRD option not addressed. I alluded to it above, with a proof in my last years essay, with confirmation code & plot in Trails essay. It suggests the elusive '*state after collision'*....

view entire post

Excellent analysis and new exclusion of DeBroglie/Bohm & t'Hooft. Clearly & rigorously argued. My one concern was anticipated in your brilliant last paragraph, but that does then leave a THIRD option not addressed. I alluded to it above, with a proof in my last years essay, with confirmation code & plot in Trails essay. It suggests the elusive '

view entire post

report post as inappropriate

Dear Klaas,

I enjoyed very much your essay, from your insightful parallels between Gödel's and Bell's theorems, to your no-go theorem, which I think it's amazing. I still try to grasp its physical implications. I'm also glad to see form your essay that you know Cris Calude. We've met again when he came back to Bucharest a few months ago. He made me realize that randomness is not what we...

view entire post

I enjoyed very much your essay, from your insightful parallels between Gödel's and Bell's theorems, to your no-go theorem, which I think it's amazing. I still try to grasp its physical implications. I'm also glad to see form your essay that you know Cris Calude. We've met again when he came back to Bucharest a few months ago. He made me realize that randomness is not what we...

view entire post

attachments: Cristi_Stoica_The_post-determined_block_universe_draft_2020-04-16.pdf

report post as inappropriate

Dear Cristi,

That's an interesting question. My analysis at the end of my essay suggests that the answer is no, deterministic HVB models are empirically indistinguishable from standard QM. This is not just because it is the way they are designed, but as I try to argue, the reason also lies in the unprovability of randomness, which should be the distinguishing feature. I cannot say I have fully grasped this issue, though, and you might benefit from the extremely interesting PhD thesis at the Universidad de Buenos Aires of G. Senno, A Computer-Theoretic Outlook on Foundations of Quantum Information (2017), which is easily found online.

The case of dynamical collapse models is similar - I proposed one of these, see my Open Access book Foundations of Quantum Theory, http://www.springer.com/gp/book/9783319517766, and I also worked with a group in Oxford to design an experiment to test my theory, but this failed, perhaps for different reasons: you cannot really monitor the collapse of the wave-function in real time. I will try to take a look at your PhD thesis also, though for completely different reasons. Best wishes, Klaas

That's an interesting question. My analysis at the end of my essay suggests that the answer is no, deterministic HVB models are empirically indistinguishable from standard QM. This is not just because it is the way they are designed, but as I try to argue, the reason also lies in the unprovability of randomness, which should be the distinguishing feature. I cannot say I have fully grasped this issue, though, and you might benefit from the extremely interesting PhD thesis at the Universidad de Buenos Aires of G. Senno, A Computer-Theoretic Outlook on Foundations of Quantum Information (2017), which is easily found online.

The case of dynamical collapse models is similar - I proposed one of these, see my Open Access book Foundations of Quantum Theory, http://www.springer.com/gp/book/9783319517766, and I also worked with a group in Oxford to design an experiment to test my theory, but this failed, perhaps for different reasons: you cannot really monitor the collapse of the wave-function in real time. I will try to take a look at your PhD thesis also, though for completely different reasons. Best wishes, Klaas

Dear Professor Klaas Landsman,

Thank you for presenting a wonderful essay written with a very smooth flow....

Your statement about Godel's law as.........Godel proved that any consistent mathematical theory (formalized as an axiomatic deductive system in which proofs could in principle be carried out mechanically by a computer) that contains enough arithmetic is incomplete (in that arithmetic sentences ' exist for which neither ' nor its negation can be proved)...................

I have few questions about it. This law is applicable to Quantum Mechanics, but will this law be applicable to COSMOLOGY.......?????.........

**I never encountered any such a problem in Dynamic Universe Model in the Last 40 years, all the the other conditions mentioned in that statement are applicable ok**

I hope you will have** CRITICAL examination** of my essay... "A properly deciding, Computing and Predicting new theory’s Philosophy".....

Best Regards

=snp

report post as inappropriate

Thank you for presenting a wonderful essay written with a very smooth flow....

Your statement about Godel's law as.........Godel proved that any consistent mathematical theory (formalized as an axiomatic deductive system in which proofs could in principle be carried out mechanically by a computer) that contains enough arithmetic is incomplete (in that arithmetic sentences ' exist for which neither ' nor its negation can be proved)...................

I have few questions about it. This law is applicable to Quantum Mechanics, but will this law be applicable to COSMOLOGY.......?????.........

I hope you will have

Best Regards

=snp

report post as inappropriate

Dear Klass,

You really wrote a great article. Thank you!

All the best,

Noson

report post as inappropriate

You really wrote a great article. Thank you!

All the best,

Noson

report post as inappropriate

Dear Klaas. While reading your essay I got very excited. I am not a physicist or a mathematician. My major expertise is in creativity and its fit in the world-and- in some respects its relationships with science and mathematics. You provided a very interesting overview of the “battle” between determinism and indeterminism. Several things in your essay as it relates to my essay are “very” exciting. In my essay I describe a process that converts chaos to order - the C*s to SSCU transformation (described in the appendix of my essay) and the scale up of the SSCU to become our (the visible) universe (described in the body of the essay). It appears to me that the C*s to SSCU transformation is the “...internal processing of atoms (in my theory the internal processing of all physicality) that enforce some particular outcome” expressed by Born (1926). In the Successful Self Creation theory that “enforcement” was the self replicating/self organizing progression that eventually became the universe. Also you mention that the “... attempts to undermine the “Copenhagen claim of randomness looked for deterministic theories underneath quantum mechanics” and you concluded that was impossible. I agree with your conclusion. However, those looking to undermine the Copenhagen claim of randomness had it backward. The SSC theory presents a randomness (chaos) underneath and the process that converted that randomness (chaos) to a repeating, self replicating deterministic progression that became the multiverse that contains our universe. There is much more that we should discuss. If you would read my essay and respond it could be the beginning of an exciting discussion of your “musings on (in)determinism” in your easy. I am looking forward to hearing from you. John D. Crowell

report post as inappropriate

report post as inappropriate

Dear Klaas,

Thanks for this brilliant essay. As I also "would personally expect that a valid theory of the Planck scale... would derive quantum mechanics as an emergent theory," have you thought of what seems to be a natural logical extension of the ancient idea of atomism - discreteness not only in space but in time (rather spacetime) as well? (To question a fundamental continuity - continuous existence in time - at the heart of quantum physics.)

Then the probabilistic behavior of the quantum object may be represented as a manifestation of a probabilistic distribution of the quantum object itself in the forever given spacetime: an electron, for instance, can be thought of as an ensemble of the points of its disintegrated worldline, which are scattered in the spacetime region where the electron wavefunction is different from zero. Then, in the ordinary three-dimensional language, an electron would be an ensemble of constituents which appear-disappear ∼10^20 times per second (the Compton frequency); and, obviously, such a "single" quantum object can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons.

Had Minkowski lived longer he might have described such a probabilistic spacetime structure by the mystical expression "predetermined probabilistic phenomena."

It is true, the above question is more in the spirit of the Einstein-type approach to fundamental physics, whereas now the predominant approach seems to be more Minkowski-type (as we know Minkowski employed such an approach when he discovered the spacetime structure of the world).

Best wishes,

Vesselin

report post as inappropriate

Thanks for this brilliant essay. As I also "would personally expect that a valid theory of the Planck scale... would derive quantum mechanics as an emergent theory," have you thought of what seems to be a natural logical extension of the ancient idea of atomism - discreteness not only in space but in time (rather spacetime) as well? (To question a fundamental continuity - continuous existence in time - at the heart of quantum physics.)

Then the probabilistic behavior of the quantum object may be represented as a manifestation of a probabilistic distribution of the quantum object itself in the forever given spacetime: an electron, for instance, can be thought of as an ensemble of the points of its disintegrated worldline, which are scattered in the spacetime region where the electron wavefunction is different from zero. Then, in the ordinary three-dimensional language, an electron would be an ensemble of constituents which appear-disappear ∼10^20 times per second (the Compton frequency); and, obviously, such a "single" quantum object can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons.

Had Minkowski lived longer he might have described such a probabilistic spacetime structure by the mystical expression "predetermined probabilistic phenomena."

It is true, the above question is more in the spirit of the Einstein-type approach to fundamental physics, whereas now the predominant approach seems to be more Minkowski-type (as we know Minkowski employed such an approach when he discovered the spacetime structure of the world).

Best wishes,

Vesselin

report post as inappropriate

I am sorry, I wrote the comment above quickly and omitted half of the information in the last sentence of the second paragraph:

"and, obviously, such a "single" quantum object can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons."

It should have been:

"and, obviously, such a "single" quantum object (i) can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons and (ii) can still be detected as a point-like particle - when the first of the appearing-disappearing constituents of the electron falls in a detector, due to a jump of the boundary conditions, all other constituents continue to appear-disappear only in the detector."

report post as inappropriate

"and, obviously, such a "single" quantum object can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons."

It should have been:

"and, obviously, such a "single" quantum object (i) can pass simultaneously through all slits at its disposal in the double-slit experiments with single electrons and photons and (ii) can still be detected as a point-like particle - when the first of the appearing-disappearing constituents of the electron falls in a detector, due to a jump of the boundary conditions, all other constituents continue to appear-disappear only in the detector."

report post as inappropriate

Dear Klaas,

Please do not bother to react to my question above; I also know what is like to have to try to reply to all comments while teaching. Moreover, I posted the question rather for your consideration and did not expect an answer, but should have made that explicit. The reason for posting the question was that, personally, I think it is interesting to see what bringing the idea of atomism to its logical completion looks like.

Best wishes,

Vesselin

report post as inappropriate

Please do not bother to react to my question above; I also know what is like to have to try to reply to all comments while teaching. Moreover, I posted the question rather for your consideration and did not expect an answer, but should have made that explicit. The reason for posting the question was that, personally, I think it is interesting to see what bringing the idea of atomism to its logical completion looks like.

Best wishes,

Vesselin

report post as inappropriate

Hello Klaas,

Thank you for this delightful essay. Theorem 3.5 seems to be dead on. It's an unexpected move, but I think it has to be true intuitively.

That said, let me probe a little bit. I'm a Many-Worlds person (for the purposes of this comment!) For me, I get classical indeterminism from tracing over the wavefunction via decoherence. In this case, I ought *not* to expect algorithmic randomness. Indeed, what happened could be understood as the very deterministic outcome of what I happen to be tracing over. It's a thermodynamic randomness, not a Chaitin one.

In that case, I think, you can only recover the Chaitin randomness if the wavefunction itself is incompressible. (Going back and forth between K(x) and K(f) (f the wavefunction, x the realization) is something that's been on my mind a bit, and is part of the essay I did this year—I'm not sure if I understand it fully yet.) I think your remarks about emergence in the final paragraph suggest you might find this idea sympathetic, if you haven't already done a lot with it already!

I don't quite know how to square the thermodynamic and Chaitin notions of randomness—I think you can get pretty far by talking about K(x | f), but I'm not sure how far! The problem is that if f comes from a deterministic theory that you then trace over with an observer's ignorance, i.e.,

f(x) = sum_y d(x,g(y)) P(y)

g is a deterministic, computable mapping, d(x,y) is a delta function, and P(y) is the observer's ignorance of the rest of the world, I don't know what happens to K(x).

Yours,

Simon

report post as inappropriate

Thank you for this delightful essay. Theorem 3.5 seems to be dead on. It's an unexpected move, but I think it has to be true intuitively.

That said, let me probe a little bit. I'm a Many-Worlds person (for the purposes of this comment!) For me, I get classical indeterminism from tracing over the wavefunction via decoherence. In this case, I ought *not* to expect algorithmic randomness. Indeed, what happened could be understood as the very deterministic outcome of what I happen to be tracing over. It's a thermodynamic randomness, not a Chaitin one.

In that case, I think, you can only recover the Chaitin randomness if the wavefunction itself is incompressible. (Going back and forth between K(x) and K(f) (f the wavefunction, x the realization) is something that's been on my mind a bit, and is part of the essay I did this year—I'm not sure if I understand it fully yet.) I think your remarks about emergence in the final paragraph suggest you might find this idea sympathetic, if you haven't already done a lot with it already!

I don't quite know how to square the thermodynamic and Chaitin notions of randomness—I think you can get pretty far by talking about K(x | f), but I'm not sure how far! The problem is that if f comes from a deterministic theory that you then trace over with an observer's ignorance, i.e.,

f(x) = sum_y d(x,g(y)) P(y)

g is a deterministic, computable mapping, d(x,y) is a delta function, and P(y) is the observer's ignorance of the rest of the world, I don't know what happens to K(x).

Yours,

Simon

report post as inappropriate

Dear Simon, Thank your for these comments and questions (meanwhile I have also read you own essay with interest, it will take me some time to digest the main point you make but so far I agree with it). Since your question is posed in the context of the MWI, let me confess that in my early twenties I decided not to smoke, drink alcoholic beverages, eat meat, own a car, curse or shout in public,...

view entire post

view entire post

Congratulation Klaas Landsman,

I see your essay a if not the most mature proficient one. However, is Bell’s theorem really the key to something new in science? What consequences does your set theoretical based reasoning have in physics?

Perhaps you are excellently improving the map. Schlafly and I are distinguishing the map from the territory. Obviously, you didn’t convince for instance McEachern and Kadin that they are wrong. Well, I too am unable to swallow Peter Jackson’s alternative explanation. From Petkov’s comment I learned the somewhat intentional sounding expression “predetermined probabilistic phenomena”. De Wilde seems to be still waiting for your reply. I am not in position to judge some possibly relevant raised question questions for instance by Crecraft, Klingman, and Gupta and don’t ask you to deal with them.

How many decades will Kadin have to wait until his prediction comes wrong? I feel helpless against accepted mathematics that I consider questionable. When I showed in my recent essay that Fourier was partially wrong, this was an attack on the fundamental adaptation of mathematics on very basic physics.

Unfortunately your training made you blind for my hints to what I consider unjustified related maneuvers in mathematics. Isn’t R+ reasonable even if not Hausdorff at zero?

Incidentally, appreciating your logical reasoning, I hope you will understand me if admit that I am arguing, so far in vain, against the use of “present state” between the alternatives past and future. I also tend to restrict “initial values” to ideal models, not to the physical reality.

Best further success,

Eckard Blumschein

report post as inappropriate

I see your essay a if not the most mature proficient one. However, is Bell’s theorem really the key to something new in science? What consequences does your set theoretical based reasoning have in physics?

Perhaps you are excellently improving the map. Schlafly and I are distinguishing the map from the territory. Obviously, you didn’t convince for instance McEachern and Kadin that they are wrong. Well, I too am unable to swallow Peter Jackson’s alternative explanation. From Petkov’s comment I learned the somewhat intentional sounding expression “predetermined probabilistic phenomena”. De Wilde seems to be still waiting for your reply. I am not in position to judge some possibly relevant raised question questions for instance by Crecraft, Klingman, and Gupta and don’t ask you to deal with them.

How many decades will Kadin have to wait until his prediction comes wrong? I feel helpless against accepted mathematics that I consider questionable. When I showed in my recent essay that Fourier was partially wrong, this was an attack on the fundamental adaptation of mathematics on very basic physics.

Unfortunately your training made you blind for my hints to what I consider unjustified related maneuvers in mathematics. Isn’t R+ reasonable even if not Hausdorff at zero?

Incidentally, appreciating your logical reasoning, I hope you will understand me if admit that I am arguing, so far in vain, against the use of “present state” between the alternatives past and future. I also tend to restrict “initial values” to ideal models, not to the physical reality.

Best further success,

Eckard Blumschein

report post as inappropriate

Dear Professor Landsman,

While I am trying to understand your wonderful essay, your last paragraph caught my attention. In my recently proposed theory of Spontaneous Quantum Gravity, I indeed derive quantum theory as an emergent theory, from an underlying *deterministic* matrix dynamics at the Planck scale. This new theory actually forms the content of my essay here: The pollen and the electron. This theory builds on the earlier work of Stephen Adler on `Quantum theory as an emergent phenomenon'

My purpose in submitting this post on your page is not so much as to ask you to read my essay, but rather to request you to kindly have a look at the technical references given at the end of my essay. I am curious to know what you think of this new theory, and will be so grateful for your critical comments. Also useful could be arXiv:1912.03266

I will try to understand the proofs in your very interesting essay.

Thanks so much,

Tejinder

report post as inappropriate

While I am trying to understand your wonderful essay, your last paragraph caught my attention. In my recently proposed theory of Spontaneous Quantum Gravity, I indeed derive quantum theory as an emergent theory, from an underlying *deterministic* matrix dynamics at the Planck scale. This new theory actually forms the content of my essay here: The pollen and the electron. This theory builds on the earlier work of Stephen Adler on `Quantum theory as an emergent phenomenon'

My purpose in submitting this post on your page is not so much as to ask you to read my essay, but rather to request you to kindly have a look at the technical references given at the end of my essay. I am curious to know what you think of this new theory, and will be so grateful for your critical comments. Also useful could be arXiv:1912.03266

I will try to understand the proofs in your very interesting essay.

Thanks so much,

Tejinder

report post as inappropriate

Hi well, see well on other essays how I have explained, reached, quantified, renormalised this quantum gravitation, see the universal balance necessary between entropy and negentroy, cold and heat in considering the 3 main finite series of 3D coded spheres, one for the space and two fuels, photons and cold dark matter, I have respected this newtonian mechanic, we search this quantum gravitation, it is the holy graal, but the thinkers could be less in their works and recognise the works of others, I repeat it is quantified in changing simply the distances anad mass, the standard model is just emergent, I will published this year several papers, the thinkers have forgotten to Think beyound the box and consider new parameters superimposed, they are in an electromagnetic and relativistic prison.

Regards

report post as inappropriate

Regards

report post as inappropriate

I d like to have relevant mathematician here on FQXi like Connes, Wittem Susskind, Witten, John Baez, with them we can make a revolution, they are better than me in maths I beleive even If I have utilised these Tools, like the Ricci flow, the Hamilton Ricci flow, the lie derivatives, the lie groups, the lie algebras, the poincare conjecture, the topological and euclidian spaces and the Clifford algebras and matrix of Dirac and matrix of Clifford, I need help, there are maybe several errors in my mathematical extrapolations, I have also invented with a person the assymetric Ricci flow to explain the unique things probably in the smaller volumes of my finite series of 3d coded spheres where this space disappears and having the same finite number than our finite cosmological finte series of spheres.The universe shows us the generality and how it acts with the universal balance between heat and cold, gravitation and electromagnetis, order and disorder, entropy and negentropy, sometimes the complexity returnms to simplicity, the universe is simple generally, the human psychology and its Vanity that said is complex and not really rational lol

report post as inappropriate

report post as inappropriate

“Both experts and amateurs seem to agree that Gödel’s theorem and Bell’s theorem penetrate the very core of the respective disciplines of mathematics and physics.” If nature is finite and digital then are Gödel’s theorem and Bell’s theorem fundamentally irrelevant to the reality of nature? I have suggested that my basic theory is wrong if and only if dark-matter-compensation-constant...

view entire post

view entire post

report post as inappropriate

Dear Klaas Landsman,

Gödel's and Bell's works were on processes (or algorithms) in 'time', which make the question of (in)determinism the driving notion of your essay. Determinism, as we understand it today, deviates substantially from the Classical Greek interpretation and originates from the heyday of historiography in enlightenment. Hume, the historian, was exponent of the temporalization of affairs and belonged to the firsts who misinterpreted the symbol t in Newton's equations as historical time, thus initiating a ghost-debate on (in)determinism.

What happened in enlightenment is the change of view from a priori (law) to a posteriori (model), with the latter arousing 'time'. It is not such that a posteriori empiricism observes and models real processes in 'time', rather it provokes the psychological idea of time by its inherently probabilistic and hence undecidable models. So, empiricism itself is the cause of 'time', with the consequence that whatever it 'observes' MUST be indeterministic for the reason that the 'historical future' exists only as deviation from expectation. And since the a priori natural law is devoid of deviation from expectation, it is not in 'time'.

In short, a priori laws are deterministic by being literally time-less knowledge, while a posteriori models, and be they axiomatic, animate a timeless Parmenidean world and end up in complexity, undecidability and indeterminism. So, from my point of view your essay appears to administer pseudo-problems.

Heinz

report post as inappropriate

Gödel's and Bell's works were on processes (or algorithms) in 'time', which make the question of (in)determinism the driving notion of your essay. Determinism, as we understand it today, deviates substantially from the Classical Greek interpretation and originates from the heyday of historiography in enlightenment. Hume, the historian, was exponent of the temporalization of affairs and belonged to the firsts who misinterpreted the symbol t in Newton's equations as historical time, thus initiating a ghost-debate on (in)determinism.

What happened in enlightenment is the change of view from a priori (law) to a posteriori (model), with the latter arousing 'time'. It is not such that a posteriori empiricism observes and models real processes in 'time', rather it provokes the psychological idea of time by its inherently probabilistic and hence undecidable models. So, empiricism itself is the cause of 'time', with the consequence that whatever it 'observes' MUST be indeterministic for the reason that the 'historical future' exists only as deviation from expectation. And since the a priori natural law is devoid of deviation from expectation, it is not in 'time'.

In short, a priori laws are deterministic by being literally time-less knowledge, while a posteriori models, and be they axiomatic, animate a timeless Parmenidean world and end up in complexity, undecidability and indeterminism. So, from my point of view your essay appears to administer pseudo-problems.

Heinz

report post as inappropriate

Dear Heinz,

Thank you for adding this extremely interesting perspective. Is there any relevant literature I could read to understand this issue in more detail? Surely, almost every physicist including even Newton himself has failed to distinguish between these two notions of time, if they are indeed distinct (for the physicists may have been right in identifying them after all). What, for example was the original Classical Greek notion of determinism, other than "order" in the Platonic sense, which seems timeless to me?

Best wishes, Klaas

Thank you for adding this extremely interesting perspective. Is there any relevant literature I could read to understand this issue in more detail? Surely, almost every physicist including even Newton himself has failed to distinguish between these two notions of time, if they are indeed distinct (for the physicists may have been right in identifying them after all). What, for example was the original Classical Greek notion of determinism, other than "order" in the Platonic sense, which seems timeless to me?

Best wishes, Klaas

Dear Klaas,

major parts of the physical literature, beginning with Newton, can be taken as a reference, if one is prepared to take off one's empirically-tinted glasses. In the scholium of the Principia Newton makes a pretty clear case for an idealistic view of physics:

"Wherefore relative quantities [time, place, space and motion] are not the quantities themselves, whose names they bear.....And the expressions [time, place, space and motion] will be unusual, and purely mathematical, if the measured quantities themselves are meant." So, Newton's space and time, for instance, are not meant to be isomorphic with the everyday use of these notions and he stresses that the notions of physics (=mathematics) must not be confounded with the notions of empirical quantities [vulgaribus mensuris], which I have radicalized to the idea that natural language and physical language can only be Absolutely non-contradictory if they are incommensurable, complementary or orthogonal.

Further, one still finds very empiricism-critical approaches to relativity and quantum mechanics in the early papers of Einstein (1905) and Heisenberg (1925), respectively. Both make very clear that they speak of KINEMATIC representations, not of PHYSICAL theories. The fusion of the 'two languages' and hence the Unanschaulichkeit of modern physics begins with the coup of the Göttingen school of mathematics...

Just in case you are interested in the basics of my thinking (and happen to speak German), google for "Wird die Wissenschaft zum Feind des Wissens?" or "Das Ding an sich", both posted on Philosophie.ch

Heinz

report post as inappropriate

major parts of the physical literature, beginning with Newton, can be taken as a reference, if one is prepared to take off one's empirically-tinted glasses. In the scholium of the Principia Newton makes a pretty clear case for an idealistic view of physics:

"Wherefore relative quantities [time, place, space and motion] are not the quantities themselves, whose names they bear.....And the expressions [time, place, space and motion] will be unusual, and purely mathematical, if the measured quantities themselves are meant." So, Newton's space and time, for instance, are not meant to be isomorphic with the everyday use of these notions and he stresses that the notions of physics (=mathematics) must not be confounded with the notions of empirical quantities [vulgaribus mensuris], which I have radicalized to the idea that natural language and physical language can only be Absolutely non-contradictory if they are incommensurable, complementary or orthogonal.

Further, one still finds very empiricism-critical approaches to relativity and quantum mechanics in the early papers of Einstein (1905) and Heisenberg (1925), respectively. Both make very clear that they speak of KINEMATIC representations, not of PHYSICAL theories. The fusion of the 'two languages' and hence the Unanschaulichkeit of modern physics begins with the coup of the Göttingen school of mathematics...

Just in case you are interested in the basics of my thinking (and happen to speak German), google for "Wird die Wissenschaft zum Feind des Wissens?" or "Das Ding an sich", both posted on Philosophie.ch

Heinz

report post as inappropriate

Dear Heinz, Thanks, I found your essays and will read them as soon as I have time (we are in the middle of a teaching period here, which takes far more time than normal). As to the "Unanschaulichkeit of modern physics begins with the coup of the Göttingen school of mathematics..." I wrote a historical essay about that which might interest you, seehttps://arxiv.org/abs/1911.06630. You surely know that Einstein reprimanded both Heisenberg and his earlier (1905) self for insisting on too much empiricism, see e.g. Heisenberg's autobiography "Der Teil und das Ganze". I would say this "Unanschaulichkeit of modern physics" already started with Newton's law of gravity, which he saw as a purely mathematical description and warned against any physical interpretation. Best wishes, Klaas

Dear professor, Landsmann,

You write

“...it may be helpful to note that in classical coin tossing the role of the hidden state is also played by the initial conditions (cf.Diaconis & Skyrms, 2018 Chapter 1, Appendix 2). The 50-50 chances (allegedly) making the coin fair are obtained by averaging over the initial conditions, i.e., by sampling. By my arguments, this sampling cannot...

view entire post

You write

“...it may be helpful to note that in classical coin tossing the role of the hidden state is also played by the initial conditions (cf.Diaconis & Skyrms, 2018 Chapter 1, Appendix 2). The 50-50 chances (allegedly) making the coin fair are obtained by averaging over the initial conditions, i.e., by sampling. By my arguments, this sampling cannot...

view entire post

report post as inappropriate

Dear Chidi, This is hard to reply to, especially since we are in the middle of a teaching period here, which takes far more time than normal. Some comments one my paper ask direct questions about it which I try to answer quickly, others forward their own theories which are typically only peripherally related to my paper. These take far more time to answer, however good they may be. I hope you understand this. Best wishes, Klaas

You are right. Bear with me, sir.

And when you find the time please do take a peak I'm sure will find the connection interesting.

report post as inappropriate

And when you find the time please do take a peak I'm sure will find the connection interesting.

report post as inappropriate

Hi well , like I said your essay is a good essay with a good ranking of all the different thinkers and a mix of their ideas about the computabilities, the randomness, the mathematics, we see a very good knowledge of all their works, Solomonoﬀ, Kolmogorov, Chaitin, Svozil ,Downey, Hirschfeldt, Born, Bell, Godel, Hilbert,Durr, Goldstein, Zanghi, Hooft,and others that I forget to name.

...

view entire post

...

view entire post

report post as inappropriate

The problem is complex and mainly philosophical. Why the majority of thinkers now consider that all comes from the fields ? it is due to the strings theory in fact and Witten, they consider that we have only photons due to an infinite heat and that this thing oscillates these photons with strings at this planck scale in 1D connected with a 1D main Cosmic field. And after with the geometrical algebras they create extradimensions towards 11D. and they explain the emergent topologies, geometries and matters, I can respect these strings and recognise good mathematical plays to rank these fields but the generality for me is totally false, because we have probably coded particles and 3 main finite series of particles coded merging in a superfluid to create these emergent topologies, geometries, matters and properties of Waves, fields and particles. I consider a pure 3D at all scales. In fact it is logic that these particles are the main essence , we cannot have fields without particles because without motions, we have particles but no field, not the opposite, this strings theory and general relativity have really created a prison, and it is difficult now to discuss with these strings theorists, they cannot change their line of reasonings, they are persuaded. But these strings have a big problem philosophical ,they don t explain the evolution...

report post as inappropriate

report post as inappropriate

Lol, are you just good in studying the works of known thinkers and mix their ideas or are you also able to go deeper in philosophy and link the generality of this universe, and of course without Vanity because we know that this parameter decreases the complementarity and evolution of the theoretical sciences Community, too much forget to change their line of resoning the most of the time due to the paramter cited , I repeat but a few number are able to create new innovative theories linking the maths, physics and philosophy, so it is probably the reason why they fear to discuss because they are probably not made to go deeper or to discuss about these things, so they don t develop these innovant theories :) spherically yours

report post as inappropriate

report post as inappropriate

My comments are based on the text presented in the essay, without a consideration to any work cited, and my limited knowledge of the subject.

1. "For a fair coin flip the probability of each string σ within 2^|σ| is 2−|σ|, so that an apparently “random” string like σ = 0011010101110100 is as probable as a “deterministic” string like σ = 111111111111111. Therefore, whatever...

view entire post

1. "For a fair coin flip the probability of each string σ within 2^|σ| is 2−|σ|, so that an apparently “random” string like σ = 0011010101110100 is as probable as a “deterministic” string like σ = 111111111111111. Therefore, whatever...

view entire post

report post as inappropriate

Hi, why Always strings like foundamental objects`? like it was sure that they are the foundamental objects at this planck scale with a 1D main field ? if the universe is not like that, so we cannot reach with the strings the quantum computing , so the binaries 1 and 0 even with Pi digits cannot converge,

regards

report post as inappropriate

regards

report post as inappropriate

Dr Landesman -

A brilliant, erudite essay. Unfortunately I do not have the expertise to follow the mathematical reasoning and I am puzzled about the epistemological significance of the findings. I was left "in the weeds" so to speak. But I do agree that physical determinism has been shown to be false - although that result is not provable.

I have made a more ambitious effort to bridge the gap between the quantum and mathematical challenges using a three-worlds framework. I'd appreciate your review if you have the time.

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

report post as inappropriate

A brilliant, erudite essay. Unfortunately I do not have the expertise to follow the mathematical reasoning and I am puzzled about the epistemological significance of the findings. I was left "in the weeds" so to speak. But I do agree that physical determinism has been shown to be false - although that result is not provable.

I have made a more ambitious effort to bridge the gap between the quantum and mathematical challenges using a three-worlds framework. I'd appreciate your review if you have the time.

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

report post as inappropriate

I really enjoyed this essay. It seems to me that shifting the focus from individual experiments to sequences of outcomes is a very important insight and a step that quantum foundations certainly ought to take - after all, the experimental evidence for quantum mechanics comes from relative frequencies in sequences of measurements, not single-shot experiments, so it's likely that our interpretational difficulties come in part from trying to apply a theory defined over sequences to individual probabilistic events.

That said, I didn't entirely understand the motivation for imposing the requirement of 'typicality of almost every outcome sequence of an infinitely repeated fair quantum coin flip.' Given that all the outcome sequences we have actually examined are finite, and that in any case typicality of an observed sequence can't be proved, the experimental evidence cannot justify the claim that outcome sequences must be typical. This claim, as I understand it, comes from assuming that the standard quantum-mechanical representation (based on the Born rule and the combination of independent systems by taking tensor products of the underlying Hilbert spaces or operator algebras) is the correct mathematical representation to obtain the probabilities for outcome sequences even in the infinite limit. Would the proponents of the de Broglie-Bohm and t'Hooft models not simply deny this claim, arguing that there is no reason that their models need to be compatible with quantum mechanics in an untestable limit? Requiring compatibility with the predictions of quantum mechanics even for unphysical examples seems to be assigning too much weight to the mathematical structure which we happen to have chosen to represent the observed physical results.

report post as inappropriate

That said, I didn't entirely understand the motivation for imposing the requirement of 'typicality of almost every outcome sequence of an infinitely repeated fair quantum coin flip.' Given that all the outcome sequences we have actually examined are finite, and that in any case typicality of an observed sequence can't be proved, the experimental evidence cannot justify the claim that outcome sequences must be typical. This claim, as I understand it, comes from assuming that the standard quantum-mechanical representation (based on the Born rule and the combination of independent systems by taking tensor products of the underlying Hilbert spaces or operator algebras) is the correct mathematical representation to obtain the probabilities for outcome sequences even in the infinite limit. Would the proponents of the de Broglie-Bohm and t'Hooft models not simply deny this claim, arguing that there is no reason that their models need to be compatible with quantum mechanics in an untestable limit? Requiring compatibility with the predictions of quantum mechanics even for unphysical examples seems to be assigning too much weight to the mathematical structure which we happen to have chosen to represent the observed physical results.

report post as inappropriate

Hi Emily, Nice to hear from you and the point you make is excellent, probably reinforcing the conclusion I already drew on the basis of infinite sequences, namely that deterministic underpinnings of QM are wrong but cannot be proved so. What needs to be done is find a finite-size analogue of typicality, in the spirit of what I call the Earman and Butterfield principles. But whatever it is, it will be approximate, and this gives Bohmians and 't Hooft exactly the leeway you describe.

PS I see you also submitted an essay and I will read it asap.

All the best, Klaas

PS I see you also submitted an essay and I will read it asap.

All the best, Klaas

Dear Prof. Landsman,

You essay is brilliant, very important for closing loopholes and final ending with determinism in QM. The question now is where the fundamental indeterminism or randomness plus undecidability comes from. You state that theory of the Planck scale would derive QM as emergent, then hopefully we may know. Such theory, or an ultimate theory of everything should also be able to tell emerging 'why' and from 'what' and this 'what' should be then kind of irreducible or self-referential. Such topics are obviously rather mind-blowing. In my essay I am focusing on the 'why' and 'what' and it turns out it is uncomputable sequences which have curious relation with nothingness. Material in my essay is rather compressed and concepts are not stated precisely but I hope the essence can be grasped.

Best regards,

Irek

report post as inappropriate

You essay is brilliant, very important for closing loopholes and final ending with determinism in QM. The question now is where the fundamental indeterminism or randomness plus undecidability comes from. You state that theory of the Planck scale would derive QM as emergent, then hopefully we may know. Such theory, or an ultimate theory of everything should also be able to tell emerging 'why' and from 'what' and this 'what' should be then kind of irreducible or self-referential. Such topics are obviously rather mind-blowing. In my essay I am focusing on the 'why' and 'what' and it turns out it is uncomputable sequences which have curious relation with nothingness. Material in my essay is rather compressed and concepts are not stated precisely but I hope the essence can be grasped.

Best regards,

Irek

report post as inappropriate

Dr. Landsman,

Not to detract in any way from the QM arguments you elucidate (much of it above my paygrade) but when it comes to the mathematical construct of Bell's Theory it seems to me that it assumes a disconnect from the physical in the first statement. A line segment of indeterminate scale with incrementals between -1 & +1 would not be physically capable of embedding correlations on three vectors of R3. And for R3 to become embedded in S3, it would have to evolve into R4 and undergo one more half pi rotation for the three right hand axes of R4 to coincide with the three RH (assuming RH initial designation) axes in S3 without one axis becoming a pseudovector.

What ever the physical reality of the entanglement correlations might be, and which none can adequately describe beyond endless debate, technologically it matters naught whether deterministic theories or non-local theories are the more correct. What matters is that whom ever gets a functional system up and running first will corner the global market of electronic transfer of funds. And with that the preferred national currency will quickly become the global reserve currency for the coming century. Simple political science. Technology is becoming more an essential commodity than oil.

Best wishes, your essay seems to me to be a tour de force of many painstaking years. jrc

report post as inappropriate

Not to detract in any way from the QM arguments you elucidate (much of it above my paygrade) but when it comes to the mathematical construct of Bell's Theory it seems to me that it assumes a disconnect from the physical in the first statement. A line segment of indeterminate scale with incrementals between -1 & +1 would not be physically capable of embedding correlations on three vectors of R3. And for R3 to become embedded in S3, it would have to evolve into R4 and undergo one more half pi rotation for the three right hand axes of R4 to coincide with the three RH (assuming RH initial designation) axes in S3 without one axis becoming a pseudovector.

What ever the physical reality of the entanglement correlations might be, and which none can adequately describe beyond endless debate, technologically it matters naught whether deterministic theories or non-local theories are the more correct. What matters is that whom ever gets a functional system up and running first will corner the global market of electronic transfer of funds. And with that the preferred national currency will quickly become the global reserve currency for the coming century. Simple political science. Technology is becoming more an essential commodity than oil.

Best wishes, your essay seems to me to be a tour de force of many painstaking years. jrc

report post as inappropriate

Fervent congratulations, Klaas. I have been a passionate follower of your work since I saw you give a talk in Oxford in the early 2000s. You may recall that my focus is on algebraic QFT: algebraic QM with, as we might say, arbitrary subdivisions allowed.

On page 8, you suggest a dilemma, "The sampling is [or is not] provided by the hidden variable theory".

I suggest that there is, at...

view entire post

On page 8, you suggest a dilemma, "The sampling is [or is not] provided by the hidden variable theory".

I suggest that there is, at...

view entire post

report post as inappropriate

Dear Klaas,

Congratulations for your essay and prize! Could you please tell me if this is a fair characterisation of your proposal? I think what you do is to define QM and Bell's experiment outcomes as algorithmic random and then explain this would be incompatible with determinism for infinite 1-random sequences. However, there is some tension between the definition of finite vs infinite randomness and your characterisation would apply only to infinite randomness. Finite randomness is computable and hence reproducible by finite mechanistic (computable) means e.g. with programs of the form Print[X]. Would your argument not apply in this case and also in the case that QM randomness is defined as in purely thermodynamics in purely statistical (and hence) computable terms? I guess this is what you mean when you ask what kind of randomness is QM randomness, making a strong uncomputability (infinite algorithmic randomness) assumption leads to the contradiction between 1-randomness generation and hidden variable theories based on computable determinism.

Thanks!

report post as inappropriate

Congratulations for your essay and prize! Could you please tell me if this is a fair characterisation of your proposal? I think what you do is to define QM and Bell's experiment outcomes as algorithmic random and then explain this would be incompatible with determinism for infinite 1-random sequences. However, there is some tension between the definition of finite vs infinite randomness and your characterisation would apply only to infinite randomness. Finite randomness is computable and hence reproducible by finite mechanistic (computable) means e.g. with programs of the form Print[X]. Would your argument not apply in this case and also in the case that QM randomness is defined as in purely thermodynamics in purely statistical (and hence) computable terms? I guess this is what you mean when you ask what kind of randomness is QM randomness, making a strong uncomputability (infinite algorithmic randomness) assumption leads to the contradiction between 1-randomness generation and hidden variable theories based on computable determinism.

Thanks!

report post as inappropriate

Hi Dr. Landsman,

I sent you an email a few weeks ago. I'd just like to make sure that you received it.

Thank you,

Dale C. Gillman

report post as inappropriate

I sent you an email a few weeks ago. I'd just like to make sure that you received it.

Thank you,

Dale C. Gillman

report post as inappropriate

Congratulations Klass Landsman...

In that "Quantum Mechanics Needs a New Theory " ~ Roger Penrose 2020 Nobel Physics Prize Recipient... and "emergent" implies evolving, I thank you for your endorsement of an "Emergent Quantum Theory", and for exposing semantic issues that must be resolved to facilitate that emergence... e.g. indiscriminant usage of THEORY and MODEL, RANDOM and...

view entire post

In that "Quantum Mechanics Needs a New Theory " ~ Roger Penrose 2020 Nobel Physics Prize Recipient... and "emergent" implies evolving, I thank you for your endorsement of an "Emergent Quantum Theory", and for exposing semantic issues that must be resolved to facilitate that emergence... e.g. indiscriminant usage of THEORY and MODEL, RANDOM and...

view entire post

report post as inappropriate

Login or create account to post reply or comment.