Kenneth Appel dies, used computer on map question

April 29, 2013

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 .

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 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.

Explore further: Supercomputing for a superproblem: A computational journey into pure mathematics

Related Stories

Mathematician Kenneth Cooke dies at 82

September 9, 2007

Kenneth Cooke, a mathematician who became a well-known researcher while teaching at a California liberal arts college, has died at age 82.

Mathematician announces that he's proved the ABC conjecture

September 12, 2012

(Phys.org)—In all of history there are very few names that stand out in the field of mathematics, at least among those not in the field: Euclid, Newton, Pythagoras, etc. This is likely due to several reasons, chief among ...

One gene predicts rapid ALS progression 80 percent of the time

December 10, 2012

(Medical Xpress)—The debilitating symptoms of amyotrophic lateral sclerosis, or ALS, appear to be increased by a lack of inflammation-reducing T cells, report scientists from the Methodist Neurological Institute in an upcoming ...

Math man Atle Selberg dead at 90

August 28, 2007

Atle Selberg, a prolific mathematical researcher with multiple terms that bear his name, has died in Princeton, N.J., at the age of 90.

Recommended for you

Study sheds new light on ancient human-turkey relationship

January 17, 2018

For the first time, research has uncovered the origins of the earliest domestic turkeys in ancient Mexico. The study also suggests turkeys weren't only prized for their meat—with demand for the birds soaring with the Mayans ...

0 comments

Please sign in to add a comment. Registration is free, and takes less than a minute. Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.