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 की मृत्यु पोलिश-यहूदी वंश के अमेरिकी लोग यूक्रेनी-यहूदी वंश के अमेरिकी लोग बोस्टन लैटिन स्कूल के पूर्व छात्र हार्वर्ड विश्वविद्यालय के पूर्व छात्र हार्वर्ड विश्वविद्यालय दर्शनशास्त्र विभाग संकाय हार्वर्ड विश्वविद्यालय के संकाय अमेरिकी तर्कशास्त्री यूक्रेनी यहूदी ऑस्ट्रिया-हंगरी से संयुक्त राज्य अमेरिका के यहूदी दार्शनिकों के लिए अप्रवासी