Mathematics' Essential Role in Computer Science