एमिल लियोन पोस्ट

एमिल लियोन पोस्ट 1921 में प्रस्तावात्मक कलन (propositional calculus) की पूर्णता के संबंध में एक निष्कर्ष पर पहुंचे, जिसने प्रभावी रूप से 'प्रिंसिपिया मैथमैटिका' (Principia Mathematica) की तार्किक नींव को मैप किया। उनका करियर संयुक्त राज्य अमेरिका में महत्वपूर्ण गणितीय शोध के माध्यम से विकसित हुआ, जिसमें कोलंबिया विश्वविद्यालय में उनके शुरुआती डॉक्टरेट अध्ययन से लेकर सिटी कॉलेज ऑफ न्यूयॉर्क में उनके लंबे समय तक शिक्षण पद तक का सफर शामिल है।

शैक्षणिक आधार

1897 में ऑगस्टो में जन्मे, पोस्ट बचपन में न्यूयॉर्क शहर चले गए। उन्होंने टाउनसेंड हैरिस हाई स्कूल में पढ़ाई की और सिटी कॉलेज ऑफ न्यूयॉर्क से बी.एस. पूरा किया, जिसके बाद 1920 में कैसियस जैक्सन कीज़र के पर्यवेक्षण में कोलंबिया विश्वविद्यालय से पीएचडी प्राप्त की। उनके शुरुआती पेशेवर करियर में प्रिंसटन विश्वविद्यालय में एक साल का पोस्ट-डॉक्टरेट, उसके बाद कॉर्नेल विश्वविद्यालय में कार्यकाल और माध्यमिक विद्यालय में शिक्षण शामिल था, जिसके बाद 1932 में उन्हें सिटी कॉलेज ऑफ न्यूयॉर्क में संकाय नियुक्ति मिली।

तर्कशास्त्र और गणनात्मकता

पोस्ट ने स्वतंत्र रूप से सत्य सारणी (truth tables) विकसित की और प्राथमिक प्रस्तावों के सिद्धांत का विस्तार किया। 1936 में, उन्होंने ट्यूरिंग मशीन के बराबर एक गणना मॉडल तैयार किया, जिसे अब पोस्ट-ट्यूरिंग मशीन के रूप में संदर्भित किया जाता है। 1943 में प्रकाशित कैनोनिकल सिस्टम पर उनके काम ने स्ट्रिंग रीराइटिंग के तरीके स्थापित किए जो आधुनिक प्रोग्रामिंग भाषा डिजाइन के लिए मौलिक बने हुए हैं। 1946 में, उन्होंने औपचारिक भाषाओं में अनिर्णयता को प्रदर्शित करने के लिए 'पोस्ट पत्राचार समस्या' (Post correspondence problem) पेश की।

पॉलीएडिक समूह और पोस्ट की समस्या

गणनात्मकता में अपने योगदान से परे, पोस्ट ने पॉलीएडिक या n-ary समूहों पर व्यापक शोध किया। उनके 1940 के शोध पत्र ने एक मौलिक प्रमेय प्रदान किया जो यह साबित करता था कि ऐसी संरचनाओं को मानक समूह संचालन के माध्यम से व्यक्त किया जा सकता है। बाद में, 1944 में अमेरिकन मैथमेटिकल सोसाइटी के एक संबोधन में, उन्होंने एक ऐसी गणना-अक्षम पुनरावर्ती गणना योग्य सेट के अस्तित्व के बारे में एक प्रश्न प्रस्तावित किया, जिसकी ट्यूरिंग डिग्री 'हॉल्टिंग प्रॉब्लम' से कम हो, जिसे अब 'पोस्ट की समस्या' के रूप में जाना जाता है।

स्वास्थ्य प्रबंधन

प्रिंसटन में अपने समय के दौरान, पोस्ट उन्मादी हमलों (manic attacks) से जूझ रहे थे। चिकित्सा सलाह का पालन करते हुए, उन्होंने अपने दैनिक शोध समय को तीन घंटे से अधिक तक सीमित कर दिया। उन्होंने 1929 में गर्ट्रूड सिंगर से शादी की, जिनसे उनकी एक बेटी, फिलिस पोस्ट गुडमैन थी। अवसाद के लिए इलेक्ट्रोशॉक उपचार प्राप्त करने के बाद 1954 में न्यूयॉर्क शहर में दिल का दौरा पड़ने से पोस्ट की मृत्यु हो गई और उन्हें माउंट हेब्रोन कब्रिस्तान में दफनाया गया।

त्वरित तथ्य

- जन्म: 1897, ऑगस्टो - मृत्यु: 1954, न्यूयॉर्क शहर - शिक्षा: सिटी कॉलेज ऑफ न्यूयॉर्क, कोलंबिया विश्वविद्यालय - जीवनसाथी: गर्ट्रूड सिंगर - बेटी: फिलिस पोस्ट गुडमैन - प्रमुख योगदान: पोस्ट पत्राचार समस्या - अंतिम विश्राम स्थल: माउंट हेब्रोन कब्रिस्तान

पाठकों द्वारा पूछे गए प्रश्न

### 1921 के शोध प्रबंध का क्या महत्व था?

इसने साबित किया कि 'प्रिंसिपिया मैथमैटिका' का प्रस्तावात्मक कलन पूर्ण था, जिसका अर्थ है कि सभी टॉटोलॉजी प्रमेय थे।

### क्या पोस्ट ने गोडेल की अपूर्णता प्रमेय की खोज सबसे पहले की थी?

पोस्ट 1921 में प्रिंसटन में रहते हुए इस खोज के करीब थे, लेकिन उन्होंने उस समय अपने विचारों को प्रकाशित नहीं किया था।