Without computers we will be stuck only proving theorems that have short proofs. Kenneth Appel More Quotes by Kenneth Appel More Quotes From Kenneth Appel Probability of human error is considerably higher than that of machine error. Kenneth Appel machines errors science The computer was, to the best of my feelings about the subject, not thinking like a mathematician, and it was much more successful, because it was thinking not like a mathematician. Kenneth Appel successful science thinking