Syntymä | 1926 |
---|---|
Kansalaisuus | amerikkalainen |
Koulutus | Chicagon yliopisto |
Toiminta | Matemaatikko , yliopiston professori |
Työskenteli | Illinoisin yliopisto Chicagossa |
---|---|
Ala | Todistusteoria |
Opinnäytetyön ohjaajat | Saunders Mac Lane , André Weil |
Ero | American Mathematical Societyn jäsen |
William Alvin Howard (s. 1926 ) on amerikkalainen logiikka .
Hänet tunnetaan parhaiten todistusteoriassa ja laskentateoriassa vastaavuuden luomisesta intuitionistisen logiikan ja kirjoitetun lambda-laskelman välillä , mikä tunnetaan nimellä Curry-Howard-kirjeenvaihto . Hän on myös tuottanut teoreettista työtä ordinaalien käytöstä todisteissa. Hän sai tohtorin tutkinnon Chicagon yliopistosta vuonna 1965.
Alkuperäinen Howard, jota kutsutaan myös järjestysluokaksi Bachmann Howard (in) , viittaa siihen ja Heinz Bachmanniin .
Hänet valittiin vuonna 2018, joka on mies ja American Mathematical Society .