Anil Nerode

Anil Nerode (nacido en 1932) es un matemático estadounidense , conocido por su trabajo en lógica matemática y por su dilatada trayectoria como profesor en la Universidad de Cornell .

Obtuvo su licenciatura y un doctorado en matemáticas en la Universidad de Chicago , este último 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 tesis doctoral versó sobre una formulación abstracta algebraica de la sustitución en álgebras libres multisortadas y su relación con las definiciones ecuacionales de las funciones recursivas parciales . ^{[ 1 ]}

Mientras cursaba estudios de posgrado, a partir de 1954, trabajó en el Instituto de Investigación de Armas Aéreas del profesor Walter Bartky , que realizaba trabajos clasificados para la Fuerza Aérea de los Estados Unidos. Continuó trabajando allí tras finalizar su doctorado, de 1956 a 1957. En el verano de 1957 asistió al Instituto de Lógica de la NSF de Cornell . De 1958 a 1959 fue al Instituto de Estudios Avanzados de Princeton, Nueva Jersey, donde trabajó con Kurt Gödel . También realizó estudios 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 , la aceptó, en parte porque en su visita anterior al campus había pensado "era el lugar más bonito que jamás había visto". ^{[ 2 ]} Nerode es un distinguido profesor de artes y ciencias en matemáticas en Cornell. ^{[ 3 ]} Anteriormente fue profesor Goldwin Smith de matemáticas en Cornell, habiendo sido nombrado para esa cátedra en 1991. ^{[ 2 ]} Sus intereses son la lógica matemática , la teoría de 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 que especifica condiciones necesarias y suficientes para que un lenguaje formal sea regular . ^{[ 4 ] [ 5 ] [ 6 ]} Con Bakhadyr Khoussainov , Nerode fundó la teoría de estructuras automáticas, una extensión de la teoría de grupos automáticos .

El año académico 2019-20 marcó el sexagésimo año de Nerode como miembro activo del profesorado de Cornell, lo que, según la universidad, representó su permanencia más larga hasta la fecha. ^{[ 2 ]} En 2022, se celebró en línea la conferencia Nerode-90 para celebrar sus contribuciones al campo. ^{[ 7 ]}

Nerode es miembro del consejo editorial de las revistas Annals of Mathematics and Artificial Intelligence , ^{[ 8 ]} Mathematical and Computer Modelling , ^{[ 9 ]} Documenta Mathematica ^{[ 10 ]} y otras.

En 2012 se convirtió en miembro de la Sociedad Matemática Estadounidense . ^{[ 11 ]}

• John E. Hopcroft y Jeffrey D. Ullman , Introducción a la teoría de autómatas, lenguajes y computación , Addison-Wesley Publishing, Reading, Massachusetts, 1979. ISBN 0-201-02988-X( Véase el capítulo 3 para el teorema de Myhill-Nerode)

• Página principal de Anil Nerode