أنيل نيرود

أنيل نيرود (مواليد 1932) هو عالم رياضيات أمريكي ، معروف بعمله في المنطق الرياضي وفترة عمله التي امتدت لعقود عديدة كأستاذ في جامعة كورنيل .

تلقى تعليمه الجامعي وحصل على درجة الدكتوراه في الرياضيات من جامعة شيكاغو ، تحت إشراف ساوندرز ماك لين . التحق بكلية هاتشينز بجامعة شيكاغو عام 1947 وهو في الخامسة عشرة من عمره، وحصل على درجة الدكتوراه عام 1956. تناولت أطروحته للدكتوراه صياغة جبرية مجردة للاستبدال في الجبر الحر متعدد الأنواع وعلاقتها بالتعريفات المعادلة للدوال التكرارية الجزئية . ^{[ 1 ]}

أثناء دراسته العليا، بدءًا من عام ١٩٥٤، عمل في معهد أبحاث الأسلحة الجوية التابع للبروفيسور والتر بارتكي ، والذي كان يُجري أبحاثًا سرية لصالح القوات الجوية الأمريكية. واستمر في العمل هناك بعد حصوله على درجة الدكتوراه، من عام ١٩٥٦ إلى عام ١٩٥٧. وفي صيف عام ١٩٥٧، التحق بمعهد كورنيل التابع للمؤسسة الوطنية للعلوم (NSF) في المنطق. وفي الفترة من عام ١٩٥٨ إلى عام ١٩٥٩، التحق بمعهد الدراسات المتقدمة في برينستون، نيو جيرسي، حيث عمل مع كورت غودل . كما أجرى دراسات عليا في جامعة كاليفورنيا، بيركلي . ^{[ ٢ ]}

عندما تلقى عام ١٩٥٩ عرضًا غير متوقع لشغل منصب أكاديمي في جامعة كورنيل ، قبله، ويعود ذلك جزئيًا إلى أنه خلال زيارته السابقة للحرم الجامعي، رأى أنه "أجمل مكان رآه في حياته". ^{[ ٢ ]} نيرود أستاذ متميز في كلية الآداب والعلوم، تخصص رياضيات، في جامعة كورنيل. ^{[ ٣ ]} شغل سابقًا منصب أستاذ غولدون سميث للرياضيات في كورنيل، بعد أن عُيّن في هذا المنصب عام ١٩٩١. ^{[ ٢ ]} تشمل اهتماماته المنطق الرياضي ، ونظرية الأوتوماتا ، والحوسبة ونظرية التعقيد ، وحساب التفاضل والتكامل ، والأنظمة الموزعة . أثبت نيرود، بالتعاون مع جون مايهيل ، نظرية مايهيل-نيرود التي تحدد الشروط اللازمة والكافية لانتظام اللغة الرسمية . ^{[ ٤ ] [ ٥ ] [ ٦ ]} أسس نيرود ، بالتعاون مع باخادير خوسينوف ، نظرية البنى التلقائية، وهي امتداد لنظرية المجموعات التلقائية .

شهد العام الدراسي 2019-2020 مرور 60 عامًا على انضمام نيرود إلى هيئة التدريس في جامعة كورنيل، وهي أطول فترة خدمة من نوعها في تاريخ الجامعة، وفقًا لما ذكرته الجامعة. ^{[ 2 ]} وفي عام 2022، عُقد مؤتمر نيرود-90 عبر الإنترنت احتفاءً بإسهاماته في هذا المجال. ^{[ 7 ]}

نيرود عضو في هيئة تحرير مجلات حوليات الرياضيات والذكاء الاصطناعي ، ^{[ 8 ]} والنمذجة الرياضية والحاسوبية ، ^{[ 9 ]} و Documenta Mathematica ^{[ 10 ]} وغيرها.

في عام 2012 أصبح زميلاً في الجمعية الرياضية الأمريكية . ^{[ 11 ]}

• جون إي. هوبكروفت وجيفري دي. أولمان ، مقدمة في نظرية الأوتوماتا واللغات والحوسبة ، دار نشر أديسون-ويسلي، ريدينغ، ماساتشوستس، 1979. ISBN 0-201-02988-X( انظر الفصل 3 للاطلاع على نظرية مايهيل-نيرود)

• الصفحة الرئيسية لأنيل نيرود