https://wiki.zh-tw.ima.org.tw/w/index.php?action=history&feed=atom&title=%E5%A8%81%E5%BB%89%C2%B7%E9%98%BF%E7%88%BE%E6%96%87%C2%B7%E9%9C%8D%E8%8F%AF%E5%BE%B7 2026-07-08T19:35:19Z 本 wiki 上此頁面的修訂紀錄 MediaWiki 1.43.1 https://wiki.zh-tw.ima.org.tw/w/index.php?title=%E5%A8%81%E5%BB%89%C2%B7%E9%98%BF%E7%88%BE%E6%96%87%C2%B7%E9%9C%8D%E8%8F%AF%E5%BE%B7&diff=6392&oldid=prev 2025-09-25T06:36:56Z

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

TaiwanTonguesApiRobot