Войти
Анил Нероде (род. 1932) - американец математик. Он получил высшее образование и докторскую степень. по математике из Чикагского университета, последний под руководством Сондерса Мак Лейна. Он поступил в Хатчинс-колледж Чикагского университета в 1947 году в возрасте 15 лет и получил степень доктора философии. в 1956 г. Его докторская степень. Диссертация была посвящена алгебраической абстрактной формулировке подстановки в многомерных свободных алгебрах и ее связи с эквациональными определениями частично рекурсивных функций.
В аспирантуре, начиная с 1954 года, он работал у профессора Уолтера Институт исследований воздушного оружия Бартки, который выполнял секретную работу для ВВС США. Он продолжал работать там после получения степени доктора философии с 1956 по 1957 год. Летом 1957 года он посетил Корнельский институт логики летом 1957 года. С 1958 по 1959 год он ходил в Институт перспективных исследований в Принстоне, штат Нью-Джерси, где работал с Куртом Гёделем. Он также работал в аспирантуре в Калифорнийском университете в Беркли.
. Когда в 1959 году он получил незапрошенное предложение о должности преподавателя в Корнеллском университете, он согласился, отчасти потому, что ранее При посещении кампуса он думал, что «это было самое красивое место, которое я когда-либо видел». Нероуд - профессор математики Голдвина Смита в Корнельском университете, назначенный на эту кафедру в 1991 году. Его интересы лежат в области математической логики, теории автоматов, теории вычислимости и сложности, вариационного исчисления и распределенных систем. С помощью Джона Майхилла Нероуд доказал теорему Майхилла – Нероде, определяющую необходимые и достаточные условия для формального языка, чтобы быть обычным.
Учебный год В 2019-2020 годах Нероде исполнилось 60 лет в качестве активного преподавателя в Корнелльском университете, что, по словам университета, было самым продолжительным за всю историюего пребывания в должности.
Нероуд является членом редакционной коллегии журналов Annals of Mathematics and Artificial Intelligence, Mathematical and Компьютерное моделирование, Documenta Mathematica и другие.
В 2012 году он стал членом Американского математического общества.
