William Alvin Howard

William Alvin Howard Biografía
Nacimiento 1926
Nacionalidad americano
Capacitación Universidad de Chicago
Ocupaciones Matemático , profesor universitario
Otras informaciones
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 .

Biografía

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 .

Referencias

  1. (en) WA Howard, Un sistema de ordinales constructivos abstractos , J. Symbolic Logic 37 (2) (1972) 355-374
  2. (De) H. Bachmann, Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen , Vierteljschr. Naturforsch. Ges. Zúrich 95 (1950) 115–147

enlaces externos