Anil Nerode

from Wikipedia, the free encyclopedia

Anil Nerode (born June 4, 1932 in Los Angeles ) is an American mathematical logician and mathematician .

Life

Nerode studied at the University of Chicago with a Bachelor of Arts degree in 1949, a Bachelor of Science degree in 1952, a Master's degree in 1953 and a doctorate from Saunders Mac Lane in 1956 ( Composita, Equations and Recursive Definition ). From 1953 he was at the Institute for Systems Research at the University of Chicago (under Walter Bartky, secret work was carried out there for the US Air Force), and remained there until 1957 as a group leader. In 1957/58 (and 1962/63) he was at the Institute for Advanced Study , where he worked with Kurt Gödel , and in 1958/59 he was visiting professor at the University of California. In 1959 he was Assistant Professor and 1965 Professor at Cornell University , since 1991 as Goldwin Smith Professor of Mathematics.

He was visiting professor at the University of Chicago (1976), Monash University (1970, 1974, 1978), MIT (1980) and the University of California, San Diego (1981, 1984, 1985).

He deals with mathematical logic, automaton theory, computability and complexity theory, distributed systems, calculus of variations. The Myhill-Nerode theorem (1957/58) is named after him and John Myhill .

From 1968 to 1982 he was editor of the J. of Symbolic Logic.

Nerode is a Fellow of the American Mathematical Society (AMS), of which he was Vice President from 1991 to 1994.

See also

Fonts

  • with JN Crossley: Combinatorial Functors, Springer 1974

literature

  • Jeffrey B. Remmel, JN Crossley, Richard A. Shore, Moss E. Sweedler (Editors) Logical Methods: in honor of Anil Nerode's Sixtieth Birthday , Birkhäuser, 1993

Web links

Individual evidence

  1. ↑ Life data according to American Men and Women of Science , Thomson Gale 2004
  2. ^ Curriculum vitae (CV) Anil Nerode. Retrieved January 22, 2020 (English).
  3. ↑ Anil Nerode in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Nerode, Anil
BRIEF DESCRIPTION American mathematician
DATE OF BIRTH June 4, 1932
PLACE OF BIRTH los Angeles