Nacimiento | 1926 |
---|---|
Nacionalidad | americano |
Capacitación | Universidad de Chicago |
Ocupaciones | Matemático , profesor universitario |
Trabajé para | Universidad de Illinois en Chicago |
---|---|
Campo | Teoría de la prueba |
Directores de tesis | Saunders Mac Lane , André Weil |
Distinción | Miembro de la American Mathematical Society |
William Alvin Howard (nacido en 1926 ) es un lógico estadounidense .
Es más conocido en la teoría de la prueba y la teoría de la computabilidad , por establecer una correspondencia entre la lógica intuicionista y el cálculo lambda tipificado, un resultado conocido como correspondencia Curry-Howard . También ha realizado trabajos teóricos sobre el uso de ordinales en pruebas. Recibió su doctorado de la Universidad de Chicago en 1965.
Ordinal Howard, también llamado ordinal Bachmann Howard (en) , se refieren a él y a Heinz Bachmann .
Fue elegido en 2018, miembro de la American Mathematical Society .