(Also it's not really a pyramid, it's a graph; programming languages et al. obviously rely on theoretical computer science, and theoretical CS is a branch of mathematics and as such not limited by the ...