I would like to point out that the whole article can be treated as a metaphor for one of the major themes of mathematical and computational/CS thinking, i.e., exploring generalizations and "meta-generalizations". (edit: well I guess I just repeated the title+conclusion of the article, since "generalization" is similar to "abstraction", so we have "abstraction and meta-abstraction" which is alluded by the title plus the conclusion that says it's not just one linear ladder but a multi-dimensional multi-faceted construct).<p>Reminds me of a cool youtube playlist [1] (David Metzler - Ridiculously Huge Numbers)<p>[1] <a href="https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3" rel="nofollow">https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3</a>
BV has indicated that his Realtalk group[0] at HARC might release new research by the end of the year.<p>I'm thoroughly excited to see what they are able to produce.<p>[0]<a href="https://harc.ycr.org/project/realtalk/" rel="nofollow">https://harc.ycr.org/project/realtalk/</a>