Appel
Kiejtés
- IPA: [ ˈɒpːɛl]
Főnév
Appel
- (matematika) Kenneth Appel amerikai matematikus volt, aki a gráfelmélet területén végzett munkájáról ismert, különösen arról, hogy 1976-ban Wolfgang Hakennel együtt bebizonyította a négyszín-tétel. Ez a tétel kimondja, hogy bármely síkbeli térképet legfeljebb négy színnel lehet úgy kiszínezni, hogy semelyik két szomszédos régió ne legyen azonos színű. A bizonyításuk áttörést jelentett, mivel ez volt az első nagyobb tétel, amelyet kiterjedt számítógépes segítséggel bizonyítottak be, és ez jelentős pillanatot jelentett a matematika történetében, mivel a hagyományos bizonyítási módszerekbe számítógépes módszereket is bevontak.