Forgot your password?
typodupeerror

+ - Kenneth Appel Remembered For Four Color Theorem->

Submitted by mikejuk
mikejuk (1801200) writes "Kenneth Appel (1932-2013) together with Wolfgang Haken, proved the four color theorem and broke new ground in using a computer to complete the proof. For the first time a computer played a major role in proving a major mathematical theorem.This was not a proof that was liked by all mathematicians. The use of the computer resulted in a proof that could not be checked by an unaided human. It was a huge shock for many mathematicians at the time to have to move over and allow a computer to take part in mathematics. There was a feeling at the time, and perhaps there still is, that the proof was a temporary matter and soon a real mathematician would step up and provide a "real" proof. Even today many mathematicians have their reservations about the proof and there have been attempts to simplify it, but so far they all involve computers. Mathematicians are still searching for something that would look more like an elementary proof.
Appel and Haken's proof may be the most controversial in mathematics but it also put the computer into pure mathematics.
Kenneth Appel died on April 19, 2013 at the age of 80."

Link to Original Source
This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.

Kenneth Appel Remembered For Four Color Theorem

Comments Filter:

After an instrument has been assembled, extra components will be found on the bench.

Working...