alt Hacker NewsGödel’s incompleteness says almost nothing about this. I wish people wouldn’t try to apply it in ways that it very clearly is not applicable to.
An environment living in Conway’s Game of Life could be quite capable of hypothesizing that it is implemented in Conway’s Game of Life.
Replies
bananaflag • yesterday at 9:20 AM
Indeed, as I think I commented before here, this kind of self-reference is exactly what makes Gödel's proof work.
mastermage • yesterday at 7:33 AM
Now the question is are we in Conways Game of Life?
That's not what they were saying.
Systems can hypothesize about themselves but they cannot determine why the rules they can learn exist in the first place. Prior states are no longer observable so there is always incomplete history.
Conway's Game of Life can't explain its own origins just itself. Because the origins are no longer observable after they occur.
What are the origins of our universe? We can only guess without the specificity of direct observation. Understanding is incomplete with only simulation and theory.
So the comment is right. We would expect to be able to define what is now but not completely know what came before.