Loading article…
ウィリアム・アルヴィン・ハワード（1926年生まれ）は証明理論家であり、直観主義論理と単純型付きラムダ計算（カリー・ハワード対応として知られるようになった）の形式的な類似性を実証した研究で最もよく知られている。また、証明論的順序数の理論でも活躍している。1956年にシカゴ大学で博士号を取得した。学位論文「k-fold recursion and well-ordering」 [1]。彼はサンダース・マクレーンの学生だった。
ハワード順序数（バッハマン・ハワード順序数とも呼ばれる）は彼にちなんで名付けられました。
彼は帰納的定義の直観主義理論の順序分析を初めて行った人物である。[2] p.27
彼は2018年にアメリカ数学会のフェローに選出された。[3]
参考文献
- ^ 「Holdings: k-fold recursion and well-ordering」シカゴ大学図書館カタログ。 2015年5月4日閲覧。
- ^ M. Rathjen、「証明理論：算術から集合論へ」。2024年2月22日にアクセス。
- ^ 2018 AMSフェロークラス、アメリカ数学会、2017年11月3日閲覧
外部リンク
- 数学系譜プロジェクトにおけるウィリアム・アルビン・ハワードのエントリー。
- Howard, WA; Kreisel, G. (1966 年 9 月)。「0 型と 1 型の超限帰納法とバー帰納法、および直観主義的分析における連続性の役割」。The Journal of Symbolic Logic。3 ( 3 )。Association for Symbolic Logic: 325–358。doi :10.2307/2270450。JSTOR 2270450。S2CID 5683782。