Anil Nerode
Encyclopedia
Anil Nerode is a U.S.
mathematician
, born in 1932. 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.
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).
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
.
Nerode is an Editorial Board member of the journals Annals of Mathematics and Artificial Intelligence, Mathematical and Computer Modelling, Documenta Mathematica and several others.
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
mathematician
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, born in 1932. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago
University of Chicago
The University of Chicago is a private research university in Chicago, Illinois, USA. It was founded by the American Baptist Education Society with a donation from oil magnate and philanthropist John D. Rockefeller and incorporated in 1890...
, the latter under the directions of Saunders Mac Lane
Saunders Mac Lane
Saunders Mac Lane was an American mathematician who cofounded category theory with Samuel Eilenberg.-Career:...
. 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.
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).
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
Kurt Gödel
Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
.
Nerode is Goldwin Smith Professor of Mathematics at Cornell University
Cornell University
Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...
.
His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus of variations, and distributed systems.
With John Myhill
John Myhill
John R. Myhill was a mathematician, born in 1923. He received his Ph.D. from Harvard University under Willard Van Orman Quine in 1949. He was professor at SUNY Buffalo from 1966 until his death in 1987...
, Nerode proved the Myhill-Nerode theorem specifying necessary and sufficient conditions for a formal language
Formal language
A formal language is a set of words—that is, finite strings of letters, symbols, or tokens that are defined in the language. The set from which these letters are taken is the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar...
to be regular
Regular language
In theoretical computer science and formal language theory, a regular language is a formal language that can be expressed using regular expression....
.
Nerode is an Editorial Board member of the journals Annals of Mathematics and Artificial Intelligence, Mathematical and Computer Modelling, Documenta Mathematica and several others.