Kenneth Appel

Kenneth Ira Appel , także Ken Appel (ur październik 8, 1932 w Brooklyn , Nowy Jork , † 19 kwietnia 2013 roku w Dover , New Hampshire ), amerykański matematyk , którzy głównie z powodu jego dowód twierdzenia czterech kolorów z Wolfgang Haken 1976 jest znany.

Appel studiował w Queens College (tytuł licencjata) do 1953 r., Służył przez dwa lata w armii amerykańskiej, a następnie kontynuował studia na Uniwersytecie Michigan , gdzie pracował z Rogerem Lyndonem w 1959 r ., Pracując nad rozprawą Dwa dochodzenia na granicy logiki i Doktor algebry .

Następnie pracował przez dwa lata w Institute for Defence Analyzes w Princeton, a następnie wyjechał na University of Illinois w Urbana-Champaign jako adiunkt w 1961 r. , Gdzie został profesorem nadzwyczajnym w 1967 r. I profesorem zwyczajnym w 1977 r., A wraz z Wolfgangiem w 1976 r. Hak udowodnił słynne twierdzenie o czterech kolorach. Oznacza to, że na każdą dwuwymiarową mapę (z pewnymi ograniczeniami) wystarczą cztery kolory, aby pokolorować mapę bez sąsiadujących „krajów” o tym samym kolorze.

Dowód powstał tylko w wyniku masowego używania komputera i mógł zostać zweryfikowany tylko przez komputer (trzeba było sprawdzić około 1500 pojedynczych przypadków). Pod względem dowodowym wyznacza punkt zwrotny w historii matematyki - początek tego, co dziś jest znane jako matematyka eksperymentalna . W swoim dowodzie oparli się na pomysłach Heinricha Heescha , który w latach 60. pracował również nad dowodem z pomocą komputera w TU Hannover , ale otrzymał niewystarczające wsparcie finansowe i poza tym był stosunkowo odizolowany. Aby to udowodnić, Appel i Haken potrzebowali 1200 godzin czasu obliczeniowego na IBM 360 z 64 kB RAM, który był używany tylko do celów administracyjnych na uniwersytecie. Ich praca nad dowodem trwała około czterech lat i rozpoczęła się w 1972 roku. Wspierały ich również dzieci z Appel (jego syn Andrew jest teraz również profesorem informatyki w Princeton). Aby uczcić dowody, Uniwersytet Illinois wprowadził nowy stempel pocztowy: Wystarczą cztery kolory . Najwyraźniej większość programowania (w języku asemblera ) została wykonana przez Appela, podczas gdy topolog Haken wniósł koncepcje koncepcyjne.

Kenneth Appel był ostatnim profesorem na University of New Hampshire w Durham, gdzie był kierownikiem wydziału matematyki w latach 1993-2002. Jest członkiem Amerykańskiego Towarzystwa Matematycznego .

W 1979 roku otrzymał nagrodę AMS Fulkerson za matematykę dyskretną u Hakena .

Był żonaty z Carole Stein od 1959 roku.

literatura

  • Appel, Haken: Każda mapa planarna jest w czterech kolorach. Część I. Rozładowanie . Illinois Journal of Mathematics, tom 21, 1977
  • Appel, Haken: Każda mapa planarna jest czterokolorowa , Bulletin AMS Vol. 82, 1976, s.711
  • Appel, Haken: Every Planar Map is Four Colorable , Contemporary Mathematics, Vol. 98, American Mathematical Society, 1989
  • Appel, Haken: The Solution of the Four-Color-Map Problem , Scientific American, tom 237, nr 4, str. 108-121 (1977)
  • Robin Wilson : Cztery kolory wystarczą: jak rozwiązano problem mapy , Princeton University Press, Penguin Books 2002

linki internetowe

dane osobiste
NAZWISKO Appel, Kenneth
ALTERNATYWNE NAZWY Appel, Ken
KRÓTKI OPIS Amerykański matematyk
DATA URODZENIA 8 października 1932
MIEJSCE URODZENIA Brooklyn , Nowy Jork
DATA ŚMIERCI 19 kwietnia 2013
Miejsce śmierci Dover, New Hampshire