Вольфганг Хакен | |
---|---|
Вольфганг Хакен | |
Родившийся | |
Альма-матер | Кильский университет |
Род занятий | Математик, профессор |
Известен | Решение теоремы о четырех цветах |
Вольфганг Хакен (родился 21 июня 1928 г.) - математик , специализирующийся на топологии , в частности, на 3-многообразиях .
Биография [ править ]
Хакен родился в Берлине , Германия . Его отцом был Вернер Хакен, физик, у которого Макс Планк был научным руководителем докторской диссертации. [1] В 1953 году Хакен получил докторскую степень. получил степень по математике в Christian-Albrechts-Universität zu Kiel (Кильский университет) и женился на Анне-Ирмгард фон Бредов, которая получила степень доктора философии. получил степень по математике в том же университете в 1959 году. В 1962 году они покинули Германию, чтобы он смог занять должность приглашенного профессора в Иллинойском университете в Урбана-Шампейн . Он стал профессором в 1965 году и вышел на пенсию в 1998 году.
В 1976 году вместе с коллегой Кеннетом Аппелем из Университета Иллинойса в Урбана-Шампейн Хакен решил теорему о четырех цветах . Они доказали, что любую двумерную карту с определенными ограничениями можно заполнить четырьмя цветами без каких-либо соседних «стран» того же цвета. Хакен ввел несколько идей, в том числе Хакен многообразия , Кнезер-Хакен конечности и расширение работы Кнезера в теорию нормальных поверхностей . Большая часть его работ имеет алгоритмический аспект, и он является фигурой в алгоритмической топологии . Одним из его ключевых вкладов в эту область является алгоритм определения того, не завязан ли узел.
Старший сын Хакена, Армин, доказал, что существуют пропозициональные тавтологии , требующие разрешающих доказательств экспоненциального размера. [2] Старшая дочь Хакена, Доротея Блоштейн , профессор компьютерных наук, известная своим открытием основной теоремы о повторяемости "разделяй и властвуй" . Другой сын Хакена, Липпольд, является изобретателем грифа Continuum . Вольфганг - двоюродный брат Германа Хакена , физика, известного своими теорией лазера и синергетикой.
В 1978 году Хакен выступил с приглашенной речью на Международном конгрессе математиков в Хельсинки. [3] Он был удостоен в 1979 году Фалкерсон премии в Американском математическом обществе для его решения с Аппель из теоремы четыре цвета . [4]
См. Также [ править ]
Ссылки [ править ]
- ^ Вернер Хакен, Beitrag zur Kenntnis der thermoelektrischen Eigenschaften der Metallegierungen . Доступ: 6 мая 2019 г.
- ^ Ави Вигдерсон , Математика и Исчисление, 27 марта 2018, сноска в теореме 6.11
- ^ Международный конгресс математиков 1978 . Международный математический союз . Доступ 29 мая 2011 г.
- ^ Делберт Фулкерсон премия Ray , Американское математическое общество . Доступ 29 мая 2011 г.
- Haken, W. "Theorie der Normalflachen". Acta Math . 105, 245–375, 1961.
Внешние ссылки [ править ]
- Вольфганг Хакен на проекте « Математическая генеалогия»
- Страница факультета Хакена в Университете Иллинойса в Урбана-Шампейн
- Биография Вольфганга Хакена из журнала World of Mathematics
- История жизни Липпольда Хакена
- Хакен, Армин (1985), "несговорчивость разрешения", Теоретическая информатика , 39 : 297-308, DOI : 10,1016 / 0304-3975 (85) 90144-6
- Аппель, Кеннет; Хакен, Вольфганг (1989), Каждую планарную карту можно раскрасить в четыре цвета , AMS, стр. xv, ISBN 0-8218-5103-9