About: Alfred Horn

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Alfred Horn Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Wikicat20th-centuryMathematicians, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAlfred_Horn&invfp=IFP_OFF&sas=SAME_AS_OFF&graph=http%3A%2F%2Fdbpedia.org&graph=http%3A%2F%2Fdbpedia.org

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatAmericanMathematicians yago:WikicatAmericanPeople Academic Person animal eukaryote scientist species schema:Person yago:WikicatLatticeTheorists yago:WikicatLogicians yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians
rdfs:label	ألفرد هورن (ar) Alfred Horn (Mathematiker) (de) Alfred Horn (en) Alfred Horn (fr) アルフレッド・ホーン (ja) Alfred Horn (pt)
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)
foaf:depiction
death place	Pacific Palisades, Los Angeles, U.S. (en)
birth place	Lower East Side, Manhattan, U.S. (en)
birth date	1918-02-17 (xsd:date)
dcterms:subject	Lattice theorists 1918 births 2001 deaths 20th-century American mathematicians New York University alumni People from Brooklyn University of California, Berkeley alumni University of California, Los Angeles faculty City University of New York alumni People from the Lower East Side American logicians Philosophers from California Philosophers from New York (state)
Wikipage page ID	3115802 (xsd:integer)
Wikipage revision ID	1065283893 (xsd:integer)
Link from a Wikipage to another Wikipage	Lower East Side, Manhattan Deaf Lattice theorists University of California, Berkeley University of California, Los Angeles Universal algebra 1918 births 2001 deaths Mathematics Obituary City College of New York Horn clause Prostate cancer Mathematician 20th-century American mathematicians New York University alumni People from Brooklyn University of California, Berkeley alumni University of California, Los Angeles faculty Brooklyn City University of New York alumni Doctor of Philosophy Logic programming Pacific Palisades, Los Angeles Dimiter Skordev Master's degree People from the Lower East Side American logicians Philosophers from California Philosophers from New York (state) New York University Mathematics Genealogy Project Lattice theory Logician Horn sentence

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software