Кіріспе

Американдық математик (1932–2013) Питер Х. Аппелдің ұлы, Ирвин Аппел мен Лилиан Сендер Аппел. Ол қысқа мерзімге актуарий болып жұмыс істеді, содан кейін АҚШ армиясында екі жыл бойы Джорджия штатындағы Форт-Беннингте және Германиядағы Баумхольдерде қызмет етті. 1959 жылы Мичиган университетінде докторлық диссертациясын қорғады, сонымен қатар Филадельфияда Кароль С. Стейнге үйленді. Жұбайлар Нью-Джерси штатының Принстон қаласына көшіп барды, онда Аппель 1959 жылдан 1961 жылға дейін Қорғаныс талдауы институтында жұмыс істеді. Институттағы негізгі жұмысы криптографияны зерттеу болды. Өмірінің соңына қарай, 2012 жылы ол Америка математикалық қоғамының мүшесі болып сайланды. 2012 жылдың қазан айында өңеш қатерлі ісігі анықталғаннан кейін 2013 жылдың 19 сәуірінде Нью-Гэмпшир штатының Довер қаласында қайтыс болды. Кеннет Аппель сонымен қатар Страффорд округінің Демократиялық комитетінің қазынашысы болды. Ол 50 жасқа дейін теннис ойнады. Өмір бойы маркалар жинаумен, Го ойынымен және нан пісірумен айналысты. Иллинойс университетінде Аппель докторлық бағдарлама кезінде бес студентке жетекшілік жасады. Әр студент математикалық генеалогия жобасына қатысты еңбектеріне үлес қосты. 1993 жылы Аппель Нью-Гэмпшир университеті математика кафедрасының меңгерушісі болып Нью-Гэмпширге көшіп келді. 2003 жылы профессорлық қызметтен зейнеткерлікке шықты. Зейнеткерлікте ол Довердегі және Оңтүстік Мейн штатының мемлекеттік мектептерінде математиканы дамыту бағдарламаларында ерікті болып жұмыс істеді. Ол "оқушыларға өздерінің қабілеттеріне сәйкес математиканы оқуға мүмкіндік беру керек, тіпті бұл олардың сынып деңгейінен жоғары болса да" деп сенді. Оның ең үлкен жетістігі – 1976 жылы Вольфганг Хакенмен бірлесе төрт түс теоремасын дәлелдеуі болды. Нью-Йорк Таймс 1976 жылы былай деп жазды:

<blockquote>Енді төрт түс гипотезасын Иллинойс университетінің екі математигі Кеннет Аппель мен Вольфганг Хакен дәлелдеді. Олардың алдыңғы математиктерде болмаған құнды құралы – заманауи компьютерлер болды. Олардың қазіргі дәлелі бір жағынан компьютерлік есептеудің 1200 сағатына негізделген, оның ішінде шамамен он миллиард логикалық шешім қабылдауға тура келді. Төрт түс гипотезасын дәлелдеудің қолданбалы маңызы болуы екіталай. Дегенмен, бұл үлкен интеллектуалдық жетістік. Бұл бізге екі өлшемді кеңістіктің мәнісі және осындай кеңістікті дискретті бөліктерге қалай бөлуге болады туралы маңызды жаңа түсінік береді. Нақты дәлел "Кез келген жазық карта төрт түспен боялады" деген тақырыптағы, әдеттегі кітаптан ұзақ мақалада сипатталған. Contemporary Mathematics, 98-том, Америка математикалық қоғамы, 1989. Дегенмен, бұл дәлел математиктердің компьютерлерге деген көзқарасын өзгертудің бастамасы болды – олар оны теоретиктерге емес, инженерлерге арналған құрал деп есептеген, нәтижесінде кейде эксперименталды математика деп аталатын жаңа бағыт пайда болды.</blockquote>

Топтық теория

Кеннет Аппелдің басқа жариялымдарына П. Э. Шуппен бірге жазылған "Артин топтары және шексіз Коксетер топтары" атты мақала кіреді. Осы мақалада Аппел мен Шупп Коксетер топтарына қатысты төрт теореманы ұсынды, содан кейін оларды Артин топтарында да дұрыс екенін көрсетті. Осы төрт теореманы дәлелдеуде "кіші жою теориясының нәтижелері мен әдістері" пайдаланылды.