Alfred Horn - Alfred Horn

Alfred Horn (17. února 1918 - 16. dubna 2001) byl americký matematik pozoruhodný jeho prací v teorie mřížky a univerzální algebra. Byl popsán jeho dokument z roku 1951 „O větách, které platí pro přímé svazky algeber“ Horn klauzule a Horn věty, který by později vytvořil základ logické programování.

Alfred Horn kolem roku 1973

Životopis

Horn se narodil Lower East Side, Manhattan. Jeho rodiče byli oba Hluchý a jeho otec zemřel, když měl Horn tři roky. V tomto okamžiku se děti přistěhovaly se svými prarodiči z matčiny strany. Později se přestěhovali do Brooklyn kde Horn strávil většinu svého dětství, vychován jeho početnou rodinou.

Horn se zúčastnil City College of New York, a později, Newyorská univerzita kde získal Magisterský titul v matematika. Pokračoval v získávání svých Ph.D. v University of California, Berkeley v roce 1946. O rok později začal pracovat v University of California, Los Angeles, kde pobýval až do svého odchodu do důchodu v roce 1988.

Zemřel v roce 2001 v Pacific Palisades, Los Angeles po osmi letech boje rakovina prostaty.

Reference