Anil Nerode

Anil Nerode er en amerikansk matematiker. Han modtog sin bachelor uddannelse og en Ph.D. i matematik fra University of Chicago, sidstnævnte under de retninger af Saunders Mac Lane. Han indskrevet i Hutchins College på University of Chicago i 1947 i en alder af 15, og fik sin Ph.D. i 1956. Hans Ph.D. afhandling var på en algebraisk abstrakt formulering af substitution i mange-sorteres gratis algebraer og dens relation til equational definitioner af de partielle rekursive funktioner.

Mens der i graduate skole, begyndende i 1954, arbejdede han hos professor Walter Bartky Institut for Air Våben Forskning, som gjorde klassificeret arbejde for US Air Force. Han fortsatte med at arbejde der efter afslutningen af ​​sin Ph.D., fra 1956 til 1957. I sommeren 1957, han deltog i Cornell NSF Sommer 1957 Institute i Logic. I 1958 til 1959 tog han til Institute for Advanced Study i Princeton, New Jersey, hvor han arbejdede med Kurt Gödel.

Nerode er Goldwin Smith professor i matematik ved Cornell University. Hans interesser er i matematisk logik, teorien om automater, beregnelighed og kompleksitet teori, calculus varianter, og distribuerede systemer. Med John Myhill, Nerode bevist Myhill-Nerode teorem specificere nødvendige og tilstrækkelige betingelser for et formelt sprog til at være regelmæssig.

Nerode er en redaktionel bestyrelsesmedlem af tidsskrifterne Annals of Mathematics og kunstig intelligens, Matematisk og Computer Modellering, Documenta Mathematica og flere andre.

I 2012 blev han en kollega af den amerikanske Mathematical Society.

  0   0
Forrige artikel Carrigaline GAA
Næste artikel Baudette, Minnesota

Kommentarer - 0

Ingen kommentar

Tilføj en kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tegn tilbage: 3000
captcha