[fellowmartian]

I’m not convinced it’s impossible to model reality from the inside of reality. It’s conceivable to have a model that logically necessitates a reality, maybe with some kind of meta-mathematical bootstrapping mechanism, and some way to prove that your model reality is the same reality as we’re in (eg just as all turing-complete machines are equally powerful, all realities with some properties are equally real).

[strogonoff]

The model of reality is created by and used by your mind, and your mind is part of reality, so already that catch-22 intuitively precludes the model from being provably correct and complete even if your mind could somehow be completely unbiased and objective in every other way (which our minds aren’t, our biases and preexisting beliefs and feelings inform physical theories and models all the time).

I don’t see why your approach is not subject to the same limitations.