There are problems in physics that are undecidable, even if you have all the initial information about the physical system.

"In math and computer science, researchers have long understood that some questions are fundamentally unanswerable. Now physicists are exploring how even ordinary physical systems put hard limits on what we can predict, even in principle."

https://www.quantamagazine.org/next-level-chaos-traces-the-true-limit-of-predictability-20250307/

@iain_bancarz I'dlove to see your paper. Trying to use up all my Penrose tiles, I get stuck and then I have to back up and redo part of it. Not clear on how radical a "back up" might potentially be required. 10 steps, 50, arbitrarily large? Consider problem of predicting whether a given Penrose tile configuration can be continued indefiinitely. Might this be computationally unsolvable in same sense as Turing's halting problem? #turingmachine #haltingproblem #penrosetiles #perplexingpoultry

Detecting “incorrect but plausible-looking” content is the #SocialMedia equivalent of the #HaltingProblem.

https://twitter.com/jjvincent/status/1599743434360639489