Perhaps certain types of programming or paradigms could amount to bookkeeping, but in general, programming is the technical art of abstracting information processing.<p>> but the realization of the stack being infinitely zoomable means the post will never be complete and never published<p>This construction of the abstraction tower IS programming... not just the development of each level. At the higher abstraction levels we're looking at type theory, and beautiful abstractions that read like poetry. This whole stack was built through programming, so while the lower levels could in essence amount to bookkeeping, the higher levels allow for complex programming that looks like mathematical equations. Is math just bookkeeping? (of course not) Furthermore, I think it can be argued that math arrises from the computational features of the Universe that allows DNA to be computed (described by Quantum Physics) up to the level of our brains that compute on a much higher level and allow for math to exist.