Theory A: fits 7 known predictions but also makes a not-yet-verified prediction
Theory B: fits 8 known predictions and offers no new ones
In this example wouldn't Theory A be better, because all else equal it is less likely the product of overfitting and required more insight and effort to discover? In other words, Theory A used a different process that we know has a higher likelihood of novel discovery.
(Maybe this is a restatement of the simplicity argument, in that Theory A requires fewer predictions to discover it, ergo it is simpler)
I don’t think that is implied. It was discovered first, but that doesn’t mean it is necessarily simpler or required less data to discover. Take Newton/Leibniz calculus for example as a clear example of similar discovery time, leading to the same result but using different approaches. Leibniz started after Newton technically, and yet is the preferred way.
Especially if theory B is equivalent to theory A, then using it as a replacement for theory A seems perfectly fine (well as long as there are other benefits).
In some cases it might be pointless though from a scientific standpoint because the goal is “not-yet-known” predictions, but if viewed through a mathematical lens, then it seems like a valid area of study.
Maybe the process behind creating theory A is more generalisable towards future scientific discovery, but that would make the process worthwhile, not the theory.
No, Theory A might simply be a dead end with no new insights to offer. And alas: the universe does not care about insights, efforts, or simplicity.
All else equal if Theory B is easier to teach - easier for more people to understand - it might have value for that reason. It might also be valuable to teach multiple ways to understand the same underlying phenomenon.
> In other words, Theory A used a different process that we know has a higher likelihood of novel discovery.
How would we measure "likelihood of novel discovery"?
Now to call myself out here: the best way to answer any of these questions is to probe both theories at their limits to find differences in predictions that we can test. It may be that we don't have the right equipment or haven't designed experiments sufficient to do that currently.
Remember that Einstein's GR was validated by its prediction and the Eddington experiment, though his initial 1911 prediction was wrong and he later refined it in 1915. The 1919 Eddington measurements validated the theory.
We should remember though: That only worked out because the 1912 attempt to make the observations (which would have invalidated Einstein) got rained out. Who knows how Einstein's career would have turned out if the 1912 observations had succeeded. Perhaps people would have said he simply over-fit his theory to fit observation.
The metrics attempt to balance the ability of a model to fit data with the number of parameters required. For equally well-fitting models, they prefer the one with fewer params.
If Wolfram's theory fits as well but has fewer params, it should be preferred. I'm not sure if fewer "concepts" counts, but it's something to consider.
> FWIU this Superfluid Quantum Gravity [SQG, or SQR Superfluid Quantum Relativity] rejects dark matter and/or negative mass in favor of supervaucuous supervacuum, but I don't think it attempts to predict other phases and interactions like Dark fluid theory?
From https://news.ycombinator.com/item?id=43310933 re: second sound:
> - [ ] Models fluidic attractor systems
> - [ ] Models superfluids [BEC: Bose-Einstein Condensates]
> - [ ] Models n-body gravity in fluidic systems
> - [ ] Models retrocausality
From https://news.ycombinator.com/context?id=38061551 :
> A unified model must: differ from classical mechanics where observational results don't match classical predictions, describe superfluid 3Helium in a beaker, describe gravity in Bose-Einstein condensate superfluids , describe conductivity in superconductors and dielectrics, not introduce unoobserved "annihilation", explain how helicopters have lift, describe quantum locking, describe paths through fluids and gravity, predict n-body gravity experiments on earth in fluids with Bernoulli's and in space, [...]
> What else must a unified model of gravity and other forces predict with low error?
Which kinda points to the fact that we’re not smart enough to make these steps without “hints”. It’s quite possible that our way of working will lead to a theory of everything in the asymptote, when everything is observed.
My favorite conjecture is that what happens is things effectively lose a dimension when they reach the EH surface, and become like a "flatlander" (2D) universe, having only two degrees of freedom on the surface. For such a 2D universe their special "orthogonal" dimension they'd experience as "time" is the surface normal vector. Possibly time only moves forward for them when something new "falls in" causing the sphere to expand.
This view of things also implies the Big Bang is wrong, if our universe is a 3D EH. Because if you roll back the clock on an EH back to when it "formed" you don't end up at some distant past singularity; you simply get back to a time where stuff began to clump together from higher dimensions. The universe isn't exploding from a point, it's merely expanding because it itself is a 3D version of what we know as Event Horizons.
Just like a fish can't tell it's in water, we can't tell we're on a 3D EH. But we can see 2D versions of them embedded in our space.