PeterDonis
Mentor
- 49,264
- 25,313
fresh_42 said:"You know it if you see it" shouldn't be the definition, rather emphasizing that people who can see it will recognize it as such
Ok, fair enough.
fresh_42 said:It depends on whether you're able to see it, i.e. whether you really understood GR.
Yes, but there are objective criteria for whether people have really understood GR. Can they calculate its predictions for themselves, and have their calculations match the ones that GR experts have already done and which have been extensively confirmed by experiment?
You are basically saying that anyone who meets those objective criteria will find GR beautiful. I'm not sure that's true--at least, I'm not as sure as you seem to be. But I think that it's more likely that anyone who meets those objective criteria will agree that GR is simple and elegant, in the sense I described in my previous post.
fresh_42 said:there is no objective scale, but this does not automatically make it subjective
I agree. There is no objective scale for "simple and elegant" as I described it, yes. And that does not automatically make that criterion subjective. I think the key is that the criterion has to involve something that can be reasonably objectively measured and agreed on--even if people can't agree on where exactly the boundary lines of categories like "simple and elegant" or "beautiful" are in terms of the objective measures, we can all agree on what the objective measures themselves say in particular cases.
For example, we could argue over how simple a Lagrangian needs to be to qualify as "simple and elegant", but we can all agree, for example, that the Einstein-Hilbert GR Lagrangian is the unique one that has no higher than second derivatives of the metric and minimal coupling between gravity and matter. Similarly, we could argue over how "simple" Galois theory is, but we can all agree that it provides simple insights that resolve a lot of questions (such as why fifth degree and higher polynomials aren't solvable using radicals) that seem intractable without it.
