Proofs relying crucially

Answer choices

1. A

   Contradiction5% picked this

   Only if a proof's result is arrived at without the help of a computer can one judge with any degree of certainty

   The fourth statement indicates that the use of some computers for certain tasks is simply a matter of convenience.

   5%
2. B

   Correct57% picked this

   We can never be completely sure that proofs relying crucially on computers do not contain errors that

   Why this is right

   This follows from the first and second statements. If proofs relying crucially on computers provide less certainty, then we can never be completely certain that they do not contain errors.

   Skill tested: Most Supported · how this choice captures the argument's function is the move to repeat next time.

   57%
3. C

   Contradiction30% picked this

   Whenever a computer replaces human calculation in a proof, the degree of certainty provided by

   The fourth statement indicates that the use of some computers for certain tasks is simply a matter of convenience.

   30%
4. D

   Negation6% picked this

   If one can corroborate something by human calculation, one can be completely

   This negates the third ~RCC → CC statement.

   6%
5. E

   Contradiction3% picked this

   It is impossible to supplement the cognitive abilities of humans by means of artificial devices

   The fourth statement indicates that the use of some computers for certain tasks is simply a matter of convenience.

   3%