Alfred Horn

Alfred Horn nel 1973

Alfred Horn (New York, 17 febbraio 1918 – Pacific Palisades, 16 aprile 2001) è stato un matematico statunitense, noto per il suo lavoro sulla teoria dei reticoli e l'algebra universale.[1]

Alfred Horn non deve essere confuso con il quasi omonimo Roger Alan Horn anch'egli un matematico statunitense.

Biografia

Nato nel Lower East Side di Manhattan da genitori non udenti, studiò al City College e all'Università di New York, dove ottenne la laurea magistrale in matematica. Successivamente si trasferì sulla West Coast, dove conseguì il dottorato di ricerca all'Università della California, Berkeley nel 1946.

Il suo articolo del 1951 "On sentences which are true of direct unions of algebras" descriveva le Clausola di Horn e le frasi di Horn, che in seguito avrebbero costituito il fondamento della programmazione logica.[2]

Dal 1947 al pensionamento nel 1988 insegnò e fece ricerca all'Università della California, Los Angeles. In suo nome viene istituito il premio Horn-Moez dell'UCLA.[3]

Morì a Pacific Palisades nel 2001 a causa di un tumore della prostata.

Note

1. The Bulletin of Symbolic Logic, Vol 7, 2001, pp 436
2. Peter Padawitz "Computing in Horn Clause Theories" Springer 2010, ISBN 9783642738241
3. UCLA

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file su Alfred Horn

Collegamenti esterni

• Horn, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Alfred Horn, su Mathematics Genealogy Project, North Dakota State University.

Controllo di autorità	VIAF (EN) 93144782938945841395 · GND (DE) 1078813299