“Without computers we will be stuck only proving theorems that have short proofs.” ScienceProveComputerMathematicsProofStuckTheorems Author:Kenneth Appel