The Bulletin of Symbolic Logic, Vol 7, 2001, pp 436
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.Peter Padawitz "Computing in Horn Clause Theories" Springer 2010, ISBN 9783642738241
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.
Morì a Pacific Palisades nel 2001 a causa di un tumore della prostata.
Note
Altri progetti
Collegamenti esterni
Categoria:Studenti dell'Università di New York Categoria:Studenti dell'Università della California, Berkeley Categoria:Professori dell'Università della California, Los Angeles