Guillermo Alvin Howard

Guillermo Alvin Howard (1926 nacido) es un teórico de la prueba mejor conocido por su trabajo que demuestra semejanzas formales entre la lógica intuitionistic y el cálculo de la lambda simplemente escrito a máquina que ha venido para conocerse como la correspondencia del Curry-Howard. También ha sido activo en la teoría de ordinales teóricos por la prueba. Ganó su Doctor en Filosofía en la universidad de Chicago en 1956, donde era un estudiante de Saunders Mac Lane.

Howard ordinal (también conocido como Bachmann–Howard ordinal) se nombró por él.

Enlaces externos



Buscar