Yes, my definition fixes some bugs in the standard definition, but not this bug in particular. I’m not sure it’s even fixable without losing the intuition of “depth” as “number of distinguishable levels”.
Yes, my definition fixes some bugs in the standard definition, but not this bug in particular. I’m not sure it’s even fixable without losing the intuition of “depth” as “number of distinguishable levels”.