Anil Nerode - Anil Nerode

Anil Nerode (narozen 1932) je americký matematik. Získal vysokoškolské vzdělání a titul Ph.D. v matematice z University of Chicago, druhý podle pokynů Saunders Mac Lane. V roce 1947 se zapsal na Hutchins College na University of Chicago v roce 1947 ve věku 15 let a získal titul Ph.D. v roce 1956. Jeho Ph.D. Diplomová práce byla na algebraické abstraktní formulaci substituce v mnoha seřazených volných algebrách a jejím vztahu k rovnicním definicím dílčích rekurzivních funkcí.[1]

Během postgraduálního studia, počínaje rokem 1954, pracoval u profesora Walter Bartky Institut pro výzkum vzdušných zbraní, který klasifikoval práci pro americké letectvo. Po ukončení svého doktorského studia tam pracoval i nadále, a to v letech 1956 až 1957. V létě roku 1957 navštěvoval Logne Institute of Cornell NSF Summer 1957. V letech 1958 až 1959 odešel do Institut pro pokročilé studium v Princetonu v New Jersey, kde pracoval Kurt Gödel. On také dělal postgraduální práci na University of California, Berkeley.[2]

Když v roce 1959 dostal nevyžádanou nabídku místa na fakultě v Cornell University, přijal, zčásti proto, že při své předchozí návštěvě kampusu si myslel, že „to bylo nejhezčí místo, jaké jsem kdy viděl“.[2] Nerode je profesorem matematiky Goldwin Smith na Cornellu, který byl jmenován do této katedry v roce 1991.[2] Zajímá se o matematickou logiku, teorii automatů, teorii vypočítatelnosti a složitosti, variační počet a distribuované systémy. S John Myhill, Nerode prokázal Věta Myhill – Nerode upřesnění nezbytných a dostatečných podmínek pro a formální jazyk být pravidelný.[3]

V akademickém roce 2019–2020 byl Nerode 60. rok aktivním členem fakulty na Cornellu, což podle univerzity bylo vůbec nejdelší funkční období v historii.[2]

Nerode je členem redakční rady časopisů Annals of Mathematics and Artificial Intelligence,[4] Matematické a počítačové modelování,[5] Documenta Mathematica[6] a další.

V roce 2012 se stal členem Americká matematická společnost.[7]

Poznámky

  1. ^ Popis Nerodeovy matematické práce do roku 1992 viz „The Work of Anil Nerode: A Retrospective“, spoluautorem Nerodeho bývalého studenta J. B. Remmela a J.N. Crossley, který se objeví v roce 1992 Festschrift svazku Logické metody: Na počest šedesátých narozenin Anila Nerode (J. N. Crossley, Jeffrey B. Remmel, Richard A. Shore, a Moss E. Sweedler, eds., Birkhäuser, 1993, ISBN  0-8176-3690-0).
  2. ^ A b C d Lefkowitz, Melanie (11. září 2019). „Po letech putování najde nejdéle sloužící profesor domov v Cornellu.“. Cornell Chronicle. Cornell University. Publikováno také v Matematické záležitosti zpravodaj, Katedra matematiky univerzity Cornell, leden 2020, s. 2.
  3. ^ Martin Davis, Elaine J. Weyuker, Vyčíslitelnost, složitost a jazyky: Základy teoretické informatiky. Elsevier, 1994, ISBN  978-0-12-206382-4; Ch. 7. Věta Myhill-Nerode.
  4. ^ Redakční rada, Annals of Mathematics and Artificial Intelligence, Springer-Verlag. Zpřístupněno 21. ledna 2010
  5. ^ Redakční rada, Matematické a počítačové modelování, Elsevier. Zpřístupněno 21. ledna 2010.
  6. ^ Redakční rada Archivováno 21. 01. 2013 na Wayback Machine, Documenta Mathematica, University of Illinois. Zpřístupněno 21. ledna 2010
  7. ^ Seznam členů Americké matematické společnosti, vyvoláno 2013-02-24.

Reference

externí odkazy