Charles Leonard Hamblin
چارلس لیونارڈ ہیمبلن (20 نومبر 1922-14 مئی 1985) ایک آسٹریلوی فلسفی، منطق، اور کمپیوٹر کے علمبردار کے ساتھ ساتھ سڈنی میں نیو ساؤتھ ویلز یونیورسٹی آف ٹیکنالوجی (اب یونیورسٹی آف نیو ساؤتھ ویلز) میں فلسفہ کے پروفیسر تھے۔ کمپیوٹر سائنس کے شعبے میں ان کی سب سے مشہور کامیابیوں میں ریورس پولینڈ نوٹیشن کا تعارف اور 1957 میں پش ڈاؤن پاپ اپ اسٹیک کا استعمال تھا۔ اس سے پہلے فریڈرک لڈوگ باؤر اور کلاز سیملسن نے پش پاپ اسٹیک کے استعمال پر کام کیا۔ اسٹیک کو ایلن ٹورنگ نے 1946 میں ایجاد کیا تھا جب اس نے اپنے اے سی ای کمپیوٹر کے ڈیزائن میں اس طرح کا اسٹیک متعارف کرایا تھا۔ فلسفہ میں، ہیمبلن اپنی کتاب فالسیس کے لیے جانا جاتا ہے، جو منطق میں غلط نتائج کے شعبے میں ایک معیاری کام ہے۔ رسمی سیمنٹکس میں، ہیمبلن اپنے گفتگو کے کمپیوٹیشنل ماڈل کے ساتھ ساتھ ہیمبلن سیمنٹکس (یا متبادل سیمنٹکس) کے لیے جانا جاتا ہے، جو سوالات کے سیمنٹکس کے لیے ایک نقطہ نظر ہے۔ کیریئر اور زندگی ہیمبلن 20 نومبر 1922 کو پیٹرشم، نیو ساؤتھ ویلز میں پیدا ہوئے۔ اس کے والدین چارلس اوسوالڈ ہیمبلن اور کیتھرین مئی وائٹ تھے۔ انہوں نے نارتھ سڈنی بوائز ہائی اسکول اور گیلونگ گرامر میں تعلیم حاصل کی۔ دوسری جنگ عظیم اور آسٹریلیائی فضائیہ میں ریڈار سروس کی وجہ سے رکاوٹ بننے والے ہیمبلن کی تعلیم میں آرٹس (فلسفہ اور ریاضی)، سائنس (طبیعیات)، اور میلبورن یونیورسٹی میں فلسفہ میں ایم اے (فرسٹ کلاس آنرز) شامل تھے۔ انہوں نے 1957 میں لندن اسکول آف اکنامکس میں زبان اور تھیوری آف انفارمیشن کے موضوع پر ڈاکٹریٹ کی ڈگری حاصل کی، بظاہر کارل پوپر کے تحت، کلاڈ شینن کے انفارمیشن تھیوری کو سیمنٹک نقطہ نظر سے تنقید کا نشانہ بناتے ہوئے۔ 1955 سے وہ این ایس ڈبلیو میں لیکچرر تھے۔ یونیورسٹی آف ٹیکنالوجی، اور بعد میں اسی جگہ پر فلسفہ کے پروفیسر، 1985 میں ان کی موت تک، اس دوران تنظیم کا نام بدل کر یونیورسٹی آف نیو ساؤتھ ویلز رکھ دیا گیا تھا۔ 1950 کی دہائی کے دوسرے نصف میں، ہیمبلن نے آسٹریلیا میں دستیاب تیسرے کمپیوٹر کے ساتھ کام کیا، جو انگلش الیکٹرک کمپنی کے ذریعہ تیار کردہ ڈیوس کمپیوٹر تھا۔ ڈیوس کے لیے، اس نے پہلی پروگرامنگ زبانوں میں سے ایک ڈیزائن کی، جسے بعد میں جارج کہا گیا، جو ریورس پولینڈ کے نوٹیشن پر مبنی تھی۔ ان سے وابستہ مرتب (زبان کے مترجم) نے 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 "جارج، ڈی ای یو سی ای کے لیے ایک ایڈریس لیس کوڈنگ اسکیم"۔ آسٹریلیائی قومی کمیٹی برائے کمپیوٹیشن اینڈ آٹومیٹک کنٹرول، سمارائزڈ پروسیڈنگز آف فرسٹ کانفرنس، پیپر C6.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 ویں صدی کے آسٹریلیائی فلسفی یونیورسٹی آف نیو ساؤتھ ویلز کے تعلیمی عملہ لوگ نارتھ سڈنی بوائز ہائی اسکول میں تعلیم یافتہ تھے