>Bender the Bot at 17:28, 28 April 2021

2021-04-28T17:28:46Z

New page

{{short description|American mathematician}}
'''Anil Nerode''' (born 1932) is an [[United States|American]] [[mathematics|mathematician]]. He received his undergraduate education and a Ph.D. in mathematics from the [[University of Chicago]], the latter under the directions of [[Saunders Mac Lane]]. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D. in 1956. His Ph.D. thesis was on an algebraic abstract formulation of substitution in many-sorted free algebras and its relation to equational definitions of the partial recursive functions.<ref>For a description of Nerode's mathematical work until 1992, see "The Work of Anil Nerode: A Retrospective" co-authored by Nerode's former student J. B. Remmel and J.N. Crossley, which appears in the 1992 Festschrift volume [https://books.google.com/books/about/Logical_Methods.html?id=5kX6A5eFxZ8C ''Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday''] (J. N. Crossley, Jeffrey B. Remmel, [[Richard Shore|Richard A. Shore]], and [[Moss Sweedler|Moss E. Sweedler]], eds., Birkhäuser, 1993, {{ISBN|0-8176-3690-0}}).</ref>

While in graduate school, beginning in 1954, he worked at Professor [[Walter Bartky]]'s Institute for Air Weapons Research, which did classified work for the US Air Force. He continued to work there following the completion of his Ph.D., from 1956 to 1957. In the summer of 1957 he attended the Cornell NSF Summer 1957 Institute in Logic. In 1958 to 1959 he went to the [[Institute for Advanced Study]] in Princeton, New Jersey, where he worked with [[Kurt Gödel]]. He also did post-graduate work at [[University of California, Berkeley]].<ref name="mm-nerode"/>

When in 1959 he got an unsolicited offer of a faculty position at [[Cornell University]], he accepted, in part because on his previous visit to the campus he had thought "it was the prettiest place I'd ever seen".<ref name="mm-nerode"/> Nerode is Goldwin Smith Professor of Mathematics at Cornell, having been named to that chair in 1991.<ref name="mm-nerode"/> His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus of variations, and distributed systems. With [[John Myhill]], Nerode proved the [[Myhill–Nerode theorem]] specifying necessary and sufficient conditions for a [[formal language]] to be [[regular language|regular]].<ref>Martin Davis, Elaine J. Weyuker, [https://books.google.com/books?id=GRWOqKwZGRAC&pg=PA263&dq=myhill-nerode+theorem&ei=grJYS5a4NZyKNaaUhZEJ&cd=1#v=onepage&q=myhill-nerode%20theorem&f=false ''Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science.''] [[Elsevier]], 1994, {{ISBN|978-0-12-206382-4}}; Ch. 7. Myhill-Nerode theorem.</ref> With [[Bakhadyr Khoussainov]], Nerode founded the theory of automatic structures, an extension of the theory of [[automatic group]]s.

The academic year 2019–20 saw Nerode's 60th year as an active faculty member at Cornell, which the university said was its longest such tenure ever.<ref name="mm-nerode">{{cite news | url=http://news.cornell.edu/stories/2019/09/after-years-wandering-longest-serving-professor-finds-home-cornell | title=After years of wandering, longest-serving professor finds a home at Cornell | author-first=Melanie | author-last=Lefkowitz | work=Cornell Chronicle | publisher=Cornell University | date= September 11, 2019}} Also published in ''Math Matters'' newsletter, Cornell University Department of Mathematics, January 2020, p. 2.</ref>

Nerode is an Editorial Board member of the journals ''Annals of Mathematics and Artificial Intelligence'',<ref>[https://www.springer.com/computer/artificial/journal/10472?detailsPage=editorialBoard Editorial Board], ''Annals of Mathematics and Artificial Intelligence'', [[Springer-Verlag]]. Accessed January 21, 2010</ref> ''Mathematical and Computer Modelling'',<ref>[http://www.elsevier.com/wps/find/journaleditorialboard.cws_home/623/editorialboard Editorial Board], ''Mathematical and Computer Modelling'', [[Elsevier]]. Accessed January 21, 2010.</ref> ''Documenta Mathematica''<ref>[http://www.math.uiuc.edu/documenta/stab.html Editorial Board] {{webarchive|url=https://web.archive.org/web/20130121003220/http://www.math.uiuc.edu/documenta/stab.html |date=2013-01-21 }}, ''Documenta Mathematica'', [[University of Illinois]]. Accessed January 21, 2010</ref> and others.

In 2012 he became a fellow of the [[American Mathematical Society]].<ref>[https://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2013-02-24.</ref>

==Notes==
{{reflist}}

==References==
* John E. Hopcroft and Jeffrey D. Ullman, ''[[Introduction to Automata Theory, Languages, and Computation]]'', Addison-Wesley Publishing, Reading Massachusetts, 1979. {{ISBN|0-201-02988-X}}. ''(See chapter 3 for Myhill-Nerode theorem)''
*{{MathGenealogy|id=6458}}

==External links==
*[http://www.math.cornell.edu/~anil/ Anil Nerode's homepage]

{{Authority control}}

{{DEFAULTSORT:Nerode, Anil}}
[[Category:1932 births]]
[[Category:University of Chicago alumni]]
[[Category:20th-century American mathematicians]]
[[Category:21st-century American mathematicians]]
[[Category:American computer scientists]]
[[Category:Cornell University faculty]]
[[Category:Living people]]
[[Category:Fellows of the American Mathematical Society]]
[[Category:American academics of Indian descent]]

Anil Nerode - Revision history

>Bender the Bot at 17:28, 28 April 2021