Your submission is now in Draft mode.

Once it's ready, please submit your draft for review by our team of Community Moderators. Thank you!

Submit Essay

Once you submit your essay, you can no longer edit it.


This content now needs to be approved by community moderators.


This essay was submitted and is waiting for review.

Are there physical systems with properties that are impossible in principle to predict?


Godel's first incompleteness theorem, one of the most celebrated results in mathematics, asserts that in sufficiently complex axiomatic formal systems there will be statements that are knowably true, yet unprovable within the formal system.

A related result due to Turing proves that the halting problem (of determining whether a general computer program will halt or run forever) is undecidable in that no Turing Machine exists that can solve it.

Though of deep importance in mathematics and theoretical computer science, these results have generally been considered to have few if any implications for physics, and by extension the natural world. (Though see this result in classical physics, and the extended discussions by Penrose, Chaitin, Barrow, Tegmark and Aaronson.)

A fascinating new result by Cubitt, Perez-Garcia, and Wolf (CPW; see Nature paper and infinitely long arXiv paper) suggests that the implications may be stronger than previously thought. They prove that in certain idealized quantum systems, the existence of a finite energy "gap" between the ground state and first excited state is formally undecidable. They moreover prove that as the number of lattice sites L increases toward infinite, a gap may appear and/or disappear at values of L that are undecidable.

This result potentially calls into question standard operating procedure in many quantum many-body physics problems. However, its applicability to realistic physical systems is as yet unclear, calling for further work.

In the next year will a paper be published establishing a new version of, extension to, or result derived from, Cubitt et al.'s theorem that applies to an actually existing physical system (including one fabricated in the lab for this purpose)?

Make a Prediction


Note: this question resolved before its original close time. All of your predictions came after the resolution, so you did not gain (or lose) any points for it.

Note: this question resolved before its original close time. You earned points up until the question resolution, but not afterwards.

Current points depend on your prediction, the community's prediction, and the result. Your total earned points are averaged over the lifetime of the question, so predict early to get as many points as possible! See the FAQ.