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
821872
de