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 '"ગાણિતિક સંકેત પર આધારિત એક સરનામું વિનાની કોડિંગ યોજના". W. R. E. કોમ્પ્યુટિંગ પર પરિષદઃ પ્રોસિડિંગ્સ, સેલિસબરી, વેપન્સ રિસર્ચ એસ્ટાબ્લિશમેન્ટ 1957 "જ્યોર્જ, ડ્યૂસ માટે એક એડ્રેસલેસ કોડિંગ સ્કીમ". ઓસ્ટ્રેલિયન નેશનલ કમિટી ઓન કમ્પ્યુટેશન એન્ડ ઓટોમેટિક કંટ્રોલ, સમરાઈઝ્ડ પ્રોસિડિંગ્સ ઓફ ફર્સ્ટ કોન્ફરન્સ, પેપર C 6.1,1960 "કમ્પ્યુટર લેંગ્વેજીઝ". ધ ઓસ્ટ્રેલિયન જર્નલ ઓફ સાયન્સ 20, પી. 135-139. ધ ઓસ્ટ્રેલિયન કમ્પ્યુટર જર્નલ 17/4 માં પુનઃમુદ્રિત, pp. 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 in: સી. પિઝી (સંપાદક): લા લોજિકા ડેલ ટેમ્પો. તોરિનોઃ બ્રિંગિયેરી. સી. એલ. હેમ્બલિન [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મી સદીના ઓસ્ટ્રેલિયન ફિલસૂફો યુનિવર્સિટી ઓફ ન્યૂ સાઉથ વેલ્સના શૈક્ષણિક સ્ટાફ લોકો નોર્થ સિડની બોય્ઝ હાઈ સ્કૂલમાં શિક્ષિત