Can’t we still calculate K* in a mathematical universe forbidding self referencing sentences?
I’m not mathematician enough to say yes, but I think so. I don’t know how well/simple a no-self-reference version of some theories stacks up against the self-referencing versions (I am in the mind of lisp’s recursion features; without that ability lisp programs would be … longer and more complicated).
I’m not mathematician enough to say yes, but I think so. I don’t know how well/simple a no-self-reference version of some theories stacks up against the self-referencing versions (I am in the mind of lisp’s recursion features; without that ability lisp programs would be … longer and more complicated).