Anil Nerode
অনিল নেরোড (জন্ম 1932) একজন আমেরিকান গণিতবিদ, যিনি গাণিতিক যুক্তিতে তাঁর কাজের জন্য এবং কর্নেল বিশ্ববিদ্যালয়ের অধ্যাপক হিসাবে তাঁর বহু দশকের মেয়াদের জন্য পরিচিত। তিনি স্নাতক শিক্ষা এবং পিএইচডি অর্জন করেন শিকাগো বিশ্ববিদ্যালয় থেকে গণিতে, পরেরটি স্যান্ডার্স ম্যাক লেনের নির্দেশনায়। 1947 সালে 15 বছর বয়সে তিনি শিকাগো বিশ্ববিদ্যালয়ের হাচিনস কলেজে ভর্তি হন এবং 1956 সালে পিএইচডি অর্জন করেন। তাঁর পিএইচডি থিসিস ছিল বহু-সাজানো মুক্ত বীজগণিতে প্রতিস্থাপনের একটি বীজগাণিতিক বিমূর্ত সূত্র এবং আংশিক পুনরাবৃত্তিমূলক ফাংশনের সমতুল্য সংজ্ঞার সাথে এর সম্পর্ক। 1954 সালে স্নাতক বিদ্যালয়ে পড়ার সময় তিনি অধ্যাপক ওয়াল্টার বার্টকির ইনস্টিটিউট ফর এয়ার ওয়েপন্স রিসার্চ-এ কাজ করেন, যা মার্কিন বিমান বাহিনীর জন্য শ্রেণীবদ্ধ কাজ করেছিল। পি. এইচ. ডি সম্পন্ন করার পর 1956 থেকে 1957 সাল পর্যন্ত তিনি সেখানে কাজ চালিয়ে যান। 1957 সালের গ্রীষ্মে তিনি কর্নেল এনএসএফ সামার 1957 ইনস্টিটিউট ইন লজিক-এ যোগ দেন। 1958 থেকে 1959 সালে তিনি নিউ জার্সির প্রিন্সটনের ইনস্টিটিউট ফর অ্যাডভান্সড স্টাডিতে যান, যেখানে তিনি কার্ট গোডেলের সাথে কাজ করেন। তিনি ইউনিভার্সিটি অফ ক্যালিফোর্নিয়া, বার্কলেতে স্নাতকোত্তর কাজও করেছিলেন। 1959 সালে যখন তিনি কর্নেল বিশ্ববিদ্যালয়ে অনুষদ পদের একটি অযাচিত প্রস্তাব পেয়েছিলেন, তখন তিনি তা গ্রহণ করেছিলেন, আংশিকভাবে কারণ ক্যাম্পাসে তাঁর আগের সফরকালে তিনি ভেবেছিলেন "এটি আমার দেখা সবচেয়ে সুন্দর জায়গা"। নেরোড কর্নেলের গণিতের গোল্ডউইন স্মিথ অধ্যাপক, 1991 সালে সেই চেয়ারে মনোনীত হন। তাঁর আগ্রহ গাণিতিক যুক্তি, স্বয়ংক্রিয় তত্ত্ব, গণনাযোগ্যতা ও জটিলতা তত্ত্ব, বৈচিত্র্যের ক্যালকুলাস এবং বিতরণ ব্যবস্থায়। জন মাইহিলের সাথে, নেরোড একটি আনুষ্ঠানিক ভাষা নিয়মিত হওয়ার জন্য প্রয়োজনীয় এবং পর্যাপ্ত শর্ত নির্দিষ্ট করে মাইহিল-নেরোড উপপাদ্যটি প্রমাণ করেছিলেন। বখাদির খুসাইনোভের সাথে, নেরোদ স্বয়ংক্রিয় কাঠামোর তত্ত্ব প্রতিষ্ঠা করেছিলেন, যা স্বয়ংক্রিয় গোষ্ঠী তত্ত্বের একটি সম্প্রসারণ। একাডেমিক বছর 2019-20 কর্নেলের সক্রিয় অনুষদ সদস্য হিসাবে নেরোডের 60 তম বছর দেখেছিল, যা বিশ্ববিদ্যালয়টি বলেছিল যে এটি তার সর্বকালের দীর্ঘতম মেয়াদ। 2022 সালে, এই ক্ষেত্রে তাঁর অবদান উদযাপনের জন্য অনলাইনে নেরোড-90 সম্মেলন অনুষ্ঠিত হয়েছিল। নেরোড অ্যানালস অফ ম্যাথমেটিক্স অ্যান্ড আর্টিফিশিয়াল ইন্টেলিজেন্স, ম্যাথমেটিক্যাল অ্যান্ড কম্পিউটার মডেলিং, ডকুমেন্টা ম্যাথমেটিকা এবং অন্যান্য জার্নালের সম্পাদকীয় বোর্ডের সদস্য। 2012 সালে তিনি আমেরিকান ম্যাথমেটিকাল সোসাইটির ফেলো হন। জন ই. হপক্রফ্ট এবং জেফ্রি ডি. উলম্যান, ইন্ট্রোডাকশন টু অটোমাটা থিওরি, ল্যাঙ্গুয়েজেস অ্যান্ড কম্পিউটশন, অ্যাডিসন-ওয়েসলি পাবলিশিং, রিডিং ম্যাসাচুসেটস, 1979। (মাইহিল-নেরোড উপপাদ্যের জন্য 3য় অধ্যায় দেখুন) অনিল নেরোডের 1932 সালের জন্মের হোমপেজের বাহ্যিক লিঙ্ক শিকাগো বিশ্ববিদ্যালয়ের 20শ শতাব্দীর প্রাক্তন ছাত্র মার্কিন গণিতবিদ 21শ শতাব্দীর মার্কিন কম্পিউটার বিজ্ঞানী কর্নেল বিশ্ববিদ্যালয়ের জীবন্ত মানুষ ফ্যাকাল্টি ভারতীয় বংশোদ্ভূত মার্কিন শিক্ষাবিদ