• 0 Posts
  • 133 Comments
Joined 3 years ago
cake
Cake day: June 15th, 2023

help-circle








  • There’s a certain understanding of what is and isn’t decidable by means of Computation (capital C), and it’s fundamental to the formalized systems of logic that define computers.

    From what I can glean, they show that some modern theories in physics display logical properties that we know cannot arise from a formalized computational system.

    To be fair, I feel like that only means the universe can’t be described by internal computation, not that some hyper-logical model of computation couldn’t exist to drive it all from “above”… It’s fundamental, so not like a higher spatial dimension, but a sort of “conceptual” one we can’t re-articulate? 50% confused and 50% talking out of my ass tbh











  • Exactly. We’re already bootstrapping, re-tooling, and improving the entire process of development to the best of our collective ability. Constantly. All through good, old fashioned, classical system design.

    Like you said, a lot of people don’t even put that to use, and they remain very effective. Yet a tiny speck of AI tech and its marketing is convincing people we’re about to either become gods or be usurped.

    It’s like we took decades of technical knowledge and abstraction from our Computing Canon and said “What if we didn’t use that anymore?”