Alonzo Church
અલોન્ઝો ચર્ચ (14 જૂન, 1903-11 ઓગસ્ટ, 1995) એક અમેરિકન ગણિતશાસ્ત્રી, કોમ્પ્યુટર વૈજ્ઞાનિક, તર્કશાસ્ત્રી અને ફિલસૂફ હતા જેમણે ગાણિતિક તર્કશાસ્ત્ર અને સૈદ્ધાંતિક કોમ્પ્યુટર વિજ્ઞાનના પાયામાં મોટું યોગદાન આપ્યું હતું. તેઓ લેમ્બડા કેલ્ક્યુલસ, ચર્ચ-ટ્યુરિંગ થીસીસ માટે જાણીતા છે, જે એન્ટશેઇડંગ્સપ્રૉબ્લમ ("નિર્ણય સમસ્યા"), ફ્રેજ-ચર્ચ ઑન્ટોલોજી અને ચર્ચ-રોઝર થીયરમની નિરાકરણક્ષમતાને સાબિત કરે છે. તેમણે ભાષાની ફિલસૂફી પર પણ કામ કર્યું હતું (જુઓ. ચર્ચ 1970). તેમના ડોક્ટરલ વિદ્યાર્થી એલન ટ્યુરિંગની સાથે, ચર્ચને કોમ્પ્યુટર વિજ્ઞાનના સ્થાપકોમાંના એક માનવામાં આવે છે. લાઇફ અલોન્ઝો ચર્ચનો જન્મ 14 જૂન, 1903 ના રોજ વોશિંગ્ટન, ડી. સી. માં થયો હતો, જ્યાં તેમના પિતા, સેમ્યુઅલ રોબિન્સ ચર્ચ, શાંતિના ન્યાયાધીશ અને કોલંબિયા જિલ્લા માટે મ્યુનિસિપલ કોર્ટના ન્યાયાધીશ હતા. તેઓ અલોન્ઝો વેબસ્ટર ચર્ચ (1829-1909) ના પૌત્ર, 1881 થી 1901 સુધી યુનાઇટેડ સ્ટેટ્સ સેનેટના ગ્રંથપાલ અને અલોન્ઝો ચર્ચના પ્રપૌત્ર, ગણિત અને ખગોળશાસ્ત્રના પ્રોફેસર અને જ્યોર્જિયા યુનિવર્સિટીના છઠ્ઠા પ્રમુખ હતા. એક યુવાન છોકરા તરીકે, ચર્ચ હવાઈ બંદૂકના અકસ્માતથી આંશિક રીતે આંધળું થઈ ગયું હતું. દ્રષ્ટિ નબળી પડવાને કારણે તેમના પિતાએ યુનિવર્સિટીમાં પોતાનું પદ ગુમાવ્યા બાદ તેમનો પરિવાર બાદમાં વર્જિનિયા સ્થળાંતર થયો હતો. તેના કાકાની મદદથી, જેનું નામ પણ અલોન્ઝો ચર્ચ હતું, પુત્ર રિજફિલ્ડ, કનેક્ટિકટમાં ખાનગી રિજફિલ્ડ સ્કૂલ ફોર બોય્ઝમાં ભણ્યો. 1920માં રિજફિલ્ડમાંથી સ્નાતક થયા પછી, ચર્ચે પ્રિન્સટન યુનિવર્સિટીમાં હાજરી આપી હતી, જ્યાં તેઓ એક અપવાદરૂપ વિદ્યાર્થી હતા. તેમણે 1924માં લોરેન્ટ્ઝ પરિવર્તન પર પોતાનું પ્રથમ પેપર પ્રકાશિત કર્યું અને તે જ વર્ષે ગણિતમાં ડિગ્રી સાથે સ્નાતક થયા. ઓસ્વાલ્ડ વેબ્લેન હેઠળ ત્રણ વર્ષમાં ગણિતમાં પીએચ. ડી. મેળવીને તેઓ સ્નાતક કાર્ય માટે પ્રિન્સટનમાં રોકાયા હતા. તેમણે 1925માં મેરી જુલિયા કુઝિન્સ્કી સાથે લગ્ન કર્યા હતા. આ દંપતીને ત્રણ બાળકો હતા, અલોન્ઝો જુનિયર (1929), મેરી એન (1933) અને મિલ્ડ્રેડ (1938). પીએચ. ડી. પ્રાપ્ત કર્યા પછી, તેમણે શિકાગો યુનિવર્સિટીમાં થોડા સમય માટે પ્રશિક્ષક તરીકે ભણાવ્યું હતું. તેમને બે વર્ષની રાષ્ટ્રીય સંશોધન ફેલોશિપ મળી જેણે તેમને 1927-1928 માં હાર્વર્ડ યુનિવર્સિટીમાં અને પછીના વર્ષે ગોટિન્જેન યુનિવર્સિટી અને એમ્સ્ટરડેમ યુનિવર્સિટીમાં હાજરી આપવા માટે સક્ષમ બનાવ્યા. તેમણે પ્રિન્સટન ખાતે 1929થી 1967 સુધી લગભગ ચાર દાયકા સુધી તત્વજ્ઞાન અને ગણિત શીખવ્યું હતું. તેમણે યુનિવર્સિટી ઓફ કેલિફોર્નિયા, લોસ એન્જલસ ખાતે ફ્લિન્ટ પ્રોફેસરશિપ ઓફ ફિલોસોફી એન્ડ મેથેમેટિક્સની પદવી મેળવી હતી. તેઓ 1962માં સ્ટોકહોમમાં આઇ. સી. એમ. માં પૂર્ણ અધ્યક્ષ હતા. તેમના સન્માનમાં જ્હોન કોરકોરન દ્વારા આયોજિત આંતરરાષ્ટ્રીય પરિસંવાદના સંબંધમાં તેમને 1969માં કેસ વેસ્ટર્ન રિઝર્વ યુનિવર્સિટી, 1985માં પ્રિન્સટન યુનિવર્સિટી અને 1990માં બફેલો ખાતેની યુનિવર્સિટી, ધ સ્ટેટ યુનિવર્સિટી ઓફ ન્યૂ યોર્ક તરફથી માનદ ડોક્ટર ઓફ સાયન્સની પદવી પ્રાપ્ત થઈ હતી. તેઓ 1966માં બ્રિટિશ એકેડેમી (એફબીએ) ના અનુરૂપ ફેલો તરીકે, 1967માં અમેરિકન એકેડેમી ઓફ આર્ટ્સ એન્ડ સાયન્સિસ માટે અને 1978માં નેશનલ એકેડેમી ઓફ સાયન્સિસ માટે ચૂંટાયા હતા. એક ઊંડા ધાર્મિક વ્યક્તિ, ચર્ચ પ્રેસ્બિટેરિયન ચર્ચના આજીવન સભ્ય હતા. 11 ઓગસ્ટ, 1995ના રોજ 92 વર્ષની વયે તેમનું અવસાન થયું હતું. તેમને પ્રિન્સટન કબ્રસ્તાનમાં દફનાવવામાં આવ્યા છે. ગાણિતિક કાર્ય ચર્ચ નીચેની નોંધપાત્ર સિદ્ધિઓ માટે જાણીતું છેઃ તેમનો પુરાવો કે પ્રથમ ક્રમના ગાણિતિક સિદ્ધાંતમાં મનસ્વી દરખાસ્તોના સત્યને નિર્ધારિત કરવા માટે નિર્ણય પ્રક્રિયા માટે પૂછતી એન્ટશેઇડંગ્સપ્રૉબ્લમ અનિર્ણાયક છે. આને ચર્ચના પ્રમેય તરીકે ઓળખવામાં આવે છે. તેમની લેમ્બડા કલનની શોધ. પીનો અંકગણિત અનિશ્ચિત છે તે સાબિત કરવા માટે તેમણે લેમ્બડા કલનનો ઉપયોગ કર્યો હતો. જે ચર્ચ-ટ્યુરિંગ થીસીસ તરીકે જાણીતું બન્યું છે તેની તેમની અભિવ્યક્તિ. જર્નલ ઓફ સિમ્બોલિક લોજિકના સ્થાપક સંપાદક તરીકે, 1936 થી 1979 સુધી 43 વર્ષ સુધી તેના સમીક્ષા વિભાગનું સંપાદન કર્યું. ગાણિતિક તર્કશાસ્ત્રના ક્ષેત્રમાં એક અગ્રણી પાઠ્યપુસ્તક, ઇન્ટ્રોડક્શન ટુ મેથેમેટિકલ લોજિકના તેમના લેખક. ચર્ચ-રોઝર થીયરમ લેમ્બડા કેલ્ક્યુલસ તેમના 1936 ના પેપરમાં ઉભરી આવ્યું હતું જે એન્ટશેઇડંગ્સપ્રૉબ્લમની નિરાકરણક્ષમતા દર્શાવે છે. આ પરિણામ અટકાવવાની સમસ્યા પર એલન ટ્યુરિંગના કાર્ય પહેલા આવ્યું હતું, જેણે યાંત્રિક માધ્યમો દ્વારા વણઉકેલાયેલી સમસ્યાનું અસ્તિત્વ પણ દર્શાવ્યું હતું. ચર્ચના કાર્ય વિશે સાંભળ્યા પછી, ટ્યુરિંગે તે વર્ષના અંતમાં પ્રિન્સટનમાં પીએચ. ડી. ચર્ચ અને ટ્યુરિંગ માટે ચર્ચ હેઠળ નોંધણી કરાવી હતી, ત્યારબાદ દર્શાવ્યું હતું કે ટ્યુરિંગની અટકાવવાની સમસ્યામાં ઉપયોગમાં લેવાતા લેમ્બડા કેલ્ક્યુલસ અને ટ્યુરિંગ મશીન ક્ષમતાઓમાં સમકક્ષ હતા, અને ત્યારબાદ વિવિધ વૈકલ્પિક "ગણતરી માટેની યાંત્રિક પ્રક્રિયાઓ" નું પ્રદર્શન કર્યું હતું. આનું પરિણામ ચર્ચ-ટ્યુરિંગ થીસીસમાં આવ્યું. સ્પષ્ટીકરણોમાંથી નિયંત્રક અમલીકરણ આપમેળે પેદા કરવાના પ્રયાસો તેમના વિચારોમાંથી ઉદ્ભવે છે. લેમ્બડા કલન સામાન્ય રીતે લિસ્પ અને કાર્યાત્મક પ્રોગ્રામિંગ ભાષાઓની રચનાને પ્રભાવિત કરે છે. ચર્ચ એન્કોડિંગનું નામ તેમના માનમાં રાખવામાં આવ્યું છે. તેમના સન્માનમાં એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરી સ્પેશિયલ ઇન્ટરેસ્ટ ગ્રુપ ફોર લોજિક એન્ડ કમ્પ્યુટેશન (ACM SIGLOG), યુરોપિયન એસોસિએશન ફોર થિયોરેટિકલ કમ્પ્યુટર સાયન્સ (EATCS), યુરોપિયન એસોસિએશન ફોર કમ્પ્યુટર સાયન્સ લોજિક (EACSL) અને કર્ટ ગોડેલ સોસાયટી (KGS) દ્વારા 2015 માં તર્ક અને ગણતરીમાં ઉત્કૃષ્ટ યોગદાન માટે અલોન્ઝો ચર્ચ એવોર્ડની સ્થાપના કરવામાં આવી હતી. આ પુરસ્કાર છેલ્લા 25 વર્ષમાં પ્રકાશિત થયેલા ક્ષેત્રમાં ઉત્કૃષ્ટ યોગદાન માટે છે અને તેને હજુ સુધી ટ્યુરિંગ એવોર્ડ, પેરિસ કેનેલાકિસ એવોર્ડ અથવા ગોડેલ પુરસ્કાર જેવા અન્ય મોટા પુરસ્કાર દ્વારા માન્યતા મળી ન હોવી જોઈએ. ફિલોસોફિકલ કાર્ય ચર્ચ ફ્રેજ-ચર્ચ ઑન્ટોલોજી માટે પણ જાણીતું છે, જે તેમણે ગોટલોબ ફ્રેજના ફિલોસોફિકલ વિચારો પર આધારિત બનાવ્યું હતું. પ્રભાવ તેમની શૈક્ષણિક કારકિર્દી દરમિયાન, ચર્ચે 31 ડોક્ટરલ વિદ્યાર્થીઓની દેખરેખ રાખી હતી. તેમાંના ઘણાએ ગણિત, કોમ્પ્યુટર વિજ્ઞાન અને અન્ય શૈક્ષણિક વિષયોમાં વિશિષ્ટ કારકિર્દીનું નેતૃત્વ કર્યું છે, જેમાં સી. એન્થની એન્ડરસન, પીટર બી. એન્ડ્રુઝ, જ્યોર્જ એ. બર્નાર્ડ, ડેવિડ બર્લિન્સ્કી, વિલિયમ ડબલ્યુ. બૂન, માર્ટિન ડેવિસ, આલ્ફ્રેડ એલ. ફોસ્ટર, લિયોન હેન્કિન, જ્હોન જી. કેમેની, સ્ટીફન સી. ક્લેન, સિમોન બી. કોચેન, મૌરિસ એલ 'અબ્બે, આઇઝેક માલિટ્ઝ, ગેરી આર. માર, માઇકલ ઓ. રાબિન, નિકોલસ રેશર, હાર્ટલી રોજર્સ, જુનિયર, જે. બાર્કલી રોસર, ડાના સ્કોટ, રેમન્ડ સ્મુલિયન અને એલન ટ્યુરિંગનો સમાવેશ થાય છે. જેની તેમણે સીધી દેખરેખ રાખી હતી તે ઉપરાંત, ચર્ચનો અન્ય ગણિતશાસ્ત્રીઓ અને કોમ્પ્યુટર વૈજ્ઞાનિકો પર પણ મોટો પ્રભાવ હતો. હાસ્કેલ કરી, જેમણે કરીંગની વિભાવના સાથે ચર્ચના વિચારોને વિસ્તૃત કર્યા હતા, તેમણે જણાવ્યું હતું કે તેમના એક પાઠ્યપુસ્તક, ઇન્ટ્રોડક્શન ટુ મેથેમેટિકલ લોજિક (સૌપ્રથમ 1944માં પ્રકાશિત), "સાવચેતીપૂર્વક લખવામાં આવ્યું હતું જે સામાન્ય રીતે લેખકના કાર્યને લાક્ષણિકતા આપે છે". ગ્રંથસૂચિ પુસ્તકો અલોન્ઝો ચર્ચ, ઇન્ટ્રોડક્શન ટુ મેથેમેટિકલ લોજિક (1944) () અલોન્ઝો ચર્ચ, ધ કેલ્ક્યુલી ઓફ લેમ્બડા-કન્વર્ઝન (1941) () અલોન્ઝો ચર્ચ, એ બિબ્લિયોગ્રાફી ઓફ સિમ્બોલિક લોજિક, 1666-1935 () સી. એન્થોની એન્ડરસન અને માઈકલ ઝેલની, (આવૃત્તિઓ. ), લોજિક, મીનિંગ એન્ડ કમ્પ્યુટેશનઃ એસેઝ ઇન મેમરી ઓફ અલોન્ઝો ચર્ચ () ટેલર બર્જ અને હર્બર્ટ એન્ડર્ટન (આવૃત્તિઓ. ), ધ કલેક્ટેડ વર્ક્સ ઓફ અલોન્ઝો ચર્ચ (2019) (ISBN 978-0-262-02564-5) પણ જુઓ ચર્ચ-ટ્યુરિંગ-ડ્યુઇશ સિદ્ધાંત કમ્પ્યુટર વિજ્ઞાનમાં અગ્રણીઓની ઉચ્ચ ક્રમ તર્ક સૂચિ Platonism#Modern પ્લેટોનિઝમ યુનિવર્સલ સેટ નોંધો સંદર્ભો એન્ડર્ટન, હર્બર્ટ બી., અલોન્ઝો ચર્ચઃ જીવન અને કાર્ય. ધ કલેક્ટેડ વર્ક્સ ઓફ અલોન્ઝો ચર્ચનો પરિચય, એમઆઇટી પ્રેસ, 2019. એન્ડર્ટન, હર્બર્ટ બી., ઇન મેમોરિયમઃ અલોન્ઝો ચર્ચ, ધ બુલેટિન ઓફ સિમ્બોલિક લોજિક, વોલ્યુમ. 1, ના. 4 (ડિસેમ્બર 1995), pp. 486-488. વેડ, નિકોલસ, અલોન્ઝો ચર્ચ, 92, થિયોરિસ્ટ ઓફ ધ લિમિટ્સ ઓફ મેથેમેટિક્સ (શ્રદ્ધાંજલિ), ધ ન્યૂ યોર્ક ટાઇમ્સ, સપ્ટેમ્બર 5,1995, પૃષ્ઠ B6. હોજેસ, વિલ્ફ્રેડ, શ્રદ્ધાંજલિઃ અલોન્ઝો ચર્ચ, ધ ઇન્ડિપેન્ડન્ટ (લંડન), સપ્ટેમ્બર 14,1995. 17 મે 1984ના રોજ વિલિયમ એસ્પ્રે દ્વારા અલોન્ઝો ચર્ચનો ઇન્ટરવ્યુ લેવામાં આવ્યો હતો. ધ પ્રિન્સટન મેથેમેટિક્સ કમ્યુનિટી ઇન ધ 1930: એન ઓરલ-હિસ્ટ્રી પ્રોજેક્ટ, ટ્રાન્સક્રિપ્ટ નંબર 5. રોટા, જિયાન-કાર્લો, ફાઇન હોલ તેના સુવર્ણ યુગમાંઃ પચાસના દાયકાની શરૂઆતમાં પ્રિન્સટનની યાદો. એ સેન્ચ્યુરી ઓફ મેથેમેટિક્સ ઇન અમેરિકા, પાર્ટ II, પીટર ડ્યુરેન દ્વારા સંપાદિત, એ. એમ. એસ. હિસ્ટ્રી ઓફ મેથેમેટિક્સ, વોલ્યુમ 2, અમેરિકન મેથેમેટિકલ સોસાયટી, 1989, pp. અહીં પણ ઉપલબ્ધ છે. બાહ્ય કડીઓ પ્રિન્સટન યુનિવર્સિટી લાઇબ્રેરી, હસ્તપ્રતો વિભાગ, ધ અલોન્ઝો ચર્ચ પેપર્સ, 1924-1995: સહાય શોધવી. ધ જર્નલ ઓફ સિમ્બોલિક લોજિક માટે ચર્ચની સમીક્ષાઓની ગ્રંથસૂચિ, દરેક અલોન્ઝો ચર્ચની લિંક સાથે, 92, થિયોરિસ્ટ ઓફ ધ લિમિટ્સ ઓફ મેથેમેટિક્સ ન્યૂ યોર્ક ટાઇમ્સની શ્રદ્ધાંજલિ OBITUARY: અલોન્ઝો ચર્ચ ફ્રોમ ધ ઇન્ડિપેન્ડન્ટ ઇન મેમોરિયમઃ અલોન્ઝો ચર્ચ (1903-1995) ઇરવિંગ એચ. એનેલિસ દ્વારા, મોડર્ન લોજિક વોલ્યુમ. 5, નં. 4 (1995). સ્મૃતિમાંઃ એચ. બી. એન્ડર્ટન દ્વારા અલોન્ઝો ચર્ચ 1903-1995, ધ બુલેટિન ઓફ સિમ્બોલિક લોજિક વોલ્યુમ. 1, નંબર 5 (1995). 1903 જન્મ 1995 મૃત્યુ 20મી સદીના અમેરિકન ગણિતશાસ્ત્રીઓ અમેરિકન તર્કશાસ્ત્રીઓ અમેરિકન પ્રેસ્બિટેરિયન કોમ્પ્યુટેબિલિટી સિદ્ધાંતવાદીઓ પ્રિન્સટન યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ હાર્વર્ડ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ પ્રિન્સટન યુનિવર્સિટી ફેકલ્ટી યુનિવર્સિટી ઓફ કેલિફોર્નિયા, લોસ એન્જલસ ફેકલ્ટી પ્રિન્સટન કબ્રસ્તાન ખાતે દફનવિધિ પ્રિન્સટન કબ્રસ્તાન ફિલોસોફર્સ ફ્રોમ વોશિંગ્ટન, ડી. સી. ફિલોસોફર્સ ફ્રોમ કેલિફોર્નિયા ફિલોસોફર્સ ફ્રોમ ન્યૂ જર્સી ગણિતશાસ્ત્રીઓ ફ્રોમ વોશિંગ્ટન, ડી. સી. 20મી સદીના અમેરિકન ફિલોસોફર્સ અનુરૂપ ફેલોજ ઓફ ધ બ્રિટીશ એકેડેમી