@docpop

Yes, and also: no technical problem is purely technical...

These days, even the most esoteric mathematical formalism may come to have some utility in real world computing.