William Alvin Howard (nacido en 1926) es un teórico de la prueba más conocido por su trabajo que demuestra la similitud formal entre la lógica intuicionista y el cálculo lambda mecanografiado simplemente que ha llegado a conocerse como la correspondencia Curry-Howard . También ha participado activamente en la teoría de los ordinales de la teoría de la demostración . Obtuvo su Ph.D. en la Universidad de Chicago en 1956 para una disertación titulada "k-fold recursión y buen orden". [1] Fue alumno de Saunders Mac Lane .
El ordinal de Howard (también conocido como el ordinal de Bachmann-Howard) recibió su nombre.
Fue elegido miembro de la clase de becarios de 2018 de la American Mathematical Society . [2]
Referencias
- ^ "Explotaciones: recursividad de k-fold y ordenamiento bien" . Catálogo de la biblioteca de la Universidad de Chicago . Consultado el 4 de mayo de 2015 .
- ^ 2018 Class of the Fellows of the AMS , American Mathematical Society , consultado el 3 de noviembre de 2017
enlaces externos
- Entrada para William Alvin Howard en el Proyecto de Genealogía de Matemáticas .
- Howard, WA; Kreisel, G. (septiembre de 1966). "Inducción transfinita e inducción de barras de tipos cero y uno, y el papel de la continuidad en el análisis intuicionista". El diario de la lógica simbólica . Asociación de Lógica Simbólica. 3 (3): 325–358. doi : 10.2307 / 2270450 . JSTOR 2270450 .