Among the many things we owe to Donald Knuth in computer science, one of them is Big O notation.

It already existed in number theory, but Knuth formalized its use for algorithm analysis and popularized it in the 1970s.

This seems like the single most influential thing that happened to theoretical CS (and perhaps CS as a whole). It's hard to imagine the field without it.