I don' think that example proves your point: perhaps he loved problem solving / was an excellent problem solver and pursued CompSci for that reason, only to drop it because he disliked the formalism required by programming (or math, for example).
While coding is a formal style of problem solving, I think the sentiment that those who can't code can't problem solve / dislike problem solving is ill-founded and misguided.
While coding is a formal style of problem solving, I think the sentiment that those who can't code can't problem solve / dislike problem solving is ill-founded and misguided.