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. [1]
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 Cornell NSF Summer 1957. 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 . [2]
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". [2] Nerode es profesor de Matemáticas Goldwin Smith en Cornell, habiendo sido nombrado para esa cátedra en 1991. [2] 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 . [3] 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. [2]
Nerode es miembro del consejo editorial de las revistas Annals of Mathematics and Artificial Intelligence , [4] Mathematical and Computer Modeling , [5] Documenta Mathematica [6] y otras.
En 2012 se convirtió en miembro de la American Mathematical Society . [7]
Notas
- ↑ Para obtener una descripción del trabajo matemático de Nerode hasta 1992, consulte "El trabajo de Anil Nerode: una retrospectiva" en coautoría del ex alumno de Nerode, JB Remmel y JN Crossley, que aparece en el volumen de 1992 de Festschrift Logical Methods: In Honor of Anil Nerode's Sexagésimo cumpleaños (JN Crossley, Jeffrey B. Remmel, Richard A. Shore y Moss E. Sweedler , eds., Birkhäuser, 1993, ISBN 0-8176-3690-0 ).
- ^ a b c d Lefkowitz, Melanie (11 de septiembre de 2019). "Después de años de vagar, el profesor más antiguo encuentra un hogar en Cornell" . Crónica de Cornell . Universidad de Cornell.También publicado en el boletín Math Matters , Departamento de Matemáticas de la Universidad de Cornell, enero de 2020, p. 2.
- ^ Martin Davis, Elaine J. Weyuker, Computabilidad, complejidad y lenguajes: fundamentos de la informática teórica. Elsevier , 1994, ISBN 978-0-12-206382-4 ; Ch. 7. Teorema de Myhill-Nerode.
- ^ Consejo editorial , Anales de matemáticas e inteligencia artificial , Springer-Verlag . Consultado el 21 de enero de 2010.
- ^ Comité editorial , modelado matemático y por computadora , Elsevier . Consultado el 21 de enero de 2010.
- ^ Consejo editorial Archivado el 21 de enero de 2013 en Wayback Machine , Documenta Mathematica , Universidad de Illinois . Consultado el 21 de enero de 2010.
- ↑ List of Fellows of the American Mathematical Society , consultado el 24 de febrero de 2013.
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
enlaces externos
- Página de inicio de Anil Nerode