City College of New York (BS), New York University (MS), University of California, Berkeley (PhD)
Thesis
On sentences which are true of direct unions of algebras (1951; 73 years ago (1951))
Academic work
Discipline
Mathematician, Logician
Main interests
Lattice theory, Universal algebra
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.
AlfredHorn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951...
algebra and model theory. Horn clauses are named for the logician AlfredHorn, who first pointed out their significance in 1951. A Horn clause is a disjunctive...
Alfred Aloysius "Trader" Horn (born Alfred Aloysius Smith; 21 June 1861 – 26 June 1931) was an ivory trader in central Africa. His memoirs detailing his...
parachute by local ploughman David McLean. Identifying himself as "Hauptmann AlfredHorn", Hess said he had an important message for the Duke of Hamilton. McLean...
ῥινόκερως (rhinókerōs) 'nose-horned'; from ῥίς (rhis) 'nose', and κέρας (kéras) 'horn'; pl.: rhinoceros or rhinoceroses), commonly abbreviated to rhino, is a member...
A horn antenna or microwave horn is an antenna that consists of a flaring metal waveguide shaped like a horn to direct radio waves in a beam. Horns are...
Cape Horn (Spanish: Cabo de Hornos, pronounced [ˈkaβo ðe ˈoɾnos]) is the southernmost headland of the Tierra del Fuego archipelago of southern Chile, and...
Alfred Thomas Highmore (born 14 February 1992) is an English actor. He is known for his starring roles beginning as a child, in the films Finding Neverland...
David Hilbert (Germany, 1862–1943) Jaakko Hintikka (Finland, 1929–2015) AlfredHorn (US, 1918–2001) William Alvin Howard (US, born 1926) Ehud Hrushovski...
Leopold Weinhofer, (DE Wiki) (1879–1947), politician (SDAP) and Mayor AlfredHorn, (DE Wiki) (1898–1959), politician (SPÖ), Mayor and freeman of Schwechat...
of episodes from the 1955–1962 television series Alfred Hitchcock Presents and the 1962–1965 The Alfred Hitchcock Hour: The 39th episode was never broadcast...
of three types of horn, the other two being the French horn (in the less common, narrower meaning of the term) and the Vienna horn. Its use among professional...
patent for the automatic transmission was granted to Canadian inventor AlfredHorner Munro of Regina in 1923. Being a steam engineer, Munro designed his...
values after renovation in 1843. The Nordstern was scrapped in 1865. AlfredHorn: Die Kaiser-Ferdinands-Nordbahn, Die Bahnen Österreich-Ungarns, Band...
ɑːŋˈɡleɪ/ or original French: [kɔʁ ɑ̃ɡlɛ]; plural: cors anglais), or English horn (in North American English), is a double-reed woodwind instrument in the...
consists of a central part called the body, and two pairs of horns, the greater and lesser horns. The body of the hyoid bone is the central part of the hyoid...