Life: October 8, 1932 - April 19, 2013
Birthday: October 8
Death: April 19
Without computers we will be stuck only proving theorems that have short proofs.
- Kenneth Appel
topic: Science, Computer, Mathematics