Анил Нероде
Анил Нерод (род. 1932) — американский математик , известный своими работами в области математической логики и многолетним стажем работы профессором Корнелльского университета .
Он получил высшее образование и степень доктора философии. по математике в Чикагском университете , последний под руководством Сондерса Мак Лейна . Он поступил в колледж Хатчинса Чикагского университета в 1947 году в возрасте 15 лет и получил докторскую степень. в 1956 году. Его доктор философии. диссертация была посвящена алгебраической абстрактной формулировке замены в многосортных свободных алгебрах и ее связи с эквационными определениями частично рекурсивных функций . [1]
Во время учебы в аспирантуре, начиная с 1954 года, он работал в Институте исследований воздушного оружия профессора Уолтера Бартки , который выполнял секретную работу для ВВС США. Он продолжал работать там после защиты докторской степени с 1956 по 1957 год. Летом 1957 года он посетил Корнеллский NSF институт логики летом 1957 года . В 1958–1959 годах он поступил в Институт перспективных исследований в Принстоне, штат Нью-Джерси, где работал с Куртом Гёделем . Он также работал в аспирантуре Калифорнийского университета в Беркли . [2]
Когда в 1959 году он получил незапрошенное предложение о должности преподавателя в Корнеллском университете , он принял его, отчасти потому, что во время своего предыдущего визита в кампус он подумал, что «это самое красивое место, которое я когда-либо видел». [2] Нерод — профессор математики Голдвина Смита в Корнелле, назначенный на эту кафедру в 1991 году. [2] Его интересы лежат в области математической логики , теории автоматов , теории вычислимости и сложности , вариационного исчисления и распределенных систем . Вместе с Джоном Майхиллом Нерод доказал теорему Майхилла-Нерода, необходимые и достаточные условия формального языка регулярности определяющую . [3] [4] [5] Вместе с Бахадыром Хусаиновым Нероде основал теорию автоматических структур, расширение теории автоматических групп .
В 2019–20 учебном году исполнилось 60 лет, когда Нероде работал активным преподавателем в Корнелле, что, по словам университета, было его самым продолжительным сроком пребывания в должности за всю историю. [2] В 2022 году конференция Nerode-90 была проведена онлайн, чтобы отметить его вклад в эту область. [6]
Нероде — член редколлегии журналов «Анналы математики и искусственного интеллекта» . [7] Математическое и компьютерное моделирование , [8] Документа Математика [9] и другие.
В 2012 году он стал членом Американского математического общества . [10]
Примечания [ править ]
- ^ Описание математических работ Нероде до 1992 года см. в книге «Работа Анила Нероде: ретроспектива», написанной в соавторстве с бывшим учеником Нероде Дж. Б. Реммелем и Дж. Н. Кроссли, которая появляется в сборнике Festschrift 1992 года « Логические методы: в честь Анила Нероде». Шестидесятый день рождения (Дж. Н. Кроссли, Джеффри Б. Реммель , Ричард А. Шор и Мосс Э. Свидлер , ред., Биркхойзер, 1993, ISBN 0-8176-3690-0 ).
- ^ Перейти обратно: а б с д Лефковиц, Мелани (11 сентября 2019 г.). «После многих лет странствий профессор, прослуживший дольше всех, находит дом в Корнелле» . Корнеллские хроники . Корнелльский университет. Также опубликовано в информационном бюллетене Math Matters , факультет математики Корнельского университета, январь 2020 г., стр. 2.
- ^ Мартин Дэвис, Элейн Дж. Вейкер, Вычислимость, сложность и языки: основы теоретической информатики. Эльзевир , 1994, ISBN 978-0-12-206382-4 ; Ч. 7. Теорема Майхилла-Нероде.
- ^ Джон Майхилл (ноябрь 1957 г.). «Конечные автоматы и представление событий». В Анил Нероде; Бертон П. Зауэр (ред.). Фундаментальные концепции теории систем (Технический отчет WADC). Центр развития авиации Райта. стр. 112–137. Документ ASTIA № AD 155741.
- ^ Анил Нероде (1958). «Линейные автоматные преобразования» . Труды Американского математического общества . 9 (4): 541–544. дои : 10.1090/S0002-9939-1958-0135681-9 . JSTOR 2033204 .
- ^ Информационный бюллетень Math Matters , факультет математики Корнелльского университета, зима 2022–2023 гг., стр. 10.
- ^ Редакционный совет , Анналы математики и искусственного интеллекта , Springer-Verlag . По состоянию на 21 января 2010 г.
- ^ Редакционный совет журнала « Математическое и компьютерное моделирование» , Elsevier . По состоянию на 21 января 2010 г.
- ^ Редакционная коллегия. Архивировано 21 января 2013 г. в Wayback Machine , Documenta Mathematica , Университет Иллинойса . По состоянию на 21 января 2010 г.
- ↑ Список членов Американского математического общества , получено 24 февраля 2013 г.
Ссылки [ править ]
- Джон Э. Хопкрофт и Джеффри Д. Уллман , Введение в теорию автоматов, языки и вычисления , издательство Addison-Wesley Publishing, Ридинг, Массачусетс, 1979. ISBN 0-201-02988-X . (Теорему Майхилла-Нерода см. в главе 3.)
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
