Анил Нерод
- Анил Нерод — американский математик, известный работами в области математической логики.
- Он получил высшее образование и степень доктора философии в Чикагском университете.
- Нерод работал в Институте исследований воздушного оружия и учился в Институте перспективных исследований в Принстоне.
- Он является профессором математики Голдвина Смита в Корнеллском университете.
- Нерод связан с математической логикой, теорией автоматов, теорией вычислимости и сложностью, вариационным исчислением и распределенными системами.
- Он совместно с Джоном Майхиллом доказал теорему Майхилла-Нерода, определяющую необходимые и достаточные условия для того, чтобы формальный язык был регулярным.
- Нероде является членом редколлегии журналов Annals of Mathematics и Artificial Intelligence.
- В 2012 году он стал членом Американского математического общества.
Полный текст статьи: