Software engineering may be (currently) part of CS, but theoretical CS is more than just applied statistics. The halting problem, one of the most famous undecidable problems, is pure math and is CS. Lambda calculus is CS and is pure math.