> I can imagine a universe where what is computable inside the universe is not sufficient to describe the universe. I can too. It's called "any mathematical sy

> I can imagine a universe where what is computable inside the universe is not sufficient to describe the universe. I can too. It's called "any mathematical system, period". Goedel showed as much.