Haskell Curry
હાસ્કેલ બ્રૂક્સ કરી (સપ્ટેમ્બર 12,1900-સપ્ટેમ્બર 1,1982) એક અમેરિકન ગણિતશાસ્ત્રી અને તર્કશાસ્ત્રી હતા. કરી સંયુક્ત તર્કમાં તેમના કામ માટે જાણીતા છે, જે પ્રારંભિક ખ્યાલ મોસેસ સ્કોનફિન્કેલના પેપર પર આધારિત છે, જેના માટે કરીએ મોટાભાગનો વિકાસ કર્યો હતો. કરીનો વિરોધાભાસ અને કરી-હોવર્ડ પત્રવ્યવહાર માટે પણ જાણીતો છે. તેમના નામ પર ત્રણ પ્રોગ્રામિંગ ભાષાઓ છેઃ હાસ્કેલ, બ્રુક અને કરી, અને ગણિત અને કોમ્પ્યુટર વિજ્ઞાનમાં ઉપયોગમાં લેવાતી કાર્યોને પરિવર્તિત કરવાની પદ્ધતિ, કરીંગની વિભાવના. લાઇફ કરીનો જન્મ મિલિસ, મેસેચ્યુસેટ્સમાં સેમ્યુઅલ સિલાસ કરી અને અન્ના બેરાઇટ કરીને થયો હતો, જેઓ વક્તૃત્વ માટે શાળા ચલાવતા હતા. તેમણે 1916માં તબીબી અભ્યાસ માટે હાર્વર્ડ યુનિવર્સિટીમાં પ્રવેશ મેળવ્યો હતો પરંતુ 1920માં સ્નાતક થયા પહેલા ગણિત તરફ વળ્યા હતા. મેસેચ્યુસેટ્સ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી (એમ. આઈ. ટી.) ખાતે ઇલેક્ટ્રિકલ એન્જિનિયરિંગમાં બે વર્ષના સ્નાતક કાર્ય પછી, તેઓ ભૌતિકશાસ્ત્રનો અભ્યાસ કરવા માટે હાર્વર્ડ પરત ફર્યા અને માસ્ટર ઓફ આર્ટ્સ (એમ. એ.) ની પદવી મેળવી. 1924 માં. કરીનો ગાણિતિક તર્કશાસ્ત્રમાં રસ આ સમયગાળા દરમિયાન શરૂ થયો હતો જ્યારે તેમને પ્રિન્સિપિયા મેથેમેટિકા સાથે પરિચય કરાવવામાં આવ્યો હતો, જે આલ્ફ્રેડ નોર્થ વ્હાઇટહેડ અને બર્ટ્રાન્ડ રસેલ દ્વારા પ્રતીકાત્મક તર્કશાસ્ત્રમાં ગણિતને આધાર આપવાનો પ્રયાસ હતો. હાર્વર્ડમાં રહીને, કરીએ ગણિતમાં ડોક્ટર ઓફ ફિલોસોફી (પીએચ. ડી.) નો અભ્યાસ કર્યો. જ્યારે તેમને જ્યોર્જ ડેવિડ બિરખોફ દ્વારા વિભેદક સમીકરણો પર કામ કરવા માટે નિર્દેશિત કરવામાં આવ્યા હતા, ત્યારે તેમની રુચિઓ તર્ક તરફ વળતી રહી હતી. 1927માં પ્રિન્સટન યુનિવર્સિટીમાં પ્રશિક્ષક તરીકે તેમણે સંયુક્ત તર્કશાસ્ત્રમાં મોસેસ સ્કોનફિન્કેલના કાર્યની શોધ કરી હતી. સ્કોનફિન્કેલના કાર્યમાં કરીના પોતાના સંશોધનની ઘણી અપેક્ષા હતી, અને પરિણામે, તેઓ ગોટિન્જેન યુનિવર્સિટીમાં ગયા જ્યાં તેઓ હેઇનરિચ બેહમેન અને પોલ બર્નેઝ સાથે કામ કરી શક્યા, જેઓ સ્કોનફિન્કેલના કાર્યથી પરિચિત હતા. કરીનું નિરીક્ષણ ડેવિડ હિલ્બર્ટ દ્વારા કરવામાં આવ્યું હતું અને તેમણે બર્નેઝ સાથે નજીકથી કામ કર્યું હતું, અને 1930માં સંયોજી તર્ક પર નિબંધ સાથે પીએચ. ડી. પ્રાપ્ત કરી હતી. 1928માં, ગોટિન્જેન જતા પહેલા, કરીએ મેરી વર્જિનિયા વ્હીટલી સાથે લગ્ન કર્યા હતા. આ દંપતિ જર્મનીમાં રહેતા હતા જ્યારે કરીએ તેમનો શોધ નિબંધ પૂર્ણ કર્યો, પછી, 1929 માં, સ્ટેટ કોલેજ, પેન્સિલવેનિયા ગયા જ્યાં કરીએ પેન્સિલવેનિયા સ્ટેટ કોલેજમાં પદ સ્વીકાર્યું. તેમને બે બાળકો હતા, એન રાઈટ કરી (જુલાઈ 27,1930) અને રોબર્ટ વ્હીટલી કરી (જુલાઈ 6,1934). કરી આગામી 37 વર્ષ સુધી પેન સ્ટેટમાં રહી હતી. તેમણે નેશનલ રિસર્ચ ફેલોશિપ હેઠળ 1931-1932 માં શિકાગો યુનિવર્સિટીમાં એક વર્ષ અને પ્રિન્સટનમાં ઇન્સ્ટિટ્યૂટ ફોર એડવાન્સ્ડ સ્ટડીમાં 1938-1939 માં એક વર્ષ વિતાવ્યું. 1942માં તેમણે બીજા વિશ્વયુદ્ધ દરમિયાન યુનાઇટેડ સ્ટેટ્સ સરકાર માટે લાગુ ગણિત કરવા માટે ગેરહાજરીની રજા લીધી, ખાસ કરીને ફ્રેન્કફોર્ડ આર્સેનલ ખાતે. યુદ્ધ પછી તરત જ તેમણે 1945 અને 1946માં ENIAC પ્રોજેક્ટ પર કામ કર્યું હતું. ફુલબ્રાઇટ ફેલોશિપ હેઠળ, તેમણે બેલ્જિયમના લૂવેનમાં રોબર્ટ ફેઇસ સાથે સહયોગ કર્યો હતો. 1966માં પેન સ્ટેટમાંથી નિવૃત્ત થયા પછી, કરીએ એમ્સ્ટરડેમ યુનિવર્સિટીમાં પદ સ્વીકાર્યું હતું. 1970માં, સંયોજી તર્ક પર તેમના ગ્રંથનો બીજો ભાગ પૂરો કર્યા પછી, કરી એમ્સ્ટરડેમ યુનિવર્સિટીમાંથી નિવૃત્ત થયા અને સ્ટેટ કોલેજ, પેન્સિલવેનિયામાં પરત ફર્યા. હાસ્કેલ કરીનું સ્ટેટ કોલેજ, પેન્સિલવેનિયામાં અવસાન થયું. કરીના કાર્યનું કેન્દ્ર એ બતાવવાના પ્રયાસો હતા કે સંયોજક તર્કશાસ્ત્ર ગણિત માટે પાયો પૂરો પાડી શકે છે. 1933ના અંત સુધીમાં, તેમણે જ્હોન રોસર સાથેના પત્રવ્યવહારમાંથી ક્લેન-રોસર વિરોધાભાસ વિશે જાણ્યું. રોઝર અને સ્ટીફન ક્લેન દ્વારા વિકસાવવામાં આવેલા વિરોધાભાસએ સંખ્યાબંધ સંબંધિત ઔપચારિક પ્રણાલીઓની અસંગતતા સાબિત કરી હતી, જેમાં એલોન્ઝો ચર્ચ દ્વારા પ્રસ્તાવિત એક (એક એવી પ્રણાલી જેમાં સુસંગત સબસિસ્ટમ તરીકે લેમ્બડા કલન હતું) અને કરીની પોતાની પ્રણાલીનો સમાવેશ થાય છે. જો કે, ચર્ચ, ક્લેન અને રોઝરથી વિપરીત, કરીએ પાયાના અભિગમને છોડ્યો નહીં, એમ કહીને કે તેઓ "વિરોધાભાસથી દૂર ભાગવા" માંગતા નથી. તેમની સમગ્ર કારકિર્દી દરમિયાન કોમ્બિનેટરી લોજિકના ક્ષેત્રમાં કામ કરીને, કરી અનિવાર્યપણે આ ક્ષેત્રના સ્થાપક અને સૌથી મોટું નામ બની ગયા. સંયુક્ત તર્ક એ કાર્યાત્મક પ્રોગ્રામિંગ ભાષાની એક શૈલીનો પાયો છે. સંયુક્ત તર્કની શક્તિ અને અવકાશ ચર્ચની લેમ્બડા કલન જેવી જ છે, અને તાજેતરના દાયકાઓમાં પછીની ઔપચારિકતા પ્રબળ બની છે. 1947માં કરીએ પ્રથમ ઉચ્ચ-સ્તરની પ્રોગ્રામિંગ ભાષાઓમાંની એકનું પણ વર્ણન કર્યું હતું અને સામાન્ય અંકગણિત અભિવ્યક્તિને એક સરનામાંવાળા કમ્પ્યુટર માટેના કોડમાં રૂપાંતરિત કરવાની પ્રક્રિયાનું પ્રથમ વર્ણન પૂરું પાડ્યું હતું. તેમણે હાર્વર્ડ, પ્રિન્સટનમાં અને 1929 થી 1966 સુધી પેન્સિલવેનિયા સ્ટેટ યુનિવર્સિટીમાં ભણાવ્યું હતું. 1942માં તેમણે કરીઝ પેરાડોક્સ પ્રકાશિત કર્યું હતું. 1966માં તેઓ એમ્સ્ટર્ડમ યુનિવર્સિટીમાં તર્કશાસ્ત્ર અને તેના ઇતિહાસ અને ચોક્કસ વિજ્ઞાનની ફિલસૂફીના પ્રોફેસર બન્યા, જેઓ એવર્ટ વિલેમ બેથના અનુગામી હતા. કરીએ વધુ સામાન્ય રીતે ગાણિતિક તર્કશાસ્ત્ર પણ લખ્યું અને શીખવ્યું; આ ક્ષેત્રમાં તેમના શિક્ષણની પરાકાષ્ઠા તેમના 1963 ના ગાણિતિક તર્કશાસ્ત્રના ફાઉન્ડેશન્સમાં થઈ. ગણિતની તેમની પસંદગીની ફિલસૂફી ઔપચારિકતા હતી (સી. એફ. તેમનું 1951નું પુસ્તક), તેમના માર્ગદર્શક હિલ્બર્ટને અનુસરે છે, પરંતુ તેમના લખાણો નોંધપાત્ર દાર્શનિક જિજ્ઞાસા અને અંતર્જ્ઞાની તર્ક વિશે ખૂબ જ ખુલ્લા મન સાથે દગો કરે છે. મુખ્ય પ્રકાશનો નોંધો વધુ વાંચન જીવનચરિત્રાત્મક નિબંધનો સમાવેશ કરે છે. કરી આર્કાઇવ્સ 1920 થી 1931 સુધીના સેંકડો હસ્તપ્રત પૃષ્ઠોની છબીઓ પ્રદાન કરે છે. સીએલજી. ગ્રંથસૂચિ 587 પીપી 1900 જન્મ 1982 મૃત્યુ 20મી સદીના અમેરિકન ગણિતશાસ્ત્રીઓ અમેરિકન તર્કશાસ્ત્રીઓ હાર્વર્ડ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ ગણિતના ફિલોસોફર્સ હાર્વર્ડ યુનિવર્સિટી ડિપાર્ટમેન્ટ ઓફ ફિલોસોફી ફેકલ્ટી હાર્વર્ડ યુનિવર્સિટી ફેકલ્ટી પેન્સિલવેનિયા સ્ટેટ યુનિવર્સિટી ફેકલ્ટી પ્રિન્સટન યુનિવર્સિટી ફેકલ્ટી યુનિવર્સિટી ઓફ એમ્સ્ટર્ડમના શૈક્ષણિક સ્ટાફ મિલિસ, મેસેચ્યુસેટ્સના લોકો