Williama Alvina Howarda

William Alvin Howard (ur. 1926) jest teoretykiem dowodów najbardziej znanym ze swojej pracy wykazującej formalne podobieństwo między logiką intuicjonistyczną a prostym typem rachunku lambda , który stał się znany jako korespondencja Curry'ego – Howarda . Był również aktywny w teorii liczb porządkowych teorii dowodu . Uzyskał tytuł doktora. na Uniwersytecie w Chicago w 1956 r. za rozprawę „K-krotna rekurencja i dobre uporządkowanie”. Był uczniem Saunders Mac Lane .

Jego imieniem nazwano porządek porządkowy Howarda (znany również jako porządek Bachmanna-Howarda ) .

Został wybrany do klasy stypendystów 2018 Amerykańskiego Towarzystwa Matematycznego .

Linki zewnętrzne

• Wpis dla Williama Alvina Howarda w Mathematics Genealogy Project .
•   Howard, Waszyngton; Kreisel, G. (wrzesień 1966). „Indukcja pozaskończona i indukcja prętowa typów zero i jeden oraz rola ciągłości w analizie intuicjonistycznej”. Dziennik logiki symbolicznej . Stowarzyszenie Logiki Symbolicznej. 3 (3): 325–358. doi : 10.2307/2270450 . JSTOR 2270450 .