| 词条 | Anil Nerode |
| 释义 |
While in graduate school, beginning in 1954, he worked at Prof. 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. Nerode is Goldwin Smith Professor of Mathematics at Cornell University. 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.[2] Nerode is an Editorial Board member of the journals Annals of Mathematics and Artificial Intelligence,[3] Mathematical and Computer Modelling,[4] Documenta Mathematica[5] and others. In 2012 he became a fellow of the American Mathematical Society.[6] Notes1. ^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 "Logical Methods: in honor of Anil Nerode's Sixtieth Birthday" (J. N. Crossley, Jeffrey B. Remmel, Richard A. Shore, and Moss E. Sweedler, eds., Birkhäuser, 1993, {{ISBN|0-8176-3690-0}}). 2. ^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. 3. ^[https://www.springer.com/computer/artificial/journal/10472?detailsPage=editorialBoard Editorial Board], Annals of Mathematics and Artificial Intelligence, Springer-Verlag. Accessed January 21, 2010 4. ^Editorial Board, Mathematical and Computer Modelling, Elsevier. Accessed January 21, 2010. 5. ^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 6. ^List of Fellows of the American Mathematical Society, retrieved 2013-02-24. References
External links
10 : 1932 births|University of Chicago alumni|20th-century American mathematicians|21st-century American mathematicians|American computer scientists|Cornell University faculty|American male scientists of Indian descent|Living people|Fellows of the American Mathematical Society|American academics of Indian descent |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。