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મી સદીના અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિકો કોર્નેલ યુનિવર્સિટી ફેકલ્ટી લિવિંગ પીપલ ફેલોઝ ઓફ ધ અમેરિકન મેથેમેટિકલ સોસાયટી ભારતીય મૂળના અમેરિકન વિદ્વાનો