William Alvin Howard

  • male
More Details for William Alvin Howard:
Description:
William Alvin Howard (1926 -) is a proof theorist most well-known for his work demonstrating formal similarity between intuitionistic logic and the typed lambda-calculus that has come to be known as the Curry-Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956. The Howard ordinal or Bachmann-Howard ordinal was named after him. Wikipedia
Related Searches:

Websites About William Alvin Howard

  • Wikipedia

    The definitive Wikipedia entry for William Alvin Howard. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet.
    en.wikipedia.org/wiki/William_Alvin_Howard

  • The Mathematics Genealogy...

    According to our current on-line database, William Howard has 8 students and 10 descendants .
    www.genealogy.math.ndsu.nodak.edu/html/id.phtml?id=6461

Directory