May 2, 2013 - 09:55 — ems_site

Kenneth Appel, who proved the Four Color Theorem with Wolfgang Haken, died April 19 at the age of 80. Their proof, published in two parts in the Illinois Journal of Mathematics in 1977, was the first major proof that involved extensive computer calculations.

## Comments

## Post new comment