“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.” ThinkingFeelingsScienceSuccessfulSubjectsComputerMathematicsMathematician Author:Kenneth Appel
“Without computers we will be stuck only proving theorems that have short proofs.” ScienceProveComputerMathematicsProofStuckTheorems Author:Kenneth Appel
“Probability of human error is considerably higher than that of machine error.” HumansScienceHigherMachinesMathematicsErrorsProbabilityHuman Error Author:Kenneth Appel
