As one of the authors of SICP said at the start of that videod course, Compsci is not about computers, and is not a science. I am slowly building a better nomenclature. It begins with two disciplines: turing mechanics and lambda theory. The first is about irreversible physical manipulations, the second is about supplying humanly intuitive meaning to those manipulations. I find it strange that having so loved infinity and set theory as a student, I am now compelled to be ever more a finitist.