Алан Кобэм (математик)
Алан Бельмонт Кобэм | |
|---|---|
| Рожденный | 4 ноября 1927 г. |
| Умер | 28 июня 2011 г. ( 83 года |
| Национальность | Американский |
| Занятие | Ученый-теоретик-компьютерщик |
| Известный | Определение класса P , тезис Кобэма , теорема Кобэма , изобретение очередей с приоритетами , написание программы для игры в контрактный бридж. |
Алан Бельмонт Кобэм (4 ноября 1927 г. - 28 июня 2011 г.) [1] был американским математиком и ученым-компьютерщиком, известным тем, что (вместе с Джеком Эдмондсом и Майклом О. Рабином ) изобрел понятие полиномиального времени и класса сложности P , [2] [Б] за диссертацию Кобэма, утверждающую, что проблемы, которые имеют практически применимые компьютерные решения, характеризуются полиномиальным временем, [3] [Б] и для теоремы Кобэма о множествах чисел, распознаваемых конечными автоматами . [4] [С] Он также провёл основополагающую работу по автоматическим последовательностям . [5] [Д] изобрел приоритетные очереди и изучил их с точки зрения теории массового обслуживания , [6] [А] и написал программу для игры в контрактный бридж , которая на тот момент (середина 1980-х) была одной из лучших в мире. [7]
Кобэм был студентом Оберлин-колледжа , Чикагского университета , Калифорнийского университета в Беркли и Массачусетского технологического института , но не получил докторскую степень. Он стал исследователем операций в ВМС США , исследователем IBM Research в Исследовательском центре Томаса Дж. Уотсона , а также профессором и заведующим кафедрой компьютерных наук в Уэслианском университете . [1]
Избранные публикации
[ редактировать ]| А. | Кобэм, Алан (февраль 1954 г.). «Распределение приоритетов в проблемах очереди». Журнал Американского общества исследования операций . 2 (1): 70–76. дои : 10.1287/opre.2.1.70 . |
| Б. | Кобэм, Алан (1965). «Внутренняя вычислительная сложность функций». В Бар-Гилеле, Иеошуа (ред.). Логика, методология и философия науки: материалы Международного конгресса 1964 года . Исследования по логике и основам математики. Амстердам: Северная Голландия. стр. 24–30. МР 0207561 . |
| С. | Кобэм, Алан (июнь 1969 г.). «О зависимости от базы множеств чисел, распознаваемых конечными автоматами». Теория математических систем . 3 (2): 186–192. дои : 10.1007/BF01746527 . МР 0250789 . S2CID 19792434 . |
| Д. | Кобэм, Алан (март 1972 г.). «Единые последовательности тегов». Теория математических систем . 6 (1–2): 164–192. дои : 10.1007/BF01706087 . МР 0457011 . S2CID 28356747 . |
Ссылки
[ редактировать ]- ↑ Перейти обратно: Перейти обратно: а б Шалит, Джеффри (31 марта 2010 г.). «Алан Кобэм» . Рекурсивность . Шалит, Джеффри (12 ноября 2014 г.). «Алан Кобэм: Признательность» . Рекурсивность .
- ^ Козен, Декстер К. (2006). Теория вычислений . Спрингер. п. 4. ISBN 978-1-84628-297-3 .
- ^ Аузиелло, Джорджио (2018). Создание новой науки: личное путешествие в первые годы теоретической информатики . Спрингер. п. 43. ИСБН 978-3-319-62680-2 .
- ^ Дюран, Фабьен; Риго, Мишель (2010). «О теореме Кобэма» (PDF) . В Пине Ж.-Э. (ред.). Автоматы: от математики к приложениям . Европейское математическое общество.
- ^ Роуленд, Эрик (март 2015 г.). «Что такое… автоматическая последовательность?» (PDF) . Уведомления Американского математического общества . 62 (3): 274–276. дои : 10.1090/noti1218 .
- ^ Миллер, Руперт Дж. младший (1960). «Приоритетные очереди» . Анналы математической статистики . 31 : 86–103. дои : 10.1214/aoms/1177705990 . МР 0120688 .
- ^ Траскотт, Алан (7 октября 1984 г.). «Бридж: Игра против компьютеров» . Нью-Йорк Таймс .
| Базы данных авторитетного контроля : академики |
|---|
   | Эта статья об американском математике незавершена . Вы можете помочь Википедии, расширив ее . |