Exactly. You do not need to understand what does NP-hardness mean to be an excellent developer.

Understanding complexity, computability and modern logics is pretty satisfying, I'm personally in love the Godel's incompleteness theorem. But it is just one of many variables. There's plenty of things to improve on.