computer science history innovation mathematics