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öffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 70er Jahren die Grundlage für die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte.

Property Value
dbo:abstract
  • 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öffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 70er Jahren die Grundlage für die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte. Er besuchte das City College of New York und später die New York University, wo er den Master-Grad für Mathematik erhielt. 1946 erhielt er den Ph. D. an der University of California, Berkeley. 1947 erhielt er eine Professur für Mathematik an der University of California in Los Angeles, wo er bis zu seinem Ruhestand 1988 blieb. Er veröffentlichte 35 Werke. 2001 starb er an Prostatakrebs, an dem er bereits acht Jahre zuvor erkrankt war. (de)
  • 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öffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 70er Jahren die Grundlage für die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte. Er besuchte das City College of New York und später die New York University, wo er den Master-Grad für Mathematik erhielt. 1946 erhielt er den Ph. D. an der University of California, Berkeley. 1947 erhielt er eine Professur für Mathematik an der University of California in Los Angeles, wo er bis zu seinem Ruhestand 1988 blieb. Er veröffentlichte 35 Werke. 2001 starb er an Prostatakrebs, an dem er bereits acht Jahre zuvor erkrankt war. (de)
dbo:birthDate
  • 1918-02-17 (xsd:date)
dbo:birthPlace
dbo:deathDate
  • 2001-04-16 (xsd:date)
dbo:deathPlace
dbo:individualisedGnd
  • 1078813299
dbo:viafId
  • 93144782938945841395
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2336455 (xsd:integer)
dbo:wikiPageRevisionID
  • 153236172 (xsd:integer)
prop-de:archiveIs
  • 20130905163259 (xsd:double)
prop-de:kurzbeschreibung
  • US-amerikanischer Mathematiker
prop-de:text
  • Alfred Horn, Palisadian Since 1954 and Noted UCLA Math Professor.
prop-de:typ
  • p
prop-de:url
dc:description
  • US-amerikanischer Mathematiker
dct:subject
rdf:type
rdfs:comment
  • 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öffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 70er Jahren die Grundlage für die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte. (de)
  • 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öffentlichten Werk On sentences which are true of direct unions of algebras führte er die Horn-Klauseln und Horn-Formeln ein, die ab den 70er Jahren die Grundlage für die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als Alfred drei Jahre alt war. Später zog er nach Brooklyn, wo er den Großteil seiner Kindheit verbrachte. (de)
rdfs:label
  • Alfred Horn (Mathematiker) (de)
  • Alfred Horn (Mathematiker) (de)
owl:sameAs
prov:wasDerivedFrom
foaf:givenName
  • Alfred
foaf:isPrimaryTopicOf
foaf:name
  • Alfred Horn
  • Horn, Alfred (de)
foaf:surname
  • Horn
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of