You could include them in reflexive decision theories. When formalised, I suspect there may not be much of a distinction between theories that can know about themselves and theories that can modify themselves.
As a mathematician, I prefer using different notations for things until I’ve proved they’re identical. And in this case, I rather suspect they’re not.
You could include them in reflexive decision theories. When formalised, I suspect there may not be much of a distinction between theories that can know about themselves and theories that can modify themselves.
As a mathematician, I prefer using different notations for things until I’ve proved they’re identical. And in this case, I rather suspect they’re not.