tom.stoer said:
I think you are mixing up two different issues.
Yes you're right, I do, but it's not due to my ignorance. I'm making it into a point.
From my perspective at least (which is of course as biased as anyones) consistency of reasoning implies that they do mix. The physical process of one observer inferring the interaction rules for two other observers or subsystems are subject to the same rules as the process whereby the two first observer interaction from their inside perspectives. What I am suggesting is the deeper idea that they are mixed by nature, rather ME "mixing them up" due to confusion. I'm just trying to acknowledge this "mix" as a fact of nature, and try to use it to understand it.
tom.stoer said:
One can have a unique framework which allows for observer-dependent descriptions.
Alot of people, includiding rovelli, would agree with you on this, and I certainly know what you mean.
But your "point" here is what I call a form of structural realism. I'm suggesting that this realism is not something we need, and that this form of realism still is a source of confusion.
Let me put it like this; I am not saying this form of objective descriptions are impossible, I'm just saying that it's not possible for a physical inside observer to DEDUCE the observer-independent status beyond the effective level. An inside observer can and DO infer EXPECTATIONS of such observer invariance - this is the way I explain the current objective descriptions or QM, GR and SR. But in the perspective I suggest this is special cases.
This is also part of similar to part oF smolin/ungers argument against timeless laws. Smolin makes similar argument but my understanding is that unger takes this to a deeper level than smolin currently appreciates.
tom.stoer said:
What you are saying is that in addition the mathematical framework itself becomes observer-dependend.
Yes.
tom.stoer said:
I understand your idea but I would like to stress that this is a second step beyond the more basic discussion we have here.
This is probably true, but I do not see the value in try to aim for an obviously flawed intermediate next step. I do agree with you, that improvements probably is possible, that is in line with the common structural realism. But to have this as a target, when it seems clear that it's still flawed is not rational.
If the reason is that it would be "easier" to make this smaller step first, then I am not so sure I agree about that. I think we have reached the point with regards to the nature of several open problems that a more radical new thinking is needed.
tom.stoer said:
Does it reflect the impossibility of an observer-neutral unique framework? Or is it simply due to the limited understanding of the theory? I guess it's the latter.
I would say that string theory as it stands now, does NOT imply this. So I think you are right that it's an incomplete understanding of ST. BUT, my reasons for believe in impossibility of observer independent fixed framework comes from a totally different direction! I just project an understanding on the string landscape from a different direction.
So if we eventually understand that such objectivity is not possible, I think it is certainly not thanks to ST as I see it. ST seems more due to a conincidence due to, like marcus also notes, it's nature of mathematical fiddling (but guided by some questinonal extrapolations of QFT principles and extra ad hoc assumptions)
tom.stoer said:
@Fra: let me ask the other why round: what is the reason that in string theory it is not possible to identify a unique fundamental formulation whereas in other (less ambitious) theories like QCD, LQG it is possible?
I can't provide the correct string theory answers (ie what the reason is from the point of view of a string insider); this is what I'd like to hear the insiders view, and it's why I appreciate surprised contribution here.
But as I understand it (ie. projecting it onto my reasoning) is that, loosely speaking:
The original starting point of string theory, where one postulates the microstructure of where information is encoded (ie the continuum STRING, the background space) and the string ACTION which encodes the inference machinery contains too many degrees of freedom that are unknown, and the "consistency" principles ST uses from QFT and so on, to constrain the possibilities are simply too weak and you still end up with an extremely large set of "possibilites" that simple originate from the massive amount of information that is encoded in the continuum strings and the choice of background spaces. There is also an unclear understanding of WHY the correct action correspond to quantized classical string.
Alot of this is IMO traced to the ambigoty if starting with using continuum structures as coding structures, beause it's ambigous howto count and quantify information in these structures. This ambigouty itself yields a landscape of possible "limiting procedures".
From my inference perspective, it is not sensible to start out with an uncountalbe set, and try to apply reasoning since the only way to make any sense of that requires to view the uncountalbe infinite set as a limiting case of something if not finite, at minimum countable.
So the "gigantic landscape" of string theory, in my view corresponds (If at all!) to a highly evolved very complex and massive observer. And the evolution history would hold the answer to WHICH structure is the "right one".
/Fredrik