Хэмблин, Чарльз Леонард

Чарльз Леонард Хэмблин родился в Питершеме (штат Новый Южный Уэльс). Его родителями были Чарльз Освальд Хэмблин и Кэтрин Мэй Уайт. Он учился в Средней школе для мальчиков Северного Сиднея и Гимназии Джилонга. Обучение было прервано Второй мировой войной и службой в радарных войсках ВВС Австралии. Хэмблин изучал философию, математику и физику, а также получил степень магистра философии с отличием в Мельбурнском университете. В 1957 году он получил докторскую степень в Лондонской школе экономики по теме «Язык и теория информации» под руководством Карла Поппера, критикуя теорию информации Клода Шеннона с семантической точки зрения. С 1955 года он был преподавателем, а затем профессором философии в Технологическом университете Нового Южного Уэльса (ныне Университет Нового Южного Уэльса) в Сиднее^[5], где работал до своей смерти в 1985 году.

Во второй половине 1950-х годов Хэмблин работал с третьим компьютером, доступным в Австралии — DEUCE, произведённым компанией English Electric. Для DEUCE он разработал один из первых языков программирования, позже названный GEORGE (General Order Generator)^[6], который был основан на обратной польской записи^[7][8]. Его компилятор переводил программы на GEORGE в машинный язык DEUCE в 1957 году.

Работа Хэмблина считается первым использованием обратной польской записи, поэтому его называют изобретателем этого метода представления. Он продемонстрировал преимущества обратной польской записи для обработки на программируемых компьютерах.

Вторым результатом его работы с компиляторами стала концепция стека^[9], которую Хэмблин разработал независимо от Фридриха Людвига Бауэра и Клауса Замельсона^[10]. Стек был изобретён Аланом Тьюрингом в 1946 году для компьютера ACE. В 1957 году Хэмблин представил свою концепцию стека на первой Австралийской компьютерной конференции. Работа Хэмблина повлияла на развитие стековых компьютеров. Дизайн был использован компанией English Electric в компьютере KDF9, выпущенном в 1963 году.

В 1960-х годах Хэмблин всё больше обращался к философским вопросам. Он написал вводную книгу по формальной логике, которая сегодня является стандартным трудом по ошибкам. В ней рассматривалась обработка ложных выводов традиционной логикой и развивалась формальная диалектика. Хэмблин считается одним из основателей современной неформальной логики. В формальной семантике он известен своей вычислительной моделью дискурса и семантикой Хэмблина (или альтернативной семантикой) — подходом к семантике вопросов.

Хэмблин внёс вклад в развитие современной темпоральной логики. В ранний период он переписывался с Артуром Прайором (1958—1965); это сотрудничество привело к созданию так называемых импликаций Хэмблина. В 1972 году Хэмблин независимо переоткрыл форму исчисления длительности (интервальной логики), не зная о работе А. Г. Уокера 1947 года. Исчисление длительности Хэмблина очень похоже на то, которое позже разработали Джеймс Аллен и Патрик Хейс в середине 1980-х годов.

Хэмблин знал древнегреческий и несколько азиатских и тихоокеанских языков. В 1984 году он опубликовал многоязычный разговорник по 25 языкам, включая бирманский, корейский, японский, фиджийский и таитянский. Будучи любителем классической музыки и играя на фортепиано, Хэмблин положил слова Витгенштейна на музыку, находясь в больнице со смертельным заболеванием.

Он был женат на Рите Хэмблин^[11]. У них было две дочери: Фиона Кэтрин и Джули Клэр^[12].

Он умер в Дарлинг-Пойнте 14 мая 1985 года.