oh my god, we are starting to be a formal system, self-reflexive? i love this.
let's apply goedel's incompletness theorem to this. what's the result, if i append a thread to a observer thread, does this compute?
I think that we can't prove if it computes or not. It is independent of the axioms or reality.