Alfred Horn
الفریڈ ہورن (17 فروری 1918-16 اپریل 2001) ایک امریکی ریاضی دان تھا جو لیٹس تھیوری اور یونیورسل الجبرا میں اپنے کام کے لیے قابل ذکر تھا۔ ان کے 1951 کے مقالے "ان جملے جو الجبراس کے براہ راست اتحاد کے بارے میں سچ ہیں" میں ہارن شقوں اور ہارن جملوں کو بیان کیا گیا، جو بعد میں منطق پروگرامنگ کی بنیاد بنیں گے۔ سوانح عمری ہورن لوئر ایسٹ سائیڈ، مین ہیٹن میں پیدا ہوا تھا۔ اس کے والدین دونوں بہرے تھے، اور اس کے والد کا انتقال اس وقت ہوا جب ہورن تین سال کا تھا۔ اس وقت بچے اپنے دادا دادی کے ساتھ ماں کی طرف چلے گئے۔ وہ بعد میں بروکلین چلے گئے جہاں ہورن نے اپنا زیادہ تر بچپن گزارا، جس کی پرورش اس کے وسیع خاندان نے کی۔ ہورن نے سٹی کالج آف نیویارک اور بعد میں نیویارک یونیورسٹی میں تعلیم حاصل کی جہاں انہوں نے ریاضی میں ماسٹر کی ڈگری حاصل کی۔ انہوں نے 1946 میں یونیورسٹی آف کیلیفورنیا، برکلے سے ڈاکٹر آف فلاسفی کی ڈگری حاصل کی۔ ایک سال بعد، انہوں نے یونیورسٹی آف کیلیفورنیا، لاس اینجلس میں کام شروع کیا، جہاں وہ 1988 میں اپنی ریٹائرمنٹ تک رہے۔ وہ آٹھ سال تک پروسٹیٹ کینسر سے لڑنے کے بعد 2001 میں لاس اینجلس کے پیسیفک پیلسیڈس میں انتقال کر گئے۔ حوالہ جات الفریڈ ہورن، 1954 سے پیلسیڈین اور معروف یو سی ایل اے ریاضی کے پروفیسر-الفریڈ ہورن کی یو سی ایل اے اشاعتوں کی طرف سے خراج تحسین-ڈمیٹر سکورڈیو الفریڈ ہورن کی مرتب کردہ ایک فہرست-ریاضی جینیلجی پروجیکٹ 1918 کی پیدائشوں میں ان کے بارے میں معلومات 2001 کی موت 20 ویں صدی کے امریکی ریاضی دان امریکی منطق سٹی کالج آف نیویارک یونیورسٹی کے سابق طلباء نیویارک یونیورسٹی کے سابق طلباء یونیورسٹی آف کیلیفورنیا، برکلے سابق طلباء یونیورسٹی آف کیلیفورنیا، لاس اینجلس فیکلٹی فلسفی نیویارک (ریاست) فلسفی کیلیفورنیا کے لوگ بروکلین سے لوور ایسٹ سائیڈ پیپل