Anil Nerode - Anil Nerode

Anil Nerode (1932 doğumlu) bir Amerikan matematikçi. Lisans eğitimini ve doktora derecesini aldı. matematikte Chicago Üniversitesi, ikincisi talimatlar altında Saunders Mac Lane. 1947'de Chicago Üniversitesi Hutchins Koleji'ne 15 yaşındayken kaydoldu ve doktora derecesini aldı. 1956'da. Ph.D. tez, çok sıralı serbest cebirlerde ikame cebirsel soyut formülasyonu ve kısmi yinelemeli fonksiyonların denklem tanımlarıyla ilişkisi üzerineydi.[1]

Lisansüstü eğitimindeyken, 1954'ten itibaren Profesör'de çalıştı. Walter Bartky ABD Hava Kuvvetleri için sınıflandırılmış işler yapan Hava Silahları Araştırma Enstitüsü. 1956'dan 1957'ye kadar doktorasını tamamladıktan sonra orada çalışmaya devam etti. 1957 yazında Cornell NSF Yaz 1957 Mantık Enstitüsü'ne katıldı. 1958'den 1959'a kadar İleri Araştırmalar Enstitüsü Princeton, New Jersey'de Kurt Gödel. Ayrıca yüksek lisans çalışması yaptı. California Üniversitesi, Berkeley.[2]

1959'da fakülte pozisyonu için istenmeyen bir teklif aldığında Cornell Üniversitesi, kısmen, kampüse yaptığı önceki ziyaretinde "gördüğüm en güzel yer" olduğunu düşündüğü için kabul etti.[2] Nerode, 1991 yılında bu sandalyeye seçildiği için Cornell'de Goldwin Smith Matematik Profesörüdür.[2] İlgi alanları matematiksel mantık, otomata teorisi, hesaplanabilirlik ve karmaşıklık teorisi, varyasyonlar hesabı ve dağıtılmış sistemlerdir. İle John Myhill Nerode kanıtladı Myhill-Nerode teoremi için gerekli ve yeterli koşulları belirterek resmi dil olmak düzenli.[3]

2019–20 akademik yılı, Nerode'nin 60. yılını Cornell'de aktif bir öğretim üyesi olarak gördü ve üniversitenin bu türden en uzun görev süresi olduğunu söyledi.[2]

Nerode, dergilerin Yayın Kurulu üyesidir Matematik ve Yapay Zeka Yıllıkları,[4] Matematiksel ve Bilgisayar Modelleme,[5] Documenta Mathematica[6] ve diğerleri.

2012'de bir üye oldu Amerikan Matematik Derneği.[7]

Notlar

  1. ^ Nerode'nin 1992'ye kadar yaptığı matematik çalışmalarının bir açıklaması için, Nerode'nin eski öğrencisi J. B. Remmel ve J.N.'nin ortak yazarı olan "The Work of Anil Nerode: A Retrospective" bölümüne bakın. 1992 Festschrift cildinde görünen Crossley Mantıksal Yöntemler: Anil Nerode'nin Altmışıncı Doğum Günü Anısına (J.N. Crossley, Jeffrey B. Remmel, Richard A. Shore, ve Moss E. Sweedler, eds., Birkhäuser, 1993, ISBN  0-8176-3690-0).
  2. ^ a b c d Lefkowitz, Melanie (11 Eylül 2019). "Yıllarca dolaştıktan sonra, en uzun süre hizmet veren profesör Cornell'de bir ev bulur". Cornell Chronicle. Cornell Üniversitesi. Ayrıca yayınlandı Matematik Önemlidir haber bülteni, Cornell Üniversitesi Matematik Bölümü, Ocak 2020, s. 2.
  3. ^ Martin Davis, Elaine J. Weyuker, Hesaplanabilirlik, Karmaşıklık ve Diller: Teorik Bilgisayar Biliminin Temelleri. Elsevier, 1994, ISBN  978-0-12-206382-4; Ch. 7. Myhill-Nerode teoremi.
  4. ^ Yayın Kurulu, Matematik ve Yapay Zeka Yıllıkları, Springer-Verlag. 21 Ocak 2010 erişildi
  5. ^ Yayın Kurulu, Matematiksel ve Bilgisayar Modelleme, Elsevier. 21 Ocak 2010'da erişildi.
  6. ^ Yayın Kurulu Arşivlendi 2013-01-21 de Wayback Makinesi, Documenta Mathematica, Illinois Üniversitesi. 21 Ocak 2010 erişildi
  7. ^ Amerikan Matematik Derneği Üyelerinin Listesi, erişim tarihi: 2013-02-24.

Referanslar

Dış bağlantılar