William Alvin Howard - William Alvin Howard
William Alvin Howard (1926 doğumlu) bir ispat teorisyeni en çok, arasındaki biçimsel benzerliği gösteren çalışmasıyla tanınır. sezgisel mantık ve basit yazılan lambda hesabı olarak bilinir hale geldi Curry-Howard yazışmaları. Ayrıca teorisinde de aktif olmuştur. kanıt-teorik sıra sayıları. O kendi Doktora -de Chicago Üniversitesi 1956'da "k-katlamalı özyineleme ve iyi sıralama" başlıklı bir tez için.[1] O öğrenciydi Saunders Mac Lane.
Howard sıra sayısı (Bachmann-Howard ordinal olarak da bilinir) onun adını almıştır.
2018 sınıfına seçildi arkadaşlar of Amerikan Matematik Derneği.[2]
Referanslar
- ^ "Holdings: k-katlamalı özyineleme ve iyi sıralama". Chicago Üniversitesi Kütüphane Kataloğu. Alındı 2015-05-04.
- ^ 2018 AMS Üyeleri Sınıfı, Amerikan Matematik Derneği, alındı 2017-11-03
Dış bağlantılar
- İçin giriş William Alvin Howard -de Matematik Şecere Projesi.
- Howard, W. A .; Kreisel, G. (Eylül 1966). "Sıfır ve Bir Türlerinin Transfinite İndüksiyonu ve Çubuk İndüksiyonu ve Sezgisel Analizde Sürekliliğin Rolü". Sembolik Mantık Dergisi. Sembolik Mantık Derneği. 3 (3): 325–358. doi:10.2307/2270450. JSTOR 2270450.
   | Amerikalı bir matematikçi hakkındaki bu makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |