Loading article…
アルフレッド・ホーン（1918年2月17日- 2001年4月16日）は、束論と普遍代数の研究で知られるアメリカの数学者。1951年の論文「代数の直接和集合に真となる文について」では、ホーン節とホーン文が記述されており、これらは後に論理プログラミングで使用されるようになった。
ホーンはマンハッタンのロウアー・イースト・サイドで生まれた。両親はともに耳が聞こえず、ホーンが3歳の時に父親が亡くなった。その後、子供たちは母親側の祖父母のもとに身を寄せた。そして後にブルックリンに移り住み、ホーンはそこで大家族に囲まれ、幼少期のほとんどを過ごした。
ホーンはニューヨーク市立大学に通い、その後ニューヨーク大学で数学の修士号を取得した。 1946年にはカリフォルニア大学バークレー校で哲学博士号を取得。翌年、カリフォルニア大学ロサンゼルス校に着任し、1988年に退職するまで同大学に勤務した。2001年、ロサンゼルスのパシフィック・パリセーズで死去。