tl;dr: No need to simulate life for it to exist -- "it's the thought that counts".

I have been entertaining this thought for a while and finally wrote it down. Would love to hear what people think, in particular in terms of how this might relate to existing philosophical arguments. I'm also really interested in other fundamental results about logic itself, similar to Gödel's incompleteness theorem, that might add corollaries to this theory.