William Alvin Howard - William Alvin Howard
William Alvin Howard (nascido em 1926) é um teórico da prova mais conhecido por seu trabalho que demonstra similaridade formal entre a lógica intuicionista e o cálculo lambda simplesmente digitado que veio a ser conhecido como correspondência Curry-Howard . Ele também foi ativo na teoria dos ordinais da teoria da prova . Ele obteve seu Ph.D. na Universidade de Chicago em 1956 para uma dissertação intitulada "k-fold recursion and well-ordering". Ele foi aluno de Saunders Mac Lane .
O ordinal de Howard (também conhecido como ordinal de Bachmann – Howard) foi nomeado em sua homenagem.
Ele foi eleito para a turma de 2018 de bolsistas da American Mathematical Society .
Referências
links externos
- Inscrito para William Alvin Howard no Projeto de Genealogia da Matemática .
- Howard, WA; Kreisel, G. (setembro de 1966). "Indução transfinita e indução de barras dos tipos zero e um, e o papel da continuidade na análise intuicionista". The Journal of Symbolic Logic . Association for Symbolic Logic. 3 (3): 325–358. doi : 10.2307 / 2270450 . JSTOR 2270450 .