William Alvin Howard

tipo de documento Articolo di Wikipedia Person

Equipo Didactalia

Mi piace 0
Visite 20
Commenti 0
Salva su
Azioni
- Invia link

Info su questa risorsa...

William Alvin Howard

Person

Artículo WikipediaFuente Dbpedia

William Alvin Howard (born 1926) is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply 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, where he was a student of Saunders Mac Lane.The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.

Fecha de nacimiento 1926-01-01

Año de nacimiento 1926

Wikipedia Inglés http://en.wikipedia.org/wiki/William_Alvin_Howard

Wikipedia Español http://es.wikipedia.org/wiki/William_Alvin_Howard

Enlaces externos relacionado http://www.genealogy.math.ndsu.nodak.edu/id.php?id=6461