LC control no. | n 84041622 |
---|---|
Descriptive conventions | rda |
Personal name heading | Appel, Kenneth I., 1932-2013 |
Birth date | 19321008 |
Death date | 20130419 |
Place of birth | Brooklyn, New York, N.Y. |
Place of death | Dover, N.H. |
Field of activity | Four-color problem Automatic theorem proving |
Affiliation | University of New Hampshire University of Illinois at Urbana-Champaign University of Illinois (Urbana-Champaign campus) |
Profession or occupation | Mathematician College teacher |
Found in | Contributions to group theory, 1984: CIP t.p. (Kenneth I. Appel) CIP data sheet (b. 10/8/32) New York times (online), viewed Apr. 29, 2013 (in obituary published Apr. 28: Kenneth I. Appel; b. Kenneth Ira Appel, Oct. 8, 1932, Brooklyn; d. Apr. 19, Dover, N.H., aged 80; helped usher the venerable mathematical proof into the computer age, solving a longstanding problem concerning colors on a map with the help of an I.B.M. computer making billions of decisions) |
Associated language | eng |