檢視威廉·阿爾文·霍華德的原始碼

威廉·阿爾文·霍華德（William Alvin Howard，1926年出生）是一位美國數學家與證明論學家，其最為人所知的貢獻是證明了直覺主義邏輯與簡單類型λ演算之間的形式相似性，此成果後被稱作「柯里-霍華德同構」。他也活躍於證明論序數領域。1956年，他憑藉博士論文《k-重遞歸與良序》（"k-fold recursion and well-ordering"）獲得芝加哥大學博士學位。他是桑德斯·麥克蘭恩的學生。

霍華德序數（亦稱巴赫曼-霍華德序數）即以他命名。

他率先對歸納定義的直覺主義理論 <math>\mathbf{ID}^i_1(\mathcal O)</math> 進行了序數分析。<sup>p.27</sup>

他於2018年獲選為美國數學學會會士。

==參考資料==

==外部連結==
*數學譜系計畫中關於威廉·阿爾文·霍華德的條目

Category:20世紀美國數學家
Category:21世紀美國數學家
Category:美國邏輯學家
Category:芝加哥大學校友
Category:1926年出生
Category:在世人物
Category:證明論學家
Category:美國數學學會會士

[[分類: 待校正]]