Kenneth Appel 1932-2013

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

The content of this field is kept private and will not be shown publicly.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
Image CAPTCHA
Copy the characters (respecting upper/lower case) from the image.