Without computers we will be stuck only proving theorems that have short proofs.