The best match among existing categories, IMHO is ``Theory,'' which I assume refers to "Theory of Computation."

It is there that formal systems are brought up and CS majors should be aware of the hierarchy and limitations of formal systems, which are discussed in GEB.

If I were to place GEB under an arbitrary category, I would probably suggest ``Philosophy of Computation.''