hellfire said:
You can ask about compatibility of GR and QM from a more wider perspective, namely whether general covariance and quantum principles are incompatible. This means, whether a quantum theory of gravitation can be generally covariant if QM principles are saved, or whether QM principles can be saved mantaining general covariance.
I think the wider perspective is the more healthy one.
More philosophic comments...
QM is linked to probabilistic concepts, but physics aside there have always been the controverses on howto interpret probabilities. The frequency interpretation of an inifinite collection of test systems is clearly something that can never be realized in reality - it's an idealization. Relative frequencies can be used as estimates _in reality_, but there is always an fundamental uncertainty there. It's an abstraction that is obviously useful in many cases, but also obviously not of suffucuent general validity to describe the entire universe. From my philosophical perspective this is unsatisfactory.
This is related to the fixed background issue. The conclusion and I think good spirit to keep from GR is that all knowledge and estimates is fundamentally relative to the observer. And the best we can do is try to find the connections between observers.
But QM adds another crucial point, information must be _measured_. Ie defined in terms of something measureable. This includes probabilities, and as it seems it takes infinite data to measure.
Is it then tempting to think that we can list all the possibilities, and then rank them as per their probability, but there we go again. There is no way this ranking is _definite_ either, because by the same token it would take an infinite number of completely unrealistic trials to establish, and infinite time. By the same token, it's also only an estimate. So at the best stretch, there is a residual fuzzy we have to acknowledge. If we make the mistake to *ignore* the residual fuzz, we are also limiting our own possibility to progress. We should not only, keep all doors open, we need to see that the doors are inferred from relations, and there may well pop up new doors that wasn't there before, and several doors may associate into one.
I think we should to acknowledge this, and build a theory that makes sense from scratch.
My own conclusion is that the seemingly only design that can match this is an fundamentally evolutionary one. Neither QM nor GR does this. Evolutionary also means that we do NOT make an outragoeous list of possibilities on the outse, we let the list grow as well! So as we evolve, things do not only change, the list of possibilities change too.
My personal hunch is that this is the direction to find the answer.
/Fredrik