> We do know that mathematical frameworks cannot be at the same time totally complete and internally consistent.
I take it you're referencing Godel's theorems here, but "consistent" and "complete" have rather technical (and somewhat limited) meanings within that context, so it's not clear to me how they'd usefully map onto the potential relationship between QM and GR?
> The argument that this is a net positive for society could use a little substantiation.
The majority of societies that have tried anything different were/are significantly worse for the average person. That seems like more than a little substantiation.
Really? In every country I've live in, politicians write laws, judges set precedents, and lawyers only get to make arguments. True, the first two are often & always former lawyers, but that seems as reasonable as how doctors get to determine best medical practice.
Imho the fact that a Turing machine is capable of universal computation is surprising/insightful. I'm not sure the fact that other simple systems are then also complete adds much more surprise/insight, even if it's difficult to predict which ones will be.
What I think people often miss is the difference between computational completeness and computational "power". Yes rule 110 is complete, but what that means in practice is that you've shifted most of the work (for solving a real problem) onto specifying the initial conditions.
Maybe Tetris is Turing complete but it's still a lot easier to compute 2+2 on a pocket calculator.
Searle's Chinese room is one of those things it's obvious most people talk about without ever having bothered to actually read. Searle does not say computers will never think. Early in the paper he even says - obviously machines can think because we are precisely examples of such machines. His point is that maybe it takes a certain kind of processing to yield what we call consciousness, and that may be a subset of the processes that yield outwardly similar behaviour.
I take it you're referencing Godel's theorems here, but "consistent" and "complete" have rather technical (and somewhat limited) meanings within that context, so it's not clear to me how they'd usefully map onto the potential relationship between QM and GR?