William Alvin Howard
Aspeto
William Alvin Howard | |
---|---|
Nascimento | 1926 |
Cidadania | Estados Unidos |
Alma mater | |
Ocupação | matemático, professor universitário |
Prêmios |
|
Empregador(a) | Universidade de Illinois Chicago |
Orientador(a)(es/s) | Saunders Mac Lane e André Weil |
William Alvin Howard (1926) é um lógico matemático estadunidense.
Howard obteve um doutorado em 1956 na Universidade de Chicago, orientado por Saunders Mac Lane e André Weil, com a tese k-fold recursion and well-ordering.[1] Foi na década de 1960 professor da Universidade Estadual da Pensilvânia e depois da Universidade do Illinois em Chicago. É fellow da American Mathematical Society.
Howard mostrou com Haskell Curry (em trabalhos desde a década de 1930) uma analogia (isomorfismo de Curry-Howard) entre lógica intuicionista e cálculo lambda.
Obras
[editar | editar código-fonte]- The formulae-as-types notion of construction, Manuskript aus dem Jahr 1969, in Jonathan Seldin, Roger Hindley (Eds.): To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, Academic Press 1980, p. 479 (correspondência Curry-Howard)
- A system of abstract constructive ordinals, Journal of Symbolic Logic, Volume 37 1972, p. 355–374 (Bachmann-Howard-Ordinalzahlen)
Referências
- ↑ William Alvin Howard (em inglês) no Mathematics Genealogy Project