Kenneth Appel Quotes

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

Without computers we will be stuck only proving theorems that have short proofs. (Kenneth Appel)