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वीं सदी के अमेरिकी कंप्यूटर वैज्ञानिक कॉर्नेल विश्वविद्यालय के संकाय लिविंग पीपल फेलो ऑफ द अमेरिकन मैथमेटिकल सोसाइटी भारतीय मूल के अमेरिकी शिक्षाविद