Henry M. Sheffer
ஹென்றி மாரிஸ் ஷெஃபர் (செப்டம்பர் 1,1882-மார்ச் 17,1964) ஒரு அமெரிக்க தர்க்கவாதி ஆவார். வாழ்க்கை மற்றும் தொழில் வாழ்க்கை ஷெஃபர் மேற்கு உக்ரைனில் பிறந்த ஒரு போலந்து யூதர் ஆவார், அவர் 1892 ஆம் ஆண்டில் தனது பெற்றோர் மற்றும் ஆறு உடன்பிறப்புகளுடன் அமெரிக்காவிற்கு குடிபெயர்ந்தார். அவர் ஹார்வர்ட் பல்கலைக்கழகத்தில் நுழைவதற்கு முன்பு பாஸ்டன் லத்தீன் பள்ளியில் படித்தார், யோசியா ராய்ஸிலிருந்து தர்க்கத்தைக் கற்றுக் கொண்டார், மேலும் 1905 இல் தனது இளங்கலை பட்டத்தையும், 1907 இல் தனது முதுகலைப் பட்டத்தையும், 1908 இல் தத்துவத்தில் முனைவர் பட்டத்தையும் முடித்தார். ஷெஃபர் ஹார்வர்டில் ஒரு முதுகலை சக ஊழியராக இருந்தார், பின்னர் வாஷிங்டன் பல்கலைக்கழகம், கார்னெல், மினசோட்டா பல்கலைக்கழகம், மிசோரி பல்கலைக்கழகம் மற்றும் நியூயார்க் நகர கல்லூரி ஆகியவற்றில் தலா ஒரு வருடம் கற்பித்தார். 1916 ஆம் ஆண்டில், அவர் ஹார்வர்டால் தத்துவ பேராசிரியராக பணியமர்த்தப்பட்டார், அங்கு அவர் 1952 இல் ஓய்வு பெறும் வரை தங்கியிருந்தார். ஸ்கான்லான் (2000) ஷெஃபரின் வாழ்க்கை மற்றும் பணி பற்றிய ஆய்வு ஆகும். பூலியன் இயற்கணிதத்தை ஒற்றை பழமையான பைனரி செயல்பாட்டைப் பயன்படுத்தி வரையறுக்க முடியும் என்பதை ஷெஃபர் 1913 இல் நிரூபித்தார், "இரண்டும் அல்ல. . . மற்றும். . . ", இப்போது சுருக்கமாக NAND, அல்லது அதன் இரட்டை NOR, (" இல்லை "என்ற பொருளில். . . இல்லை "). அதேபோல், முன்மொழிவு கால்குலஸை ஒரு இணைப்பைப் பயன்படுத்தி வடிவமைக்க முடியும், இதில் தர்க்கரீதியான NAND இன் உண்மை அட்டவணை உள்ளது, இது பொதுவாக ஷெஃபர் ஸ்ட்ரோக் எனப்படும் செங்குத்து கோடு அல்லது அதன் இரட்டை தர்க்கரீதியான NOR (பொதுவாக செங்குத்து அம்புடன் அல்லது கத்தரிக்கோல் சின்னத்துடன் குறிக்கப்படுகிறது). சார்லஸ் பியர்ஸ் இந்த உண்மைகளை 1880 ஆம் ஆண்டில் கண்டுபிடித்தார், ஆனால் தொடர்புடைய கட்டுரை 1933 வரை வெளியிடப்படவில்லை. ஷெஃபர் தனது பக்கவாதத்தின் அடிப்படையில் மட்டுமே வடிவமைக்கப்பட்ட கோட்பாடுகளையும் முன்மொழிந்தார். ஷெஃபர் இப்போது ஷெஃபர் ஸ்ட்ரோக் என்று அழைக்கப்படுவதை 1913 இல் அறிமுகப்படுத்தினார்; இது 1925 ஆம் ஆண்டு வைட்ஹெட் மற்றும் ரஸ்ஸலின் பிரின்சிபியா கணிதத்தின் பதிப்பில் பயன்படுத்தப்பட்ட பின்னரே நன்கு அறியப்பட்டது. ஷெஃபரின் கண்டுபிடிப்பு பெர்ட்ராண்ட் ரஸ்ஸலிடமிருந்து பெரும் பாராட்டைப் பெற்றது, அவர் தனது பிரின்சிபியா கணிதத்தின் இரண்டாவது பதிப்பில் தனது சொந்த தர்க்கத்தை எளிமைப்படுத்த அதை விரிவாகப் பயன்படுத்தினார். இந்த கருத்தின் காரணமாக, ஷெஃபர் தர்க்கவாதிகளுக்கு ஒரு மர்மமான மனிதர், குறிப்பாக ஷெஃபர், தனது வாழ்க்கையில் மிகக் குறைவாகவே வெளியிட்டார், இந்த முறையின் விவரங்களை ஒருபோதும் வெளியிடவில்லை, அதை மைமோகிராஃப் செய்யப்பட்ட குறிப்புகளிலும் சுருக்கமாக வெளியிடப்பட்ட சுருக்கத்திலும் மட்டுமே விவரித்தார். டபிள்யூ. வி. குயினின் கணித தர்க்கமும் ஷெஃபர் ஸ்ட்ரோக்கின் பெரும்பகுதியை உருவாக்கியது. ஒரு ஷெஃபர் இணைப்பு, பின்னர், ஒரு தர்க்கரீதியான அமைப்பில் உள்ள எந்தவொரு இணைப்பும் ஒத்த முறையில் செயல்படுகிறதுஃ இதன் அடிப்படையில் மொழியில் உள்ள மற்ற அனைத்து இணைப்புகளையும் வெளிப்படுத்த முடியும். எடுத்துக்காட்டாக, அவை அளவு மற்றும் மாதிரி தர்க்கங்களுக்கும் உருவாக்கப்பட்டுள்ளன. குறிப்புகள் ஸ்கான்லான், மைக்கேல், 2000, "அறியப்பட்ட மற்றும் அறியப்படாத எச். எம். ஷெஃபர்", சி. எஸ். இன் பரிவர்த்தனைகள். பியர்ஸ் சொசைட்டி 36:193-224. ரோசன், கென்னத், 2005, "தனித்த கணிதமும் அதன் பயன்பாடுகளும்" அடித்தளங்கள்ஃ தர்க்கம் மற்றும் சான்றுகள் 1:28. குறிப்புகள் 1880 களின் பிறப்புகள் 1964 இறப்புகள் போலந்து-யூத வம்சாவளியைச் சேர்ந்த அமெரிக்க மக்கள் உக்ரேனிய-யூத வம்சாவளியைச் சேர்ந்த அமெரிக்க மக்கள் பாஸ்டன் லத்தீன் பள்ளி முன்னாள் மாணவர்கள் ஹார்வர்ட் பல்கலைக்கழக முன்னாள் மாணவர்கள் ஹார்வர்ட் பல்கலைக்கழக தத்துவத் துறை ஆசிரிய ஹார்வர்ட் பல்கலைக்கழக ஆசிரிய அமெரிக்க தர்க்கவாதிகள் ஆஸ்திரியா-ஹங்கேரியிலிருந்து அமெரிக்க யூத தத்துவவாதிகளுக்கு குடியேறிய உக்ரேனிய யூதர்கள்