Interesting. The argument made at the end of the blog is analogous to Godel's Incompleteness Theorem. There must be a larger formal system in which the existing

Interesting. The argument made at the end of the blog is analogous to Godel's Incompleteness Theorem. There must be a larger formal system in which the existing system can be computed and defined. The only way out is if the universe isn't fully deterministic and can't be defined formally(1). God/Simulation or Chaos, I suppose. (1) - This may not hold. If so, I'd love someone to explain to me why Godel can't be applied in this way, or extended to cover simulated systems with formal rules.