That is one interesting way to interpret the famous Aaronson soap bubble experimental results, and Yuri Gurevich's opinion is just a somewhat more optimistic ve

That is one interesting way to interpret the famous Aaronson soap bubble experimental results, and Yuri Gurevich's opinion is just a somewhat more optimistic version of it. Because of some hand wavy string theory calculation completed in 2030, either the universe doesn't exist as it is measured to exist (or whatever McGuffin you'd like as a bullet proof excuse) or there exists a Turing machine that outputs a proof of P=NP then halts and the fastest way to find out if it halts is to run it and we try and it never stops. Maybe a century later someone figures out a lower bound on the number of steps the machine will make before it halts and its larger than the computational power of the lifetime of the universe, even very optimistically. Or a ruleset is proven to exist but the ruleset is at minimum a number larger than the number of particles in the universe so its kinda difficult to construct or emulate. Or the infinitely long Turing tape is merely proven to contain a number of states equal to a trillion times the number of atoms in the universe.