Horn

Enciclopedia della Matematica (2017)

Horn


Horn Alfred (New York 1918 - Los Angeles 2001) matematico e logico statunitense. Ha studiato in particolare la teoria dei reticoli e le algebre universali. Ha introdotto nel 1951 un particolare tipo di clausole, spesso dette anche formule di Horn, che hanno trovato applicazione nella programmazione logica. Ha insegnato a Berkeley in California fino al suo pensionamento nel 2000.

Tag
Vocabolario
orneblènda
orneblenda orneblènda s. f. [dal ted. Hornblende, comp. di Horn «corno» e Blende «blenda», con allusione all’aspetto]. – Nome generico di varî minerali isomorfi del gruppo degli anfiboli monoclini; sono inosilicati di sodio, calcio, potassio,...
pibcorn
pibcorn 〈pìbkoon〉 s. ingl. [dal gallese pibgorn, adattam. dell’ingl. hornpipe, comp. di horn «corno» e pipe «tubo, flauto»] (pl. pibcorns 〈pìbkoon∫〉), usato in ital. al masch. – Antico strumento musicale a fiato, d’origine celtica, caduto...