Alonzo Church
அலோன்சோ சர்ச் (ஜூன் 14,1903-ஆகஸ்ட் 11,1995) ஒரு அமெரிக்க கணிதவியலாளர், கணினி விஞ்ஞானி, தர்க்கவாதி மற்றும் தத்துவஞானி ஆவார், அவர் கணித தர்க்கம் மற்றும் கோட்பாட்டு கணினி அறிவியலின் அடித்தளங்களுக்கு முக்கிய பங்களிப்புகளை வழங்கினார். அவர் லாம்ப்டா கால்குலஸ், சர்ச்-டூரிங் ஆய்வறிக்கைக்கு மிகவும் பிரபலமானவர், இது என்ட்சைடுங்ஸ் பிராப்ளம் ("முடிவு சிக்கல்"), ஃப்ரீஜ்-சர்ச் ஆன்டாலஜி மற்றும் சர்ச்-ரோசர் தேற்றம் ஆகியவற்றின் தீர்க்கமுடியாத தன்மையை நிரூபிக்கிறது. அவர் மொழித் தத்துவத்திலும் பணியாற்றினார் (எ. கா. தேவாலயம் 1970). அவரது முனைவர் மாணவர் ஆலன் டூரிங்குடன் சேர்ந்து, கணினி அறிவியலின் நிறுவனர்களில் ஒருவராக சர்ச் கருதப்படுகிறார். லைஃப் அலோன்சோ தேவாலயம் ஜூன் 14,1903 அன்று வாஷிங்டன் டி. சி. யில் பிறந்தார், அங்கு அவரது தந்தை சாமுவேல் ராபின்ஸ் தேவாலயம் அமைதி நீதிபதியாகவும் கொலம்பியா மாவட்டத்திற்கான நகராட்சி நீதிமன்றத்தின் நீதிபதியாகவும் இருந்தார். அவர் 1881 முதல் 1901 வரை யுனைடெட் ஸ்டேட்ஸ் செனட் நூலகர் அலோன்சோ வெப்ஸ்டர் தேவாலயத்தின் (1829-1909) பேரனும், அலோன்சோ தேவாலயத்தின் கொள்ளுப் பேரனும், கணிதம் மற்றும் வானியல் பேராசிரியரும், ஜார்ஜியா பல்கலைக்கழகத்தின் 6 வது தலைவரும் ஆவார். சிறுவனாக இருந்தபோது, விமானத் துப்பாக்கி விபத்தால் சர்ச் ஓரளவு பார்வையிழந்தது. கண்பார்வை குறைவதால் அவரது தந்தை பல்கலைக்கழகத்தில் தனது பதவியை இழந்ததால் குடும்பம் பின்னர் வர்ஜீனியாவுக்கு குடிபெயர்ந்தது. அலோன்சோ சர்ச் என்றும் பெயரிடப்பட்ட அவரது மாமாவின் உதவியுடன், மகன் கனெக்டிகட்டின் ரிட்ஜ்ஃபீல்டில் உள்ள சிறுவர்களுக்கான தனியார் ரிட்ஜ்ஃபீல்ட் பள்ளியில் பயின்றார். 1920 இல் ரிட்ஜ்ஃபீல்டில் பட்டம் பெற்ற பிறகு, சர்ச் பிரின்ஸ்டன் பல்கலைக்கழகத்தில் பயின்றார், அங்கு அவர் ஒரு விதிவிலக்கான மாணவராக இருந்தார். அவர் 1924 இல் லோரெண்ட்ஸ் உருமாற்றங்கள் குறித்த தனது முதல் கட்டுரையை வெளியிட்டார், அதே ஆண்டு கணிதத்தில் பட்டம் பெற்றார். பட்டப் படிப்புக்காக பிரின்ஸ்டனில் தங்கியிருந்த அவர், மூன்று ஆண்டுகளில் ஓஸ்வால்ட் வெப்லனின் கீழ் கணிதத்தில் முனைவர் பட்டம் பெற்றார். அவர் 1925 இல் மேரி ஜூலியா குசின்ஸ்கியை மணந்தார். இந்த தம்பதியினருக்கு அலோன்சோ ஜூனியர் (1929), மேரி ஆன் (1933) மற்றும் மில்ட்ரெட் (1938) என்ற மூன்று குழந்தைகள் இருந்தனர். முனைவர் பட்டம் பெற்ற பிறகு, சிகாகோ பல்கலைக்கழகத்தில் பயிற்றுவிப்பாளராக சுருக்கமாக கற்பித்தார். அவர் இரண்டு ஆண்டு தேசிய ஆராய்ச்சி பெல்லோஷிப் பெற்றார், இது ஹார்வர்ட் பல்கலைக்கழகத்தில் 1927-1928 இல் சேர உதவியது, அடுத்த ஆண்டு கோட்டிங்கன் பல்கலைக்கழகம் மற்றும் ஆம்ஸ்டர்டாம் பல்கலைக்கழகம். அவர் 1929 முதல் 1967 வரை கிட்டத்தட்ட நான்கு தசாப்தங்களாக பிரின்ஸ்டனில் தத்துவம் மற்றும் கணிதத்தை கற்பித்தார். லாஸ் ஏஞ்சல்ஸில் உள்ள கலிபோர்னியா பல்கலைக்கழகத்தில் தத்துவம் மற்றும் கணிதத்தின் ஃப்ளின்ட் பேராசிரியராக இருந்தார். 1962 ஆம் ஆண்டில் ஸ்டாக்ஹோமில் நடந்த ஐசிஎம்மில் அவர் ஒரு முழுமையான சபாநாயகராக இருந்தார். 1969 ஆம் ஆண்டில் கேஸ் வெஸ்டர்ன் ரிசர்வ் பல்கலைக்கழகம், 1985 ஆம் ஆண்டில் பிரின்ஸ்டன் பல்கலைக்கழகம் மற்றும் 1990 ஆம் ஆண்டில் நியூயார்க் மாநில பல்கலைக்கழகத்தின் பஃபல்லோ பல்கலைக்கழகம் ஆகியவற்றிலிருந்து கவுரவ டாக்டர் ஆஃப் சயின்ஸ் பட்டங்களைப் பெற்றார். 1966 ஆம் ஆண்டில் பிரிட்டிஷ் அகாடமியின் (எஃப். பி. ஏ) தொடர்புடைய உறுப்பினராகவும், 1967 ஆம் ஆண்டில் அமெரிக்கன் அகாடமி ஆஃப் ஆர்ட்ஸ் அண்ட் சயின்சஸ் மற்றும் 1978 ஆம் ஆண்டில் தேசிய அறிவியல் அகாடமியிலும் தேர்ந்தெடுக்கப்பட்டார். ஒரு ஆழ்ந்த மத நபராக, சர்ச் பிரஸ்பைடிரியன் தேவாலயத்தின் வாழ்நாள் உறுப்பினராக இருந்தார். அவர் ஆகஸ்ட் 11,1995 அன்று தனது 92 வயதில் காலமானார். அவர் பிரின்ஸ்டன் கல்லறையில் அடக்கம் செய்யப்பட்டார். கணிதப் பணி சர்ச் பின்வரும் குறிப்பிடத்தக்க சாதனைகளுக்காக அறியப்படுகிறதுஃ முதல்-வரிசை கணிதக் கோட்பாட்டில் தன்னிச்சையான முன்மொழிவுகளின் உண்மையைத் தீர்மானிக்க ஒரு முடிவெடுக்கும் நடைமுறையைக் கேட்கும் என்ட்செய்டங்ஸ் சிக்கல் என்ற அவரது ஆதாரம் தீர்மானிக்க முடியாதது. இது திருச்சபையின் தேற்றம் என்று அழைக்கப்படுகிறது. அவர் லாம்ப்டா கால்குலஸைக் கண்டுபிடித்தார். பீனோ எண்கணிதம் தீர்மானிக்க முடியாதது என்பதை நிரூபிக்க அவர் லாம்ப்டா கால்குலஸைப் பயன்படுத்தினார். சர்ச்-டூரிங் ஆய்வறிக்கை என்று அறியப்பட்டதைப் பற்றிய அவரது வெளிப்பாடு. ஜர்னல் ஆஃப் சிம்பாலிக் லாஜிக்கின் நிறுவன ஆசிரியராக இருந்ததால், 1936 முதல் 1979 வரை 43 ஆண்டுகளாக அதன் மதிப்புரைகள் பிரிவைத் திருத்தியது. கணித தர்க்கத்தின் துறையில் ஒரு முக்கிய பாடப்புத்தகத்தை அவர் எழுதியுள்ளார், கணித தர்க்கத்தின் அறிமுகம். சர்ச்-ரோசர் தேற்றம் லாம்ப்டா கால்குலஸ் அவரது 1936 ஆய்வறிக்கையில் உருவானது, இது என்ட்சைடுங்ஸ் சிக்கலின் தீர்க்கமுடியாத தன்மையைக் காட்டுகிறது. இந்த முடிவு ஆலன் டூரிங்கின் நிறுத்த சிக்கல் குறித்த பணிக்கு முன்னதாக இருந்தது, இது இயந்திர வழிமுறைகளால் தீர்க்க முடியாத ஒரு சிக்கலின் இருப்பை நிரூபித்தது. சர்ச்சின் பணியைப் பற்றி கேள்விப்பட்ட பிறகு, டூரிங் அந்த ஆண்டின் பிற்பகுதியில் பிரின்ஸ்டனில் ஒரு பி. எச். டி. சர்ச் மற்றும் டூரிங்கிற்கு சர்ச் கீழ் சேர்ந்தார், பின்னர் டூரிங்கின் நிறுத்த சிக்கலில் பயன்படுத்தப்படும் லாம்ப்டா கால்குலஸ் மற்றும் டூரிங் இயந்திரம் திறன்களில் சமமானவை என்பதைக் காட்டினார், பின்னர் பல்வேறு மாற்று "கணக்கீட்டிற்கான இயந்திர செயல்முறைகளை" நிரூபித்தார். இதன் விளைவாக சர்ச்-டூரிங் ஆய்வறிக்கை உருவானது. விவரக்குறிப்புகளிலிருந்து ஒரு கட்டுப்பாட்டாளர் செயல்பாட்டை தானாக உருவாக்குவதற்கான முயற்சிகள் அவரது யோசனைகளிலிருந்து உருவாகின்றன. லாம்ப்டா கால்குலஸ் பொதுவாக லிஸ்ப் மற்றும் செயல்பாட்டு நிரலாக்க மொழிகளின் வடிவமைப்பை பாதித்தது. தேவாலய குறியாக்கம் அவரது நினைவாக பெயரிடப்பட்டுள்ளது. தர்க்கம் மற்றும் கணக்கீட்டிற்கான சிறந்த பங்களிப்புகளுக்கான அலோன்சோ சர்ச் விருது 2015 ஆம் ஆண்டில் அசோசியேஷன் ஃபார் கம்ப்யூட்டிங் மெஷினரி ஸ்பெஷல் இன்டெரெஸ்ட் குரூப் ஃபார் லாஜிக் அண்ட் கம்ப்யூடேஷன் (ACM SIGLOG), ஐரோப்பிய அசோசியேஷன் ஃபார் தியோரெட்டிகல் கம்ப்யூட்டர் சயின்ஸ் (EATCS), ஐரோப்பிய அசோசியேஷன் ஃபார் கம்ப்யூட்டர் சயின்ஸ் லாஜிக் (EACSL) மற்றும் கர்ட் கோடல் சொசைட்டி (KGS) ஆகியவற்றால் நிறுவப்பட்டது. கடந்த 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, பக். பி6. ஹோட்ஜஸ், வில்ஃப்ரெட், இரங்கல் செய்திஃ அலோன்சோ சர்ச், தி இன்டிபென்டன்ட் (லண்டன்), செப்டம்பர் 14,1995. அலோன்சோ தேவாலயம் வில்லியம் ஆஸ்பிரேயால் 1984 மே 17 அன்று நேர்காணல் செய்யப்பட்டது. 1930 களில் பிரின்ஸ்டன் கணித சமூகம்ஃ ஒரு வாய்வழி-வரலாறு திட்டம், டிரான்ஸ்கிரிப்ட் எண் 5. ரோட்டா, கியான்-கார்லோ, ஃபைன் ஹால் அதன் பொற்காலத்தில்ஃ ஐம்பதுகளின் முற்பகுதியில் பிரின்ஸ்டனின் நினைவுகள். அமெரிக்காவில் கணிதத்தின் ஒரு நூற்றாண்டு, பகுதி II, பீட்டர் டுரனால் திருத்தப்பட்டது, ஏஎம்எஸ் கணிதத்தின் வரலாறு, தொகுதி 2, அமெரிக்க கணித சங்கம், 1989, பக்கங்கள். இதுவும் இங்கு கிடைக்கும். வெளிப்புற இணைப்புகள் பிரின்ஸ்டன் பல்கலைக்கழக நூலகம், கையெழுத்துப் பிரதிகள் பிரிவு, தி அலோன்சோ சர்ச் பேப்பர்ஸ், 1924-1995: உதவி தேடுதல். தி ஜர்னல் ஆஃப் சிம்போலிக் லாஜிக்கிற்கான சர்ச்சின் மதிப்புரைகளின் நூலியல், ஒவ்வொரு அலோன்சோ தேவாலயத்திற்கும் ஒரு இணைப்புடன், 92, கணிதத்தின் வரம்புகளின் கோட்பாட்டாளர் நியூயார்க் டைம்ஸ் இரங்கல் OBITUARY: அலோன்சோ சர்ச் ஃபார் தி இன்டிபென்டன்ட் இன் மெமோரியம்ஃ இர்விங் எச். அனெல்லிஸ் எழுதிய அலோன்சோ சர்ச் (1903-1995), மாடர்ன் லாஜிக் தொகுதி. 5, இல்லை. 4 (1995). நினைவுச் சின்னத்தில்ஃ எச். பி. எண்டர்டன் எழுதிய அலோன்சோ சர்ச் 1903-1995, தி புல்லட்டின் ஆஃப் சிம்பாலிக் லாஜிக் தொகுதி. 1, எண் 5 (1995). 1903 பிறப்புகள் 1995 இறப்புகள் 20 ஆம் நூற்றாண்டின் அமெரிக்க கணிதவியலாளர்கள் அமெரிக்க தர்க்கவியலாளர்கள் அமெரிக்க பிரஸ்பிட்டேரியன்ஸ் கணக்கீட்டு கோட்பாட்டாளர்கள் பிரின்ஸ்டன் பல்கலைக்கழக முன்னாள் மாணவர்கள் ஹார்வர்ட் பல்கலைக்கழக முன்னாள் மாணவர்கள் பிரின்ஸ்டன் பல்கலைக்கழகத்தின் கலிபோர்னியா பல்கலைக்கழகம், லாஸ் ஏஞ்சல்ஸ் ஆசிரிய பிரின்ஸ்டன் கல்லறையில் அடக்கம் வாஷிங்டன், டி. சி. யில் இருந்து தத்துவஞானிகள் கலிபோர்னியாவிலிருந்து தத்துவஞானிகள் வாஷிங்டன், டி. சி. யில் இருந்து நியூ ஜெர்சியிலிருந்து கணிதவியலாளர்கள் 20 ஆம் நூற்றாண்டின் அமெரிக்க தத்துவவாதிகள் பிரிட்டிஷ் அகாடமியின் தொடர்புடைய கூட்டாளிகள்