Proofs relying crucially on computers provide less certainty than do proofs not requiring computers.
Given
Proofs relying crucially on computers provide less certainty than do proofs not requiring computers.
Human cognition alone cannot verify computer-dependent proofs.
Such proofs [those that RCC → ~CC rely crucially on computers] can never provide the degree of certainty [not completely certain] that attends our judgments concerning, for instance, simple arithmetical facts, which can be verified by human calculation.
Of course, in these cases one often uses electronic calculators, but here the computer is a convenience.