Кеннет Аппель - Kenneth Appel

Кеннет Аппель
Родившийся
Кеннет Ира Аппель

(1932-10-08)8 октября 1932 г.
Бруклин, Нью-Йорк
Умер19 апреля 2013 г.(2013-04-19) (в возрасте 80 лет)
Дувр, Нью-Гэмпшир
ГражданствоАмериканец
Альма-матерБ.С. – Куинс-колледж, CUNY
Кандидат наук. – университет Мичигана
ИзвестенДоказывая Теорема о четырех цветах с Вольфганг Хакен
ДетиЭндрю Аппель[1]
Питер Х. Аппель[1]
НаградыПремия Фулкерсона [1979]
Научная карьера
ПоляТеория графов, комбинаторика, топология
УчрежденияУниверситет штата Иллинойс в Урбане-Шампейн, Университет Нью-Гэмпшира
ДокторантРоджер Линдон

Кеннет Ира Аппель (8 октября 1932-19 апреля 2013) Американец математик кто в 1976 году с коллегой Вольфганг Хакен на Университет штата Иллинойс в Урбане-Шампейн, решил одну из самых известных проблем в математика, то теорема о четырех цветах. Они доказали, что любую двумерную карту с определенными ограничениями можно заполнить четырьмя цветами без каких-либо соседних «стран» того же цвета.

биография

Аппель родился в Бруклин, Нью-Йорк, 8 октября 1932 года. Он вырос в Квинс, Нью-Йорк, и был сыном еврея[2][3] пара, Ирвин Аппель и Лилиан Сендер Аппель. Он работал актуарий на короткое время, а затем служил в Армия США в течение двух лет в Форт-Беннинге, штат Джорджия, и в Баумхолдер, Германия. В 1959 году он закончил докторантуру в университет Мичигана, и он также женился на Кэрол С. Штайн в Филадельфия. Пара переехала в Принстон, Нью-Джерси, где Аппель работал в Институт оборонного анализа с 1959 по 1961 год. Его основная работа в Институте оборонного анализа заключалась в проведении исследований в криптография. Ближе к концу жизни, в 2012 году, он был избран Парень из Американское математическое общество. Он умер в Дувр, Нью-Гэмпшир, 19 апреля 2013 г., после того, как ему поставили диагноз: рак пищевода в октябре 2012 г.[4]

Кеннет Аппель также был казначеем Демократического комитета округа Страффорд. Он играл в теннис до 50 лет. Он всю жизнь коллекционировал марки, играл в го и пекарил хлеба.[нужна цитата ] У него и Кэрол было два сына, Эндрю В. Аппель, отмеченный специалист в области информатики, и Питер Х. Аппель и дочь Лорел Ф. Аппель, которая умерла 4 марта 2013 года. Он также был членом школьного совета Дувра с 2010 года до своей смерти.[4]

Школа и обучение

Кеннет Аппель получил степень бакалавра Куинс Колледж в 1953 г. После службы в армии посещал университет Мичигана где он получил степень магистра в 1956 году, а затем и докторскую степень. в 1959 г. Роджер Линдон, его научный руководитель, был математиком, основным математическим фокусом которого был теория групп.

После работы на Институт оборонного анализа, в 1961 году Аппель поступил на факультет математики в Университет Иллинойса как доцент. Пока Аппель исследовал теория групп и теория вычислимости. В 1967 году он стал Доцент а в 1977 г. получил звание Профессор. Когда он учился в этом университете, он и Вольфганг Хакен доказал теорему о четырех цветах. За свою работу и доказательство этой теоремы позже они были награждены Делберт Рэй Фулкерсон премия 1979 г. Американское математическое общество и Общество математического программирования.[5]

В то время как в университете Иллинойса Аппель набрал пять студентов во время их докторской программы. Каждый студент помогал вносить свой вклад в работу, указанную в Проект "Математическая генеалогия".[6]

В 1993 году Аппель переехал в Нью-Гемпшир в качестве председателя Математика Отдел Университет Нью-Гэмпшира. В 2003 году он ушел на пенсию как Заслуженный профессор в отставке. Выйдя на пенсию, он добровольно участвовал в программах повышения квалификации по математике в Дувре и в государственных школах на юге штата Мэн. Он считал, что «ученикам должна быть предоставлена ​​возможность изучать математику на уровне их способностей, даже если они намного выше их уровня».[4]

Вклад в математику

Теорема четырех цветов

Кеннет Аппель известен своей работой в топология, раздел математики, изучающий определенные свойства геометрических фигур.[7] Его самым большим достижением было доказательство теорема четырех цветов в 1976 году с Вольфганг Хакен. В Нью-Йорк Таймс писал в 1976 году:

Теперь гипотеза о четырех цветах была доказана двумя математиками из Иллинойского университета, Кеннетом Аппелем и Вольфганг Хакен. У них был бесценный инструмент, которого раньше не хватало математикам - современные компьютеры. Их настоящее доказательство частично основано на 1200 часах компьютерных вычислений, в течение которых нужно было принять около десяти миллиардов логических решений. Доказательство гипотезы четырех цветов вряд ли будет иметь прикладное значение. Тем не менее, то, что было достигнуто, является крупным интеллектуальным подвигом. Это дает нам важное новое понимание природы двумерного пространства и способов, которыми такое пространство может быть разбито на отдельные части.[4]

Сначала многие математики были недовольны тем фактом, что Аппель и Хакен использовали компьютеры, поскольку в то время это было в новинку, и даже Аппель сказал: «Большинство математиков, даже в 1970-е годы, не имели реального интереса к изучению компьютеров. Это было почти так, как если бы те из нас, кому нравилось играть с компьютерами, делали что-то нематематическое или подозрительное ».[8] Фактическое доказательство было описано в статье размером с обычную книгу под названием Каждую планарную карту можно раскрасить в четыре цвета// Современная математика. 98, Американское математическое общество, 1989.[5]

Доказательство было одним из самых противоречивых в современной математике из-за его сильной зависимости от компьютерной обработки чисел для сортировки возможностей, что вызвало критику со стороны многих в математическом сообществе за его неэлегантность: «хорошее математическое доказательство похоже на стихотворение - это телефонный справочник! " Аппель и Хакен согласились в интервью 1977 года, что оно не было «элегантным, лаконичным и полностью понятным для человеческого математического ума».[9]

Тем не менее, это доказательство положило начало изменению отношения математиков к компьютерам, которые они по большей части презирали как инструмент для инженеры а не для теоретиков - что привело к созданию того, что иногда называют экспериментальная математика.

Теория групп

Другие публикации Кеннета Аппеля включают статью с П.Э. Шупп назвал Группы Артина и бесконечные группы Кокстера. В этой статье Appel и Schupp представил четыре теоремы, которые верны о Группы Кокстера а затем доказал, что они верны для Группы Артина. Доказательства этих четырех теорем использовали «результаты и методы теории малых сокращений».[10]

Рекомендации

  1. ^ а б "In Memoriam: Кеннет Аппель". math.illinois.edu. Получено 2020-09-07.
  2. ^ "Еврей или не еврей". Получено 1 июля 2019.
  3. ^ «Еврейские математики». Jinfo.org. Получено 29 июн 2018.
  4. ^ а б c d Некролог для: Kenneth I. Appel http://www.meaningfulfunerals.net/fh/obituaries/obituary.cfm?o_id=2069700&fh_id=12298
  5. ^ а б Мир математики. Н.п .: Thomson Corporation, 2005-2006. Кеннет И. Аппель Биография | Bookrags.com
  6. ^ «Проект математической генеалогии». Проект "Математическая генеалогия" - Кеннет Аппель http://genealogy.math.ndsu.nodak.edu/id.php?id=5059
  7. ^ «Кеннет И. Аппель». Наука и ее времена (2005–2006)
  8. ^ Брукс, Дэвид. "Пионеры математики". Интернет-журнал UNH.
  9. ^ Проблема с четырехцветной картой
  10. ^ Аппель, Кеннет I .; Шупп П. Э. (1983). «Группы Артина и бесконечные группы Кокстера». Inventiones Mathematicae. 72 (2): 201–220. Дои:10.1007 / BF01389320.

внешняя ссылка