https://manifold.markets/IsaacKing/is-the-churchturingdeutsch-principl

This seems very difficult. If we find the theory of everything and it's computable (I guess by a stochastic Turing machine), would that count?

Many physical systems have already been proven to be Turing complete, would that qualify?

@TrippLyons I don't see why it would.

@levifinkelstein What would qualify in that case?

@TrippLyons I can't give all the things that would qualify since figuring that out is part of the problem. But if I were to imagine, perhaps if we have a complete theory of physics that is Turing computable. Or maybe we just need a theory that's almost complete?

@levifinkelstein Are you suggesting that the fact that Newtonian physics is Turing complete is irrelevant to this question, and we need a perfect model for this question to resolve to YES?

@TrippLyons "Are you suggesting that the fact that Newtonian physics is Turing complete is irrelevant to this question" No, but they universe seems quite a bit more strange than Newtonian mechanics, so I don't think that suffices to increase the probability that much.