Quote

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

Kenneth Appel

Change background

T
T
T

Change font

TAGS & TOPICS

Kenneth Appel
Age: 80 †
Born: 1932
Born: October 8
Died: 2013
Died: April 19
Mathematician
University Teacher
Brooklyn
New York
Kenneth Ira Appel
Mathematics
Computer
Prove
Proofs
Short
Theorems
Science
Proving
Without
Computers
Proof
Stuck

More quotes by Kenneth Appel

Image
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.
Kenneth Appel
Image
Probability of human error is considerably higher than that of machine error.
Kenneth Appel