Why? His incompleteness work explains why software and math suck so he would already expect them to; they're rhetorical and can never fully be a closed loop body of knowledge as we can never with rhetoric concretely observe/define the far future or far past; merely simulate rhetorically
Ergo all defined axiomatic systems have sentences about the far past and future that cannot be defined in those languages with certainty. Most do not make the connection to physics. Gödel did and would 100% aware the limits exist and will always exist
Scaling laws aren't just for computers; humans cultures do not scale infinitely through time, just approximately 2-3 generations
As I understand immutable physical truth like this played a huge role in his early research and ultimately were the forcing function that led him to incompleteness
alt Hacker News
Why? His incompleteness work explains why software and math suck so he would already expect them to; they're rhetorical and can never fully be a closed loop body of knowledge as we can never with rhetoric concretely observe/define the far future or far past; merely simulate rhetorically
Ergo all defined axiomatic systems have sentences about the far past and future that cannot be defined in those languages with certainty. Most do not make the connection to physics. Gödel did and would 100% aware the limits exist and will always exist
Scaling laws aren't just for computers; humans cultures do not scale infinitely through time, just approximately 2-3 generations
As I understand immutable physical truth like this played a huge role in his early research and ultimately were the forcing function that led him to incompleteness