Alfred Horn

Alfred Horn (17 février 1918 - 16 avril 2001) est un mathématicien américain réputé pour ses travaux dans le domaine des treillis et de l'algèbre universelle. Son article intitulé « On sentences which are true of direct unions of algebras » (Journal of Symbolic Logic (16), pp.14–21, 1951) introduit ce qui est désormais appelé sous le nom de clause de Horn. Ce concept fonde la programmation logique.

Horn est né à Lower East Side, un quartier de Manhattan à New York, aux États-Unis. Ses parents sont sourds tous les deux. Son père meurt alors que le jeune Horn n'est âgé que de trois ans. Les enfants sont alors pris en charge par les grands-parents maternels, avant d'emménager à Brooklyn où Horn passe la majeure partie de son enfance, élevé par sa famille agrandie.

Horn fréquente le Collège de la ville de New York, puis l'université de New York où il obtient une maitrise en mathématiques. Il poursuit un doctorat à l'université de Berkeley, en Californie, qu'il conclut en 1946. Une année plus tard, sa carrière est lancée à l'université de Californie à Los Angeles (UCLA), où il exerce jusqu'à sa retraite en 1988. Il est l'auteur de 35 articles.

Il meurt en 2001 au terme de huit années de lutte acharnée contre un cancer de la prostate.

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Alfred Horn de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Alfred Horn — ist der Name von: Alfred Horn (Politiker) (1898–1959), österreichischer Abgeordneter zum Nationalrat Alfred Horn (Mathematiker) (1918–2001), US amerikanischer Logiker (Horn Formel) Alfred Horn (Fußballspieler) (* 1936), deutscher Fußballspieler …   Deutsch Wikipedia

  • Alfred Horn — (February 17, 1918 April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper On sentences which are true of direct unions of algebras described Horn clauses and Horn sentences,… …   Wikipedia

  • Alfred Horn (Politiker) — Alfred Horn (* 4. August 1898 in Wien; † 10. März 1959 in Hallein) war österreichischer Politiker (SPÖ), Bürgermeister der niederösterreichischen Stadtgemeinde Schwechat und Abgeordneter zum Nationalrat. Leben Alfred Horn wurde am 4. August 1898… …   Deutsch Wikipedia

  • Alfred Horn (Mathematiker) — Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan; † 16. April 2001 in Pacific Palisades, Kalifornien) war ein amerikanischer Mathematiker. In seinem 1951 veröffentlichtem Werk On sentences which are true of direct unions of algebras… …   Deutsch Wikipedia

  • Horn (Familienname) — Horn ist ein Familienname. Herkunft und Bedeutung Horn kann ein Wohnstättenname oder eine Herkunftsbezeichnung sein. Bekannte Namensträger Familien Haus Horn, ein niederländisch belgisches Adelsgeschlecht Horn (Freiberg), ein sächsisches Adels… …   Deutsch Wikipedia

  • Horn (surname) — Horn is a surname, and may refer to:* Alan F. Horn * Alfred Horn (1918–2001), American mathematician ** Horn clause is a term in formal logic named after him * Alfred Aloysius Trader Horn, an African trader during the Scramble for Africa * Anton… …   Wikipedia

  • Horn-Klausel — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… …   Deutsch Wikipedia

  • Horn-Klauseln — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… …   Deutsch Wikipedia

  • Horn-Formel — Horn Formeln sind eine wichtige Teilmenge der prädikatenlogischen Formeln. Sie spielen eine zentrale Rolle in der Logischen Programmierung und sind von Bedeutung für die konstruktive Logik. Benannt wurden sie nach dem US amerikanischen Logiker… …   Deutsch Wikipedia

  • Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”