• 2 Posts
  • 209 Comments
Joined 2 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