dbo:abstract
|
- ألفرد هورن (بالإنجليزية: Alfred Horn) هو رياضياتي أمريكي، ولد في 17 فبراير 1918 في مانهاتن في الولايات المتحدة، وتوفي في 16 أبريل 2001 في في الولايات المتحدة. (ar)
- Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan, in New York; † 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. Im Jahr 2001 starb er an Prostatakrebs, an dem er bereits acht Jahre zuvor erkrankt war. (de)
- 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, which later would form the foundation of logic programming. (en)
- 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. (fr)
- アルフレッド・ホーン(Alfred Horn、1918年2月17日 - 2001年4月16日)はアメリカの数学者。束論、普遍代数学に業績がある。彼は1951年に出した論文でのちにホーン節と呼ばれるアイデアを取り上げ、論理プログラミングの基礎に重要な貢献をした。 マンハッタンに生まれる。彼の両親は二人とも聴覚に障害を持っていた。父は3歳のときに亡くなり、子供たちはホーンの母方の祖父母のもとへと移った。その後一家はブルックリンに移り、ホーンはそこで育った。 ホーンはシティカレッジに入り、数学の修士号をニューヨーク大学で取ったのち、カリフォルニア大学バークレー校に移り、1946年博士号を取った。一年後、カリフォルニア大学ロサンゼルス校で職を得て、1988年に退職するまでそこで教えた。 2001年、前立腺癌と8年間の闘病の末に亡くなった。 (ja)
- Alfred Horn (17 de fevereiro de 1918 – 16 de abril de 2001) foi um matemático americano conhecido pelo seu trabalho na Teoria dos Reticulados e na Álgebra Universal. Seu artigo de 1951 "On sentences which are true of direct unions of algebras" ele descreveu as cláusulas de Horn e as sentenças de Horn as quais, mais tarde, seriam os fundamentos da programação lógica. Horn nasceu no . Seus pais eram ambos surdos tendo seu pai morrido quando ele tinha três anos. Após isso, o garoto Horn se locomoveu para a casa dos seus avós maternos. Mais tarde, eles se mudaram para o Brooklyn onde Horn passou boa parte da sua infância, criado pela sua família adotiva. Ele estudou no e mais tarde na New York University onde defendeu seu mestrado em Matemática. Horn terminou seu doutorado na University of California, Berkeley em 1946, onde, um ano mais tarde, começou a trabalhar e por lá permaneceu até a sua aposentadoria em 1988. Horn publicou 35 artigos ao longo da sua carreira. Alfred Horn morreu em 2001 depois de oito anos de luta contra o câncer de próstata. (pt)
|
dbo:birthDate
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3028 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:birthDate
| |
dbp:birthPlace
|
- Lower East Side, Manhattan, U.S. (en)
|
dbp:caption
|
- Alfred Horn about 1973 (en)
|
dbp:deathDate
| |
dbp:deathPlace
|
- Pacific Palisades, Los Angeles, U.S. (en)
|
dbp:discipline
| |
dbp:education
| |
dbp:knownFor
| |
dbp:mainInterests
| |
dbp:thesisTitle
|
- On sentences which are true of direct unions of algebras (en)
|
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- ألفرد هورن (بالإنجليزية: Alfred Horn) هو رياضياتي أمريكي، ولد في 17 فبراير 1918 في مانهاتن في الولايات المتحدة، وتوفي في 16 أبريل 2001 في في الولايات المتحدة. (ar)
- 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, which later would form the foundation of logic programming. (en)
- 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. (fr)
- アルフレッド・ホーン(Alfred Horn、1918年2月17日 - 2001年4月16日)はアメリカの数学者。束論、普遍代数学に業績がある。彼は1951年に出した論文でのちにホーン節と呼ばれるアイデアを取り上げ、論理プログラミングの基礎に重要な貢献をした。 マンハッタンに生まれる。彼の両親は二人とも聴覚に障害を持っていた。父は3歳のときに亡くなり、子供たちはホーンの母方の祖父母のもとへと移った。その後一家はブルックリンに移り、ホーンはそこで育った。 ホーンはシティカレッジに入り、数学の修士号をニューヨーク大学で取ったのち、カリフォルニア大学バークレー校に移り、1946年博士号を取った。一年後、カリフォルニア大学ロサンゼルス校で職を得て、1988年に退職するまでそこで教えた。 2001年、前立腺癌と8年間の闘病の末に亡くなった。 (ja)
- Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan, in New York; † 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 de fevereiro de 1918 – 16 de abril de 2001) foi um matemático americano conhecido pelo seu trabalho na Teoria dos Reticulados e na Álgebra Universal. Seu artigo de 1951 "On sentences which are true of direct unions of algebras" ele descreveu as cláusulas de Horn e as sentenças de Horn as quais, mais tarde, seriam os fundamentos da programação lógica. Alfred Horn morreu em 2001 depois de oito anos de luta contra o câncer de próstata. (pt)
|
rdfs:label
|
- ألفرد هورن (ar)
- Alfred Horn (Mathematiker) (de)
- Alfred Horn (en)
- Alfred Horn (fr)
- アルフレッド・ホーン (ja)
- Alfred Horn (pt)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:doctoralStudents
of | |
is foaf:primaryTopic
of | |