> it's certainly possible to have CS without programming. You realise that the many disciplines of CS would not exist without the real life requirements of act

> it's certainly possible to have CS without programming. You realise that the many disciplines of CS would not exist without the real life requirements of actual computers? Indeed, Knuth has written on a tangential topic to this: http://www.paulgraham.com/knuth.html http://www.paulgraham.com/knuth.html Yes, CS builds upon some areas of Mathematics, such as Mathematical Logic, but you must remember that CS was born out of the wish to develop new algorithms for certain tasks, and to develop frameworks for expressing and formalizing properties of existing software algorithms. Computer Science may not be practiced very heavily in the field, but many of the results in CS come directly from needs of the engineering field, and vice versa. Think Big O Notation, which attempts to find a theoretical solution to the practical problem of "Which of these two approaches is faster". Or bounds checking algorithms / Hindley-Milner type systems (e.g. Algorithm W, etc.), which are practical implementations of theoretical work, both of which were answers to the question "How can I find specific errors in this program code before they occur at runtime".