威廉·阿爾文·霍華德
威廉·阿爾文·霍華德（William Alvin Howard，1926年出生）是一位美國數學家與證明論學家，其最為人所知的貢獻是證明了直覺主義邏輯與簡單類型λ演算之間的形式相似性，此成果後被稱作「柯里-霍華德同構」。他也活躍於證明論序數領域。1956年，他憑藉博士論文《k-重遞歸與良序》（"k-fold recursion and well-ordering"）獲得芝加哥大學博士學位。他是桑德斯·麥克蘭恩的學生。
霍華德序數（亦稱巴赫曼-霍華德序數）即以他命名。
他率先對歸納定義的直覺主義理論 <math>\mathbf{ID}^i_1(\mathcal O)</math> 進行了序數分析。p.27
他於2018年獲選為美國數學學會會士。
參考資料
外部連結
- 數學譜系計畫中關於威廉·阿爾文·霍華德的條目
Category:20世紀美國數學家 Category:21世紀美國數學家 Category:美國邏輯學家 Category:芝加哥大學校友 Category:1926年出生 Category:在世人物 Category:證明論學家 Category:美國數學學會會士