Without computers we will be stuck only proving theorems that have short proofs. — Kenneth Appel Copy Share Image
Probability of human error is considerably higher than that of machine error. — Kenneth Appel Copy Share Image
The computer was, to the best of my feelings about the subject, not thinking like a mathematician, and it was much more… — Kenneth Appel Copy Share Image
Without computers we will be stuck only proving theorems that have short proofs. — Kenneth Appel Copy Share Image
Probability of human error is considerably higher than that of machine error. — Kenneth Appel Copy Share Image
The computer was, to the best of my feelings about the subject, not thinking like a mathematician, and it was much more successful, because… — Kenneth Appel Copy Share Image
