The issue comes down to whether it's reasonable to expect a very large number of people to try to emulate the work of the true professional theorists. For the average programmer, it might be nice to know once in a while, but why this continued emphasis on a (formal) theoretical background?