nice, yes, I think logical induction might be a way to formalise this, though others would know much more about it
nice, yes, I think logical induction might be a way to formalise this, though others would know much more about it