Charles Leonard Hamblin
चार्ल्स लियोनार्ड हैम्बलिन (20 नवंबर 1922-14 मई 1985) एक ऑस्ट्रेलियाई दार्शनिक, तर्कशास्त्री और कंप्यूटर अग्रणी थे, साथ ही सिडनी में न्यू साउथ वेल्स प्रौद्योगिकी विश्वविद्यालय (अब न्यू साउथ वेल्स विश्वविद्यालय) में दर्शन के प्रोफेसर थे। कंप्यूटर विज्ञान के क्षेत्र में उनकी सबसे प्रसिद्ध उपलब्धियों में रिवर्स पोलिश नोटेशन की शुरुआत और 1957 में एक पुश-डाउन पॉप-अप स्टैक का उपयोग था। यह एक पुश-पॉप स्टैक के उपयोग पर फ्रेडरिक लुडविग बाउर और क्लाउस सैमेलसन के काम से पहले था। स्टैक का आविष्कार एलन ट्यूरिंग ने 1946 में किया था जब उन्होंने एसीई कंप्यूटर के अपने डिजाइन में इस तरह के स्टैक को पेश किया था। दर्शनशास्त्र में, हैम्बलिन को उनकी पुस्तक फॉलसीज़ के लिए जाना जाता है, जो तर्क में गलत निष्कर्षों के क्षेत्र में एक मानक कार्य है। औपचारिक शब्दार्थ में, हैम्बलिन को प्रवचन के अपने कम्प्यूटेशनल मॉडल के साथ-साथ हैम्बलिन शब्दार्थ (या वैकल्पिक शब्दार्थ) के लिए जाना जाता है, जो प्रश्नों के शब्दार्थ के लिए एक दृष्टिकोण है। कैरियर और जीवन हैम्बलिन का जन्म 20 नवंबर 1922 को न्यू साउथ वेल्स के पीटर्सम में हुआ था। उनके माता-पिता चार्ल्स ओस्वाल्ड हैम्बलिन और कैथरीन मे व्हाइट थे। उन्होंने नॉर्थ सिडनी बॉयज़ हाई स्कूल और गीलोंग ग्रामर में पढ़ाई की। ऑस्ट्रेलियाई वायु सेना में द्वितीय विश्व युद्ध और रडार सेवा से बाधित, हैम्बलिन के अध्ययन में कला (दर्शन और गणित), विज्ञान (भौतिकी) और मेलबर्न विश्वविद्यालय में दर्शनशास्त्र में एमए (प्रथम श्रेणी सम्मान) शामिल थे। उन्होंने 1957 में लंदन स्कूल ऑफ इकोनॉमिक्स में भाषा और सूचना के सिद्धांत विषय पर डॉक्टरेट की उपाधि प्राप्त की, जाहिरा तौर पर कार्ल पॉपर के तहत, क्लाउड शैनन के सूचना सिद्धांत की शब्दार्थ के दृष्टिकोण से आलोचना की। 1955 से वे एन. एस. डब्ल्यू. में व्याख्याता थे। प्रौद्योगिकी विश्वविद्यालय, और बाद में 1985 में उनकी मृत्यु तक उसी स्थान पर दर्शनशास्त्र के प्रोफेसर रहे, इस दौरान संगठन का नाम बदलकर द यूनिवर्सिटी ऑफ न्यू साउथ वेल्स कर दिया गया था। 1950 के दशक के उत्तरार्ध में, हैम्बलिन ने ऑस्ट्रेलिया में उपलब्ध तीसरे कंप्यूटर के साथ काम किया, जो अंग्रेजी इलेक्ट्रिक कंपनी द्वारा निर्मित एक DEUCE कंप्यूटर था। डी. ई. यू. सी. ई. के लिए, उन्होंने पहली प्रोग्रामिंग भाषाओं में से एक को डिजाइन किया, जिसे बाद में जॉर्ज कहा गया, जो रिवर्स पोलिश नोटेशन पर आधारित थी। उनके संबद्ध संकलक (भाषा अनुवादक) ने 1957 में जॉर्ज में तैयार किए गए कार्यक्रमों का कंप्यूटर की मशीनी भाषा में अनुवाद किया। हैम्बलिन के काम को रिवर्स पोलिश नोटेशन का उपयोग करने वाला पहला माना जाता है, और यही कारण है कि उन्हें इस प्रतिनिधित्व विधि का आविष्कारक कहा जाता है। चाहे हैम्बलिन ने स्वतंत्र रूप से संकेतन और इसके उपयोग का आविष्कार किया हो, उन्होंने इसे संभव बनाने के लिए प्रोग्रामेबल कंप्यूटर और एल्गोरिदम पर प्रसंस्करण के लिए प्रोग्राम लिखने के रिवर्स पोलिश तरीके की योग्यता, सेवा और लाभ दिखाया। संकलकों के विकास के साथ उनके काम का दूसरा प्रत्यक्ष परिणाम पुश-पॉप स्टैक की अवधारणा थी (जिसका आविष्कार पहले 1945 में एसीई के लिए एलन एम. ट्यूरिंग ने किया था), जिसे हैम्बलिन ने फ्रेडरिक लुडविग बाउर और क्लाउस सैमेलसन से स्वतंत्र रूप से विकसित किया था। उसी वर्ष, 1957 में, हैम्बलिन ने पहले ऑस्ट्रेलियाई कंप्यूटर सम्मेलन में अपनी स्टैक अवधारणा प्रस्तुत की। संकलक उस सम्मेलन से पहले चल रहा था। हैम्बलिन के काम ने स्टैक-आधारित कंप्यूटरों के विकास, उनके मशीन निर्देशों, एक स्टैक पर उनके तर्कों और संदर्भ पतों को प्रभावित किया। डिजाइन को इंग्लिश इलेक्ट्रिक द्वारा अपने के. डी. एफ. 9 कंप्यूटर में लिया गया था, जिसे 1963 में वितरित किया गया था। 1960 के दशक में, हैम्बलिन ने फिर से दार्शनिक प्रश्नों की ओर रुख किया। उन्होंने औपचारिक तर्क पर एक प्रभावशाली परिचयात्मक पुस्तक लिखी जो आज भ्रांतियों पर एक मानक कार्य है। इसने पारंपरिक तर्क द्वारा गलत निष्कर्षों के उपचार पर ध्यान केंद्रित किया और उस उपचार में औपचारिक द्वंद्वात्मक लाया और इसे आगे विकसित किया। इस प्रकार, हैम्बलिन को आधुनिक अनौपचारिक तर्क के संस्थापकों में से एक माना जाता है। हैम्बलिन ने दो तरीकों से आधुनिक लौकिक तर्क के विकास में योगदान दिया। अपनी प्रारंभिक अवधि में उन्होंने 1958 और 1965 के बीच आर्थर प्रायर के साथ पत्राचार किया; यह सहयोग तथाकथित हैम्बलिन निहितार्थ के साथ समाप्त हुआ। बाद में 1972 में हैम्बलिन ने स्वतंत्र रूप से अवधि कलन (अंतराल तर्क) के एक रूप की फिर से खोज की, इस विषय पर ए. जी. वॉकर के 1947 के काम से अवगत हुए बिना, जो तनाव के पहलू में रुचि नहीं रखते थे। हैम्बलिन की अवधि गणना 1980 के दशक के मध्य में जेम्स एलन और पैट्रिक जे. हेस द्वारा बाद में विकसित की गई गणना के समान है। हैम्बलिन प्राचीन यूनानी और कई एशियाई और प्रशांत भाषाओं से परिचित थे और 1984 में बाद की 25 भाषाओं पर एक बहुभाषी वाक्यांश पुस्तक प्रकाशित की, जिसमें "बर्मी, कोरियाई, जापानी, फिजियन और ताहिती" शामिल थे। एक शास्त्रीय संगीत प्रेमी, जो पियानो बजाता था, हैम्बलिन संगीत के लिए विट्गेंस्टीन के शब्दों को सेट कर रहा था, जब वह एक ऐसी पीड़ा के साथ अस्पताल में भर्ती था जो घातक साबित हुई। उनका विवाह रीता हैम्बलिन से हुआ था। उनकी दो बेटियाँ थीं, फियोना कैथरीन और जूली क्लेयर। 14 मई 1985 को डार्लिंग पॉइंट, न्यू साउथ वेल्स में उनका निधन हो गया। प्रकाशन मोनोग्राफ गलतियाँ। मेथुएन लंदन 1970, और (पेपरबैक), वेल प्रेस के साथ 2004 का नया संस्करण, (पेपरबैक)-आज भी इस विषय पर एक मानक कार्य है। प्राथमिक औपचारिक तर्कः क्रमादेशित पाठ्यक्रम। लंदनः मेथुएन, 1967, इम्पेरेटिव्स। ब्लैकवेल ऑक्सफोर्ड 1987,। भाषा और सूचना का सिद्धांत। पीएचडी थीसिस, लॉजिक एंड साइंटिफिक मेथड प्रोग्राम, यूनिवर्सिटी ऑफ लंदन, लंदन, यूके। कार्ल पॉपर द्वारा पर्यवेक्षित, अक्टूबर 1956 में प्रस्तुत, 1957 में सम्मानित किया गया। एशिया और प्रशांत की भाषाः एक यात्रियों की वाक्यांश पुस्तिका। लंदनः एंगस एंड रॉबर्टसन पब्लिशर्स, 1984,। लेख "पोलिश नोटेशन से और अनुवाद"। द कंप्यूटर जर्नल 5/3, अक्टूबर 1962, पीपी। 210-213 "गणितीय संकेतन पर आधारित एक पता रहित कोडिंग योजना"। डब्ल्यू. आर. ई कम्प्यूटिंग पर सम्मेलनः कार्यवाही, सैलिसबरी, हथियार अनुसंधान प्रतिष्ठान 1957 "जॉर्ज, डी. ई. यू. सी. ई. के लिए एक पता रहित कोडिंग योजना"। कम्प्यूटेशन और स्वचालित नियंत्रण पर ऑस्ट्रेलियाई राष्ट्रीय समिति, प्रथम सम्मेलन की सारांशित कार्यवाही, पेपर सी 6.1,1960 "कंप्यूटर भाषाएँ"। द ऑस्ट्रेलियन जर्नल ऑफ साइंस 20, पी. 135-139। द ऑस्ट्रेलियन कंप्यूटर जर्नल 17/4, पीपी में पुनर्मुद्रित। 195-198 (नवंबर 1985) "मोंटेग्यू अंग्रेजी में प्रश्न"। भाषा की नींव, 1973,10:41-53। मोनोग्राफ, पेपर और लेखों की निम्नलिखित सूची 27 जुलाई 2008 को ऑनलाइन प्रकाशित "चार्ल्स एल. हैम्बलिनः कंप्यूटर पायनियर" में पीटर मैकबर्नी की सूची पर आधारित हैः सी. एल. हैम्बलिन [1957]: गणितीय संकेतन पर आधारित एक पता रहित कोडिंग योजना। कम्प्यूटिंग और डेटा प्रोसेसिंग पर पहले ऑस्ट्रेलियाई सम्मेलन की कार्यवाही, सैलिसबरी, दक्षिण ऑस्ट्रेलियाः हथियार अनुसंधान प्रतिष्ठान, जून 1957। सी. एल. हैम्बलिन [1957]: कंप्यूटर भाषाएँ। द ऑस्ट्रेलियन जर्नल ऑफ साइंस, 20:135-139। द ऑस्ट्रेलियन कंप्यूटर जर्नल में यहाँ पुनर्मुद्रित, 17 (4): 195-198 (नवंबर 1985)। सी. एल. हैम्बलिन [1957]: डब्ल्यू. आर. एशबी की समीक्षाः साइबरनेटिक्स का परिचय। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 35. सी. एल. हैम्बलिन [1958]: प्रश्न। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 36 (3): 159-168। सी. एल. हैम्बलिन [1958]: ए. एन. प्रायर द्वारा टाइम एंड मोडलिटी की समीक्षा। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 36:232-234। सी. एल. हैम्बलिन [1958]: आश्चर्य, नवाचार और संभावनाएँ। आश्चर्य पर ए. एन. यू. संगोष्ठी की कार्यवाही, कैनबरा, जुलाई 1958। सी. एल. हैम्बलिन [1958]: ए. आर. एंडरसन द्वारा मानक प्रणालियों का औपचारिक विश्लेषण की समीक्षा। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 36. सी. एल. हैम्बलिन [1958]: जॉर्ज प्रोग्रामिंग मैनुअल। दोहराए गए, 1958। संशोधित और विस्तारित, 1959। सी. एल. हैम्बलिन [1959]: द मॉडल "शायद"। माइंड, न्यू सीरीज़, 68:234-240। सी. एल. हैम्बलिन [1962]: पोलिश संकेतन से और अनुवाद। कंप्यूटर जर्नल, 5:210-213। सी. एल. हैम्बलिन [1963]: प्रश्न कथन नहीं हैं। विज्ञान का दर्शन, 30 (1): 62-63। आर. जे. गिलिंग्स और सी. एल. हैम्बलिन [1964]: यू. टी. ई. सी. ओ. एम. पर बेबीलोनियन पारस्परिक तालिकाएँ। प्रौद्योगिकी, 9 (2): 41-42, अगस्त 1964। एक विस्तारित संस्करण ऑस्ट्रेलियन जर्नल ऑफ साइंस, 27,1964 में प्रकाशित हुआ। सी. एल. हैम्बलिन [1964]: क्या संभावना की कोई नींव है? न्यू साउथ वेल्स की सांख्यिकीय सोसायटी की संभावना पर संगोष्ठी की कार्यवाही, मई 1964। साइंस ईयरबुक, यूनिवर्सिटी ऑफ न्यू साउथ वेल्स, सिडनी, 1964 में पुनः प्रस्तुत। सी. एल. हैम्बलिन [1964]: डी. हर्राह की समीक्षाः संचारः एक तार्किक मॉडल। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 42. सी. एल. हैम्बलिन [1964]: एन. डी. बेलनैप द्वारा प्रश्नों का विश्लेषण की समीक्षा। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 42. सी. एल. हैम्बलिन [1965]: समीक्षाः पी. अलेक्जेंडर द्वारा विज्ञान के तर्क की प्रस्तावना। द ब्रिटिश जर्नल फॉर द फिलॉसफी ऑफ साइंस, 15 (60): 360-362। सी. एल. हैम्बलिन [1966]: प्राथमिक औपचारिक तर्क, एक क्रमादेशित पाठ्यक्रम। (सिडनीः हिक्स स्मिथ)। मेथुएन द्वारा लंदन, यू. के., 1967 में पुनः प्रकाशित। जे. मैनरहेम द्वारा स्वीडिश में भी अनुवाद किया गया, शीर्षक के तहतः एलिमेंट "आर लॉजिक, इन प्रोग्रामर कुर्ज़। (स्टॉकहोमः लारोमेडेल्सफ ओरलेगन, 1970)। सी. एल. हैम्बलिन [1967]: एक-मूल्यवान तर्क। दार्शनिक त्रैमासिक, 17:38-45। सी. एल. हैम्बलिन [1967]: प्रश्न, तर्क। दर्शनशास्त्र का विश्वकोश। (न्यूयॉर्कः कोलियर मैकमिलन)। सी. एल. हैम्बलिन [1967]: बहुपद संचालन के लिए एक एल्गोरिथ्म। कंप्यूटर जर्नल, 10. सी. एल. हैम्बलिन [1967]: एल. एक्विस्ट द्वारा पूछताछ के तार्किक सिद्धांत के लिए नए दृष्टिकोण की समीक्षा। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 44. सी. एल. हैम्बलिन [1969]: शुरू और रुकना। द मॉनिस्ट, 53:410-425। सी. एल. हैम्बलिन [1970]: भ्रांतियाँ। लंदन, यू. के.: मेथुएन। सी. एल. हैम्बलिन [1970]: जब यह कहा जाता है उसका प्रभाव। थियोरिया, 36:249-264। सी. एल. हैम्बलिन [1971]: संवाद के गणितीय मॉडल। थियोरिया, 37:130-155। सी. एल. हैम्बलिन [1971]: क्षण और अंतराल। स्टडियम जेनरेल, 24:127-134। सी. एल. हैम्बलिन [1972]: आप और मैं। विश्लेषण, 33:1-4। सी. एल. हैम्बलिन [1972]: दुविधाएँ और नियमों का तर्क। जर्नल ऑफ फिलोसोफिकल लॉजिक, 1:74-85। सी. एल. हैम्बलिन [1973]: मोंटेग्यू अंग्रेजी में प्रश्न। भाषा की नींव, 10:41-53। सी. एल. हैम्बलिन [1973]: विधेय कलन का एक सम्मानित अंश। औपचारिक तर्क का नोट्रे डेम जर्नल। 14: 433-446। सी. एल. हैम्बलिन [1974]: लॉजिका डेल 'इनिज़िएरे और डेल सेसारे। सी. पिज्जी द्वारा एक अप्रकाशित लेख का इतालवी अनुवादः शुरू करने और रोकने का तर्क। पृष्ठ 295-317 मेंः सी. पिज्जी (संपादक): ला लॉजिका डेल टेंपो। तोरिनोः ब्रिंगियेरी। सी. एल. हैम्बलिन [1975]: क्रेसवेल के सहयोगी टी. एल. एम.। हम, 9 (2): 205-210। सी. एल. हैम्बलिन [1975]: सैचेरियन तर्क और तर्क का स्व-अनुप्रयोग। ऑस्ट्रेलेशियन जर्नल ऑफ फिलॉसफी, 53:157-160। सी. एल. हैम्बलिन [1976]: एक बेहतर "पोंस एसिनोरम"? जर्नल ऑफ द हिस्ट्री ऑफ फिलॉसफी, 14:131-136। सी. एल. हैम्बलिन [1984]: एशिया और प्रशांत की भाषाः यात्रियों और छात्रों के लिए एक वाक्यांश पुस्तिका। (नॉर्थ राइड, एनएसडब्ल्यूः एंगस और रॉबर्टसन)। सी. एल. हैम्बलिन [1987]: अनिवार्यताएँ। ऑक्सफोर्ड, यू. के.: बेसिल ब्लैकवेल। सी. एल. हैम्बलिन और पी. जे. स्टेन्स [1992]: शब्दांश का एक असाधारण रूप से सरल सिद्धांत। तर्क और विश्लेषण, 35:81। पेटेंट US2849706 "एक परिवर्तनीय मात्रा के परिमाण के लघुगणक के समानुपाती वोल्टेज प्राप्त करने के लिए इलेक्ट्रॉनिक सर्किट"। 3 फरवरी 1953 को लागू किया गया (ग्रेट ब्रिटेन में 4 फरवरी 1952 को लागू किया गया), 21 अगस्त 1958 को प्रदान किया गया। US3008640 "इलेक्ट्रिक कम्प्यूटिंग उपकरण"। 11 अक्टूबर 1954 को लागू किया गया (ग्रेट ब्रिटेन में 13 अक्टूबर 1953 को लागू किया गया), 14 नवंबर 1961 को स्वीकृत किया गया। सैम बुचार्ट, "क्रिटिकल थिंकिंग", इनः ग्राहम ओपी और एन. एन. ट्रैकाकिस, ए कम्पेनियन टू फिलॉसफी इन ऑस्ट्रेलिया एंड न्यूजीलैंड, मोनाश यूनिवर्सिटी पब्लिशिंग, 2010, पीपी। 145-146। एस. ए. ग्रेस, ए हिस्ट्री ऑफ फिलॉसफी इन ऑस्ट्रेलिया, सेंट लूसिया, क्यू. एल. डी., ऑस्ट्रेलियाः यूनिवर्सिटी ऑफ क्वींसलैंड प्रेस, 1984, अध्याय "लॉजिक एंड रिलेटेड एरियाज", पृष्ठ 183। इनफॉर्मल लॉजिक, 31 (4): 262-278 (2011) में जिम मैकेंजी, "व्हाट हैम्बलिन्स बुक फॉलसीज वाज़ अबाउट"। ग्रेग रेस्टल, "क्लासिकल लॉजिक", इनः ग्राहम ओपी और एन. एन. ट्रैकाकिस, ए कम्पेनियन टू फिलॉसफी इन ऑस्ट्रेलिया एंड न्यूजीलैंड, मोनाश यूनिवर्सिटी पब्लिशिंग, 2010, पीपी। 109-110। ग्राहम विलियम्स, "तर्क, गणित और भाषाओं का एक शर्मीला मिश्रण", द सिडनी मॉर्निंग हेराल्ड, 8 जून 1985, पृष्ठ 44 में और "तर्क, गणित और भाषाओं का एक शर्मीला मिश्रण" के रूप में पुनर्मुद्रित, द एज, 17 जून 198, पृष्ठ 15। बाहरी लिंक एलन, मर्रे डब्ल्यू. (1985), "चार्ल्स हैम्बलिन (1922-1985)", द ऑस्ट्रेलियन कंप्यूटर जर्नल, 17 (4): 194-195। चार्ल्स हैम्बलिन पर विशेष अंक, अनौपचारिक तर्क, खंड। 31, नं. 4 (2011)। मैकबर्नी, पीटर, ए सैल्यूट टू चार्ल्स हैम्बलिन, vukutu.com, 10 जनवरी 2011। मैकबर्नी, पीटर, चार्ल्स एल. हैम्बलिन, लिवरपूल विश्वविद्यालय में। वॉन फिंटेल, काई, चार्ल्स लियोनार्ड हैम्बलिन, 5 जुलाई 2013। फिलपेपर्स 1922 में सी. एल. हैम्बलिन की मृत्यु 1985 ऑस्ट्रेलियाई कंप्यूटर वैज्ञानिक औपचारिक तरीके लोग प्रोग्रामिंग भाषा डिजाइनर प्रोग्रामिंग भाषा शोधकर्ता ऑस्ट्रेलियाई तर्कशास्त्री 20 वीं शताब्दी के ऑस्ट्रेलियाई दार्शनिक न्यू साउथ वेल्स विश्वविद्यालय के शैक्षणिक कर्मचारी नॉर्थ सिडनी बॉयज़ हाई स्कूल में शिक्षित लोग