Kenneth Appel dies, used computer on map question

Print
Email
|

Associated Press

Posted on April 29, 2013 at 10:33 AM

Updated Monday, Apr 29 at 10:35 AM

DOVER, N.H. (AP) — Kenneth Appel, a mathematician who was the first to use a computer to prove a century-old major mathematical theorem, has died at age 80 in Dover, N.H.

The Tasker Funeral Home confirms that Appel, who was diagnosed with esophageal cancer, died April 19 in hospice care.

Appel was a longtime educator who chaired the University of New Hampshire mathematics department, retiring in 2003.

Before that, he was a faculty member at the University of Illinois at Urbana. In 1976, he and Wolfgang Haken used 1,200 hours of calculations from an IBM computer to prove that a flat map can be colored with just four colors so that contiguous countries have different colors.

Proving the 100-year-old "Four-Color Conjecture" was considered a major intellectual accomplishment.

Print
Email
|