Going to circle back around on uncomputible in "our" version of reality. I mean it's kind of lazy in its way but it seems like the possibility that the "real" universe is a fundamentally different kind of place throws out most if not all methods for "proving" it's not. I'm not even a fan of the matrix theory but still, to acknowledge it.