His conclusion is that computer science is more rigorous than mathematics. His argument is that programs written for computers are more explicit than proofs written for humans. The conclusion and the argument don't match up at all. Computer science, as a subject, is no more rigorous than mathematics.