Anil Nerode
انیل نروڈے (پیدائش 1932) ایک امریکی ریاضی دان ہیں، جو ریاضیاتی منطق میں اپنے کام اور کارنیل یونیورسٹی میں پروفیسر کی حیثیت سے کئی دہائیوں کی مدت کے لیے جانے جاتے ہیں۔ انہوں نے اپنی انڈرگریجویٹ تعلیم اور پی ایچ ڈی حاصل کی۔ شکاگو یونیورسٹی سے ریاضی میں، بعد میں سانڈرز میک لین کی ہدایت پر۔ انہوں نے 1947 میں 15 سال کی عمر میں شکاگو یونیورسٹی کے ہچنز کالج میں داخلہ لیا اور 1956 میں پی ایچ ڈی کی ڈگری حاصل کی۔ ان کا پی ایچ ڈی مقالہ کئی ترتیب شدہ آزاد الجبرا میں متبادل کی الجبرائی تجریدی تشکیل اور جزوی تکراری افعال کی مساوی تعریفوں سے اس کے تعلق پر تھا۔ گریجویٹ اسکول میں، 1954 میں شروع کرتے ہوئے، انہوں نے پروفیسر والٹر بارٹکی کے انسٹی ٹیوٹ فار ایئر ویپنز ریسرچ میں کام کیا، جس نے امریکی فضائیہ کے لیے کلاسیفائیڈ کام کیا۔ انہوں نے اپنی پی ایچ ڈی کی تکمیل کے بعد 1956 سے 1957 تک وہاں کام جاری رکھا۔ 1957 کے موسم گرما میں انہوں نے منطق میں کارنیل این ایس ایف سمر 1957 انسٹی ٹیوٹ میں شرکت کی۔ 1958 سے 1959 میں وہ پرنسٹن، نیو جرسی میں انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی گئے، جہاں انہوں نے کرٹ گوڈل کے ساتھ کام کیا۔ انہوں نے یونیورسٹی آف کیلیفورنیا، برکلے میں پوسٹ گریجویٹ کا کام بھی کیا۔ جب 1959 میں انہیں کارنیل یونیورسٹی میں فیکلٹی کے عہدے کی غیر مطلوب پیشکش ملی، تو انہوں نے جزوی طور پر قبول کر لیا، کیونکہ کیمپس کے اپنے پچھلے دورے پر انہوں نے سوچا تھا کہ "یہ سب سے خوبصورت جگہ تھی جو میں نے کبھی دیکھی تھی"۔ نروڈ کارنیل میں ریاضی کے گولڈون اسمتھ پروفیسر ہیں، جنہیں 1991 میں اس کرسی پر نامزد کیا گیا تھا۔ ان کی دلچسپی ریاضیاتی منطق، تھیوری آف آٹومیٹا، کمپیوٹیبلٹی اینڈ کمپلیکسٹی تھیوری، کیلکولس آف ویری ایشنز، اور ڈسٹری بیوٹڈ سسٹمز میں ہے۔ جان مائی ہل کے ساتھ، نیروڈ نے مائی ہل-نیروڈ تھیوریم کو ثابت کیا جس میں باقاعدہ زبان کے لیے ضروری اور کافی شرائط کی وضاحت کی گئی تھی۔ باکھادر خوسینوف کے ساتھ، نیرود نے خودکار ڈھانچوں کے نظریہ کی بنیاد رکھی، جو خودکار گروہوں کے نظریہ کی توسیع ہے۔ تعلیمی سال 2019-20 میں نیرود کے 60 ویں سال کو کارنیل میں ایک فعال فیکلٹی ممبر کے طور پر دیکھا گیا، جسے یونیورسٹی نے کہا کہ اس کی اب تک کی سب سے طویل مدت تھی۔ 2022 میں نروڈ-90 کانفرنس میدان میں ان کی خدمات کا جشن منانے کے لیے آن لائن منعقد کی گئی تھی۔ نیرودے اینلز آف میتھمیٹکس اینڈ آرٹیفیشل انٹیلی جنس، میتھمیٹیکل اینڈ کمپیوٹر ماڈلنگ، ڈاکیومنٹ میتھمیٹکا اور دیگر جرائد کے ادارتی بورڈ کے رکن ہیں۔ 2012 میں وہ امریکن میتھمیٹیکل سوسائٹی کے فیلو بن گئے۔ ۔