Kenneth Appel

Kenneth Ira Appel (8. lokakuuta 1932 Brooklyn, New York – 19. huhtikuuta 2013 Dover, New Hampshire) oli yhdysvaltalainen matemaatikko, joka tunnetaan kuuluisan neliväriteoreeman todistamisesta tietokoneen avulla yhdessä Wolfgang Hakenin kanssa vuonna 1976.

Ura

Appel opiskeli New Yorkin Queens Collegessa, josta hän sai bachelor-tutkinnon vuonna 1953. Hän työskenteli jonkin aikaa aktuaarina ja palveli sitten kaksi vuotta armeijassa. Vuonna 1955 Appel aloitti jatko-opinnot Michiganin yliopistossa Roger Lyndonin ohjauksessa ja valmistui tohtoriksi vuonna 1959. Jatko-opintojensa aikana hän tapasi tulevan vaimonsa Carole Steinin. Valmistuttuaan hän työskenteli kaksi vuotta kryptografian parissa Princetonissa (Institute for Defense Analyses).

Vuodesta 1961 alkaen Appel työskenteli Illinois’n yliopistossa (University of Illinois at Urbana–Champaign). Hän tutki siellä ryhmäteoriaa ja laskettavuutta.

Yhdessä Wolfgang Hakenin kanssa Appel ratkaisi matematiikassa pitkään avoimena olleen kysymyksen, neliväriongelman. He osoittivat, että jokainen tasossa oleva kartta, jossa on vain yhtenäisiä valtioalueita, voidaan värittää käyttäen enintään neljää väriä niin, että naapurivaltiot ovat aina eriväriset. Appelin ja Hakenin todistus perustui olennaisella tavalla tietokoneen käyttöön: tietokoneohjelman avulla käytiin läpi yli tuhat alkeistapausta. Kun kaikki tapaukset oli käyty läpi, tiedettiin, ettei ole olemassa tasokarttaa, jossa neljällä värillä väritys ei onnistuisi. Tietokoneajo kesti yli tuhat tuntia. Appelin lapset auttoivat todistuksen yksittäisten tapausten tarkastamisessa. Appel ja Haken julkaisivat todistuksensa kahdessa artikkelissa Illinois Journal of Mathematicsissa. He saivat neliväriongelman ratkaisemisesta American Mathematical Societyn Fulkerson-palkinnon vuonna 1979.

Vuonna 1993 Appel siirtyi New Hampshiren yliopistoon, josta hän jäi eläkkeelle vuonna 2003.

Yksityiselämä

Appelilla ja hänen vaimollaan Carolella oli kolme lasta, Andrew (s. 1960), Laurel (1962–2013) ja Peter (s. 1964).