Чарльз Леонард Хэмблин (1922 - 14 мая 1985) был австралийским философом, логиком и пионером компьютеров, а также профессором философии в Технологическом университете Нового Южного Уэльса (ныне Университет Нового Южного Уэльса ) в Сиднее .
Среди его самых известных достижений в области информатики было введение обратной польской нотации и использование в 1957 году всплывающего стека с раскрытием вниз . [1] Это предшествовало работе Фридриха Людвига Бауэра и Клауса Самельсона по использованию стека push-pop. [2] Стек был изобретен Аланом Тьюрингом в 1946 году, когда он представил такой стек в своей конструкции компьютера ACE. В философии Хэмблин известен своей книгой « Заблуждения» , стандартной работой в области логических ложных выводов. В формальной семантике Хэмблин известен своей вычислительной модельюдискурс, а также семантика Гамблина (или альтернативная семантика), подход к семантике вопросов.
Карьера и жизнь
Хэмблин учился в средней школе для мальчиков Северного Сиднея и в грамматике Джилонга . [3] Прерванные Второй мировой войной и радиолокационной службой в ВВС Австралии, Хэмблин изучал искусство (философия и математика), науку (физика) и степень магистра философии (с отличием первого класса) в Мельбурнском университете . В 1957 году он получил докторскую степень в Лондонской школе экономики по теме « Язык и теория информации» , очевидно, под руководством Карла Поппера , критикуя теорию информации Клода Шеннона с семантической точки зрения. [3] С 1955 года он был лектором в Технологическом университете Нового Южного Уэльса, а затем профессором философии в том же месте до своей смерти в 1985 году, когда организация была переименована в Университет Нового Южного Уэльса.
Во второй половине 1950-х годов Хэмблин работал с третьим компьютером, доступным в Австралии, компьютером DEUCE, произведенным English Electric Company . Для DEUCE он разработал один из первых языков программирования, позже названный GEORGE [4], который был основан на обратной польской нотации. Связанный с ним компилятор (языковой переводчик) перевел программы, сформулированные в GEORGE, на машинный язык компьютера в 1957 году.
Работа Хамблина считается первой, в которой использована обратная польская нотация, и именно поэтому его называют изобретателем этого метода представления. Независимо от того, изобрел ли Хамблин нотацию и ее использование независимо, он показал достоинства, услуги и преимущества обратного польского способа написания программ для обработки на программируемых компьютерах и алгоритмов, чтобы это произошло.
Вторым прямым результатом его работы над компиляторами была концепция стека push-pop (ранее изобретенная Аланом М. Тьюрингом для ACE в 1945 году), которую Хамблин разработал независимо от Фридриха Людвига Бауэра и Клауса Самельсона. В том же 1957 году Хэмблин представил свою концепцию стека на первой австралийской компьютерной конференции. Компилятор работал до этой конференции. Работа Хэмблина повлияла на разработку компьютеров на основе стека, их машинных инструкций, их аргументов в стеке и справочных адресов. Эту конструкцию подхватила компания English Electric в своем компьютере KDF9, поставленном в 1963 году.
В 1960-х Хэмблин снова все чаще обращался к философским вопросам. Он написал влиятельную вводную книгу по формальной логике, которая сегодня является стандартной работой по ошибкам . Он сосредоточился на обработке ложных выводов с помощью традиционной логики, привнес в эту обработку формальную диалектику и развил ее. Таким образом, Хэмблин считается одним из основоположников современной неформальной логики. [ необходима цитата ]
Хэмблин внес свой вклад в развитие современной темпоральной логики двумя способами. В самом начале он переписывался с Артуром Прайором между 1958 и 1965 годами; это сотрудничество привело к так называемым последствиям Гамблина . Позже, в 1972 году, Хэмблин независимо заново открыл форму исчисления длительности ( интервальную логику ), не зная о работе А.Г. Уокера 1947 года по этой теме, которого не интересовал аспект времени. Исчисление продолжительности Хэмблина очень похоже на вычисление, позднее разработанное Джеймсом Алленом и Патриком Дж. Хейсом в середине 1980-х годов. [5]
Хамблин был знаком с древнегреческим и несколькими азиатскими и тихоокеанскими языками и в 1984 году опубликовал многоязычный разговорник на 25 из них, включая «бирманский, корейский, японский, фиджийский и таитянский». [6] Любитель классической музыки, игравший на пианино, Хамблин вставлял слова Витгенштейна в музыку, когда был госпитализирован с недугом, который оказался фатальным.
Он был женат на Рите Хэмблин. У них было две дочери, Фиона Кэтрин и Джули Клэр. [7]
Работает
Монографии
- Заблуждения . Метуэн Лондон 1970, ISBN 0-416-14570-1 и ISBN 0-416-70070-5 (мягкая обложка), новое издание 2004 г. с Vale Press, ISBN 0-916475-24-7 (мягкая обложка) - даже сегодня стандартная работа по теме
- Элементарная формальная логика: программный курс . Метуэн Лондон 1967, ISBN 0-416-69820-4
- Императивы . Блэквелл Оксфорд 1987, ISBN 0-631-15193-1
- Язык и теория информации . Докторская диссертация по программе логики и научных методов, Лондонский университет , Лондон, Великобритания. Под руководством Карла Поппера , представлен в октябре 1956 г., награжден в 1957 г.
Влиятельные статьи
- Перевод в польскую систему обозначений и обратно . Компьютерный журнал 5/3, октябрь 1962 г., стр. 210–213.
- Схема безадресного кодирования, основанная на математической нотации . Конференция WRE по вычислениям, материалы, Солсбери: Учреждение по исследованиям оружия 1957 г.
- GEORGE, схема безадресного кодирования для DEUCE . Австралийский национальный комитет по вычислениям и автоматическому контролю, Обобщенные материалы первой конференции, документ C6.1, 1960
- Компьютерные языки . Австралийский журнал Science 20, стр. 135-139. Перепечатано в Австралийском компьютерном журнале 17/4, стр. 195–198 (ноябрь 1985 г.)
- CL Hamblin [1973]: Вопросы на английском языке Монтегю. Основы языка, 10: 41–53.
Патенты
- US2849706 «Электронные схемы для получения напряжения, пропорционального логарифму величины переменной величины». Подана 3 февраля 1953 г. (подана в Великобритании 4 февраля 1952 г.), предоставлена 21 августа 1958 г.
- US3008640 «Электро-вычислительная техника». Подана 11 октября 1954 г. (подана в Великобритании 13 октября 1953 г.), предоставлена 14 ноября 1961 г.
Публикации
Источники: [8]
- CL Hamblin [1957]: Схема безадресного кодирования, основанная на математической нотации. Труды Первой австралийской конференции по вычислениям и обработке данных, Солсбери, Южная Австралия: Учреждение по исследованиям оружия, июнь 1957 г.
- CL Hamblin [1957]: Компьютерные языки. Австралийский научный журнал, 20: 135–139. Перепечатано в Австралийском компьютерном журнале, 17 (4): 195–198 (ноябрь 1985 г.).
- CL Hamblin [1957]: Обзор: WR Ashby: Введение в кибернетику. Австралазийский журнал философии, 35.
- CL Hamblin [1958]: Вопросы. Австралазийский журнал философии, 36 (3): 159–168.
- CL Hamblin [1958]: Обзор: Time and Modality, by AN Prior. Австралазийский философский журнал, 36: 232–234.
- CL Hamblin [1958]: Сюрпризы, инновации и вероятности. Труды симпозиума ANU по неожиданности, Канберра, июль 1958 г.
- CL Hamblin [1958]: Обзор: «Формальный анализ нормативных систем» А. Р. Андерсона. Австралазийский журнал философии, 36.
- CL Hamblin [1958]: GEORGE Programming Manual. Дублирован, 1958. Переработан и дополнен, 1959 год.
- CL Hamblin [1959]: Модальное «вероятно». Mind, New Series, 68: 234–240.
- CL Hamblin [1962]: Перевод в польскую нотацию и обратно. Компьютерный журнал, 5: 210–213.
- CL Hamblin [1963]: Вопросы - это не утверждения. Философия науки, 30 (1): 62–63.
- RJ Gillings и CL Hamblin [1964]: Вавилонские взаимные таблицы на UTECOM. Technology, 9 (2): 41–42, август 1964 г. Расширенная версия появилась в Австралийском журнале науки, 27, 1964.
- CL Hamblin [1964]: Есть ли у вероятности какие-либо основания? Труды Симпозиума по вероятности статистического общества Нового Южного Уэльса, май 1964 г. Воспроизведено в Science Yearbook, University of New South Wales, Sydney, 1964.
- CL Hamblin [1964]: Обзор книги Д. Харра «Коммуникация: логическая модель». Австралазийский философский журнал, 42.
- CL Hamblin [1964]: Обзор: Анализ вопросов, Н. Д. Белнап. Австралазийский философский журнал, 42.
- CL Hamblin [1965]: Обзор книги П. Александера «Предисловие к логике науки». Британский журнал философии науки, 15 (60): 360–362.
- CL Hamblin [1966]: Элементарная формальная логика, программный курс. (Сидней: Хикс Смит). Переиздано Метуэном в Лондоне, Великобритания, 1967. Также переведено на шведский язык Дж. Маннергеймом под названием: Element "ar Logik, ein programmerad kurs." (Стокгольм: Laromedelsf "orlagen, 1970).
- CL Hamblin [1967]: Однозначная логика. Philosophical Quarterly, 17: 38–45.
- CL Hamblin [1967]: Вопросы, логика. Энциклопедия философии. (Нью-Йорк: Collier Macmillan).
- CL Hamblin [1967]: алгоритм для полиномиальных операций. Компьютерный журнал, 10.
- CL Hamblin [1967]: Обзор: Новые подходы к логической теории вопросительных слов, Л. Аквист. Австралазийский журнал философии, 44.
- CL Hamblin [1969]: Запуск и остановка. Монист, 53: 410–425.
- CL Hamblin [1970]: Заблуждения. Лондон, Великобритания: Метуэн.
- CL Hamblin [1970]: Эффект от того, когда это сказано. Теория, 36: 249–264.
- CL Hamblin [1971]: Математические модели диалога. Теория, 37: 130–155.
- CL Hamblin [1971]: Мгновения и интервалы. Studium Generale, 24: 127–134.
- CL Hamblin [1972]: You and I. Analysis, 33: 1–4.
- CL Hamblin [1972]: Трудности и логика правил. Журнал философской логики, 1: 74–85.
- CL Hamblin [1973]: Вопросы на английском языке Монтегю. Основы языка, 10: 41–53.
- CL Hamblin [1973]: Удачный фрагмент исчисления предикатов. Журнал формальной логики Нотр-Дам. 14: 433–446.
- CL Hamblin [1974]: La logica dell'iniziare e del cessare. Итальянский перевод неопубликованной статьи К. Пицци: Логика начала и остановки. Страницы 295–317 в: К. Пицци (Редактор): La Logica del Tempo. Турин: Брингьери.
- CL Hamblin [1975]: коллега Кресвелла, TLM. Ноус, 9 (2): 205–210.
- CL Hamblin [1975]: аргументы Саккера и самоприложение логики. Австралазийский философский журнал, 53: 157–160.
- CL Hamblin [1976]: Улучшенный "Pons Asinorum"? Журнал истории философии, 14: 131–136.
- CL Hamblin [1984]: Языки Азии и Тихого океана: Разговорник для путешественников и студентов. (Норт-Райд, Новый Южный Уэльс: Ангус и Робертсон).
- CL Hamblin [1987]: Императивы. Оксфорд, Великобритания: Бэзил Блэквелл.
- CL Hamblin и PJ Staines [1992]: Чрезвычайно простая теория силлогизма. Logique et Analyze, 35: 81.
Рекомендации
- ^ CL Hamblin, "Схема безадресного кодирования, основанная на математической нотации", май 1957 г., Технологический университет Нового Южного Уэльса. (машинопись)
- ^ Бауэр, Флорида, и Самельсон, К., Последовательный перевод формул , Сообщения ACM 3 (2): 76–83, 1960. Очень влиятельная статья для компиляторов
- ^ а б "Sulute Чарльзу Хэмблину" . Австралийское общество компьютерных музеев.
- ^ Язык программирования GEORGE - FOLDOC
- ^ Питер Эрстрём; Пер Ф.В. Хасле (1995). Временная логика: от древних идей до искусственного интеллекта . Springer. ISBN 978-0-7923-3586-3. С. 176–178, 210, 304–309
- ^ "Апрельская книжная полка (Ангус и Робертсон)", The Age , 7 апреля 1984 г., стр. 181.
- ^ "Family Notices" , The Canberra Times , 16 мая 1985 г., стр. 21.
- ↑ Питер МакБерни, «Чарльз Л. Хэмблин: пионер компьютеров» , 27 июля 2008 г.
дальнейшее чтение
- Грэхем Уильямс, «Робкая смесь логики, математики и языков», в: The Sydney Morning Herald , 8 июня 1985 г., стр. 44.
Внешние ссылки
- Аллен, Мюррей В. (1985), «Чарльз Хэмблин (1922–1985)» , Австралийский компьютерный журнал , 17 (4): 194–195.
- Специальный выпуск о Чарльзе Хэмблине , неформальная логика , т. 31, № 4 (2011).
- Макберни, Питер, Приветствие Чарльзу Хэмблину, vukutu.com, 10 января 2011 г.
- МакБерни, Питер, Чарльз Л. Хамблин , в Университете Ливерпуля .
- Фон Финтел, Кай, Чарльз Леонард Хэмблин , 5 июля 2013 г.
- CL Hamblin в PhilPapers