Is it okay to get PhD in Computer Science without understanding how to code?

It quite ridiculous, CS PhD without code like science without proof. How you proof your disertation? Even its pure math, it still need formal method to proving proof such tools like Lean or Agda. If you still insist,then go for it.