William Alvin Howard

Matemático estadounidense

William Alvin Howard (nacido en 1926) es un teórico de la demostración, mejor conocido por su trabajo que demuestra la similitud formal entre la lógica intuicionista y el cálculo lambda de tipos simples que se conoce como la correspondencia Curry-Howard . También ha estado activo en la teoría de los ordinales de la demostración . Obtuvo su doctorado en la Universidad de Chicago en 1956 por su disertación "Recursión k-fold y buen ordenamiento". ^[1] Fue alumno de Saunders Mac Lane .

El ordinal de Howard (también conocido como ordinal Bachmann-Howard) recibió su nombre en su honor.

Fue el primero en realizar un análisis ordinal de la teoría intuicionista de las definiciones inductivas. ^{[2] p.27} ${\displaystyle \mathbf {ID} _{1}^{i}({\mathcal {O}})}$

Fue elegido miembro de la clase de 2018 de miembros de la Sociedad Matemática Americana . ^[3]

Referencias

1. "Fondos: recursión k-fold y buen ordenamiento". Catálogo de la Biblioteca de la Universidad de Chicago . Consultado el 4 de mayo de 2015 .
2. M. Rathjen, "Teoría de la prueba: de la aritmética a la teoría de conjuntos". Consultado el 22 de febrero de 2024.
3. Clase 2018 de miembros de la AMS, American Mathematical Society , consultado el 3 de noviembre de 2017

Enlaces externos

• Entrada de William Alvin Howard en el Proyecto de Genealogía Matemática .
• 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". The Journal of Symbolic Logic . 3 (3). Association for Symbolic Logic: 325–358. doi :10.2307/2270450. JSTOR  2270450. S2CID  5683782.