William Alvin Howard
William Alvin Howard ( born 1926 ) is an American mathematical logician.
Howard received his doctorate in 1956 at the University of Chicago with Saunders MacLane and André Weil ( k- fold recursion and well -ordering ). He was in the 1960s, a professor at Pennsylvania State University and later at the University of Chicago.
Howard pointed Haskell Curry ( in works that date back to the 1930s ) an analogy ( Curry Howard isomorphism ) between intuitionistic logic and lambda calculus. He also led the eponymous Howard ordinal (or Bachmann - Howard ordinal after him and Heinz Bachmann ) that are defined in the proof theory.
Writings
- The Formulae -as -types notion of construction, manuscript from 1969, in Jonathan Seldin, Roger Hindley (Editor ): To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, Academic Press 1980, S.479 ( Curry - Howard correspondence )
- A system of abstract constructive ordinals, Journal of Symbolic Logic, Vol 37 1972, S.355 -374 ( Bachmann - Howard ordinal )
- Mathematical logician ( 20th century)
- University teachers ( Penn State )
- University teachers ( University of Chicago)
- Americans
- Born in 1926
- Man