I’m currently thinking this is solved by abstraction hierarchies. (...) Or something vaguely like that; this doesn’t exactly work either. I’ll have more to say about this once I finish distilling my notes for external consumption instead of expanding them, which is going to happen any… day… now...
Could you say more about why this attempt to solve the problem (by a hierarchy of abstractions) doesn’t work? Even if your thoughts are very unfinished.
Could you say more about why this attempt to solve the problem (by a hierarchy of abstractions) doesn’t work? Even if your thoughts are very unfinished.