Anil Nerode - Anil Nerode
Anil Nerode (nacido en 1932) es un matemático estadounidense . Recibió su educación universitaria y un doctorado. en matemáticas de la Universidad de Chicago , esta última bajo la dirección de Saunders Mac Lane . Se matriculó en el Hutchins College de la Universidad de Chicago en 1947 a la edad de 15 años y recibió su doctorado. en 1956. Su Ph.D. La tesis fue sobre una formulación abstracta algebraica de sustitución en álgebras libres de muchos ordenamientos y su relación con las definiciones ecuacionales de las funciones recursivas parciales.
Mientras estaba en la escuela de posgrado, a partir de 1954, trabajó en el Instituto de Investigación de Armas Aéreas del Profesor Walter Bartky , que hizo trabajos clasificados para la Fuerza Aérea de los Estados Unidos. Continuó trabajando allí después de completar su doctorado, de 1956 a 1957. En el verano de 1957 asistió al Instituto de Lógica de verano de 1957 de la NSF de Cornell. De 1958 a 1959 fue al Instituto de Estudios Avanzados en Princeton, Nueva Jersey, donde trabajó con Kurt Gödel . También realizó trabajos de posgrado en la Universidad de California, Berkeley .
Cuando en 1959 recibió una oferta no solicitada de un puesto de profesor en la Universidad de Cornell , aceptó, en parte porque en su visita anterior al campus había pensado que "era el lugar más bonito que había visto en mi vida". Nerode es profesor de matemáticas Goldwin Smith en Cornell, y fue nombrado para esa cátedra en 1991. Sus intereses son la lógica matemática, la teoría de los autómatas, la computabilidad y la teoría de la complejidad, el cálculo de variaciones y los sistemas distribuidos. Con John Myhill , Nerode demostró el teorema de Myhill-Nerode especificando las condiciones necesarias y suficientes para que un lenguaje formal sea regular . Con Bakhadyr Khoussainov , Nerode fundó la teoría de las estructuras automáticas, una extensión de la teoría de los grupos automáticos .
El año académico 2019-20 vio el sexagésimo año de Nerode como miembro activo de la facultad en Cornell, que según la universidad fue el período más largo de su historia.
Nerode es miembro del Consejo Editorial de las revistas Annals of Mathematics and Artificial Intelligence , Mathematical and Computer Modeling , Documenta Mathematica y otras.
En 2012 se convirtió en miembro de la American Mathematical Society .
Notas
Referencias
- John E. Hopcroft y Jeffrey D. Ullman, Introducción a la teoría, los lenguajes y la computación de los autómatas , Addison-Wesley Publishing, Reading Massachusetts, 1979. ISBN 0-201-02988-X . (Consulte el capítulo 3 para conocer el teorema de Myhill-Nerode)
- Anil Nerode en el Proyecto de genealogía matemática