You're just restating Gödel verbatim without considering what that would entail physically; they're implicitly unsolvable as it would take forever to solve them all; the universe would experience heat death before they're all solved.

Scaling issues do not just matter when making bridges and when hosting LLMs.

Back in Gödel's day physicists were like rockstars and all Gödel's output was 100% influenced by Einstein and the rest. Given the group's expertise in the domain the implicitly forever incomplete/never computed did not need to be spelled out explicitly.

▲

rcxdude 7 hours ago | parent [-]

This part is already true without Gödel: combinatorics means there is mindbogglingly more that could be expressed in the universe than ever will be. The shocking aspect of incompleteness was how it made mathematics closer to physics (or perhaps, from some points of view, to philosophy), not what it implied about what was knowable in physics.

	▲	LdBaringSwallow 4 hours ago \| parent [-]
		I think you're conflating abstraction like E=mc^2 and concrete ground truth of every moment ever everywhere in the observable/non-observable (observable has to come from somewhere) universe. Yeah we can and have formed general conclusions from what has been observed. But Gödel was talking to the limits of usefulness of abstraction like E=mc^2 when it comes to determining past and future physical truth to a high precision. E=mc^2 is, to conjure an absurd simile to invoke a reaction of how insane the effort would feel, like saying there's a rock on a hill. Gives us nothing about the shape, color, mass... any sentences describing the concrete properties cannot be proven without observation. Technically we cannot empirically know if E=mc^2 was true 700 billion years ago. Our trusted abstraction are only relatively true.