Чарльз Леонард Хэмблин - Charles Leonard Hamblin

Чарльз Леонард Хэмблин (1922 - 14 мая 1985 г.) Австралийский философ, логик и пионер компьютеров, а также профессор философии в Технологическом университете Нового Южного Уэльса (ныне Университет Нового Южного Уэльса ) в Сидней.

Среди его самых известных достижений в области Информатика было введение Обратная польская запись и использование в 1957 г. всплывающих окон куча.[1] Это предшествовало работе Фридрих Людвиг Бауэр и Клаус Самельсон при использовании стека push-pop.[2] Стек был изобретен Алан Тьюринг в 1946 году, когда он представил такой стек в своей конструкции компьютера ACE. Самым известным вкладом Хэмблина в философию является его книга Заблуждения, стандартная работа в области ложных выводов в логике.

Карьера и жизнь

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

Во второй половине 1950-х годов Хэмблин работал с третьим компьютером, доступным в Австралии, DEUCE компьютер производства Английская электрическая компания. Для 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.
  • Схема безадресного кодирования на основе математической записи. W.R.E. Конференция по вычислительной технике, труды, Солсбери: Учреждение по исследованиям оружия 1957 г.
  • GEORGE, схема безадресного кодирования для DEUCE. Австралийский национальный комитет по вычислениям и автоматическому контролю, Обобщенные материалы первой конференции, документ C6.1, 1960
  • Компьютерные языки. Австралийский журнал Science 20, стр. 135-139. Перепечатано в Австралийском компьютерном журнале 17/4, стр. 195–198 (ноябрь 1985 г.)
  • К. Л. Хэмблин [1973]: Вопросы на английском языке Монтегю. Основы языка, 10: 41–53.

Патенты

  • US2849706 «Электронные схемы для получения напряжения, пропорционального логарифму величины переменной величины». Подана 3 февраля 1953 г. (подана в Великобритании 4 февраля 1952 г.), предоставлена ​​21 августа 1958 г.
  • US3008640 «Электро вычислительный аппарат». Подана 11 октября 1954 г. (подана в Великобритании 13 октября 1953 г.), предоставлена ​​14 ноября 1961 г.

Публикации

Источники:[8]

  • К. Л. Хамблин [1957]: Схема безадресного кодирования, основанная на математической нотации. Труды Первой австралийской конференции по вычислениям и обработке данных, Солсбери, Южная Австралия: Учреждение по исследованиям оружия, июнь 1957 г.
  • К. Л. Хэмблин [1957]: Компьютерные языки. Австралийский научный журнал, 20: 135–139. Перепечатано в Австралийском компьютерном журнале, 17 (4): 195–198 (ноябрь 1985 г.).
  • К. Л. Хэмблин [1957]: Обзор: У. Р. Эшби: Введение в кибернетику. Австралазийский журнал философии, 35.
  • К. Л. Хэмблин [1958]: Вопросы. Австралазийский журнал философии, 36 (3): 159–168.
  • К. Л. Хэмблин [1958]: Обзор: Время и модальность, А. Н. Прайор. Австралазийский журнал философии, 36: 232–234.
  • К. Л. Хэмблин [1958]: Сюрпризы, нововведения и вероятности. Труды симпозиума ANU по неожиданности, Канберра, июль 1958 г.
  • К. Л. Хамблин [1958]: Обзор: «Формальный анализ нормативных систем» А. Р. Андерсона. Австралазийский журнал философии, 36.
  • К. Л. Хамблин [1958]: Руководство по программированию ДЖОРДЖ. Дублированный, 1958. Перераб. И доп., 1959.
  • К. Л. Хамблин [1959]: Модальное «вероятно». Mind, New Series, 68: 234–240.
  • К. Л. Хамблин [1962]: Перевод в польскую нотацию и обратно. Компьютерный журнал, 5: 210–213.
  • К. Л. Хэмблин [1963]: Вопросы - это не утверждения. Философия науки, 30 (1): 62–63.
  • Р. Дж. Гиллингс и К. Л. Хэмблин [1964]: Вавилонские взаимные таблицы на UTECOM. Technology, 9 (2): 41–42, август 1964 г. Расширенная версия появилась в Австралийском журнале науки, 27, 1964 г.
  • К. Л. Хэмблин [1964]: Есть ли у вероятности какие-то основания? Материалы Симпозиума по вероятности Статистического общества Нового Южного Уэльса, май 1964 г. Воспроизведено в Science Yearbook, University of New South Wales, Sydney, 1964.
  • К. Л. Хэмблин [1964]: Обзор книги Д. Харра «Коммуникация: логическая модель». Австралазийский журнал философии, 42.
  • К. Л. Хэмблин [1964]: Обзор: Анализ вопросов, Н. Д. Белнап. Австралазийский журнал философии, 42.
  • К. Л. Хамблин [1965]: Обзор книги П. Александера «Предисловие к логике науки». Британский журнал философии науки, 15 (60): 360–362.
  • К. Л. Хамблин [1966]: элементарная формальная логика, программный курс. (Сидней: Хикс Смит). Переиздано Метуэном в Лондоне, Великобритания, 1967. Также переведено на шведский язык Дж. Маннергеймом под названием: Element "ar Logik, ein programmerad kurs." (Стокгольм: Laromedelsf "orlagen, 1970).
  • К. Л. Хамблин [1967]: Однозначная логика. Philosophical Quarterly, 17: 38–45.
  • К. Л. Хамблин [1967]: вопросы, логика. Энциклопедия философии. (Нью-Йорк: Collier Macmillan).
  • К. Л. Хамблин [1967]: алгоритм для полиномиальных операций. Компьютерный журнал, 10.
  • К. Л. Хамблин [1967]: Обзор книги Л. Аквиста «Новые подходы к логической теории вопросительных». Австралазийский журнал философии, 44.
  • К. Л. Хамблин [1969]: Запуск и остановка. Монист, 53: 410–425.
  • К. Л. Хэмблин [1970]: Заблуждения. Лондон, Великобритания: Метуэн.
  • К. Л. Хэмблин [1970]: Эффект от того, когда это сказано. Теория, 36: 249–264.
  • К. Л. Хэмблин [1971]: Математические модели диалога. Теория, 37: 130–155.
  • К. Л. Хэмблин [1971]: Мгновения и интервалы. Studium Generale, 24: 127–134.
  • К. Л. Хэмблин [1972]: Вы и я. Анализ, 33: 1–4.
  • К. Л. Хэмблин [1972]: Трудности и логика правил. Журнал философской логики, 1: 74–85.
  • К. Л. Хэмблин [1973]: Вопросы на английском языке Монтегю. Основы языка, 10: 41–53.
  • К. Л. Хамблин [1973]: Удачный фрагмент исчисления предикатов. Журнал Нотр-Дам по формальной логике. 14: 433–446.
  • К. Л. Хамблин [1974]: La logica dell'iniziare e del cessare. Итальянский перевод неопубликованной статьи К. Пицци: Логика начала и остановки. Страницы 295–317 в: К. Пицци (Редактор): La Logica del Tempo. Турин: Брингьери.
  • К. Л. Хэмблин [1975]: коллега Кресвелла, TLM. Ноус, 9 (2): 205–210.
  • К. Л. Хамблин [1975]: аргументы Саккера и самоприложение логики. Австралазийский журнал философии, 53: 157–160.
  • К. Л. Хэмблин [1976]: Улучшенный "Pons Asinorum"? Журнал истории философии, 14: 131–136.
  • К. Л. Хамблин [1984]: Языки Азии и Тихого океана: Разговорник для путешественников и студентов. (Норт-Райд, Новый Южный Уэльс: Ангус и Робертсон).
  • К. Л. Хэмблин [1987]: Императивы. Оксфорд, Великобритания: Бэзил Блэквелл.
  • К. Л. Хамблин и П. Дж. Стейнс [1992]: необычайно простая теория силлогизма. Logique et Analyze, 35: 81.

Рекомендации

  1. ^ К. Л. Хамблин, "Схема безадресного кодирования, основанная на математической нотации", май 1957 г., N.S.W. Технологический университет. (машинопись)
  2. ^ Бауэр, Ф.Л., Самельсон, К., Последовательный перевод формул, Коммуникации ACM 3 (2): 76–83, 1960. Очень влиятельная статья для компиляторов.
  3. ^ а б "Сулит Чарльзу Хэмблину". Австралийское общество компьютерных музеев.
  4. ^ Язык программирования GEORGE – FOLDOC
  5. ^ Питер Эрстрём; Пер Ф. В. Хасле (1995). Временная логика: от древних идей до искусственного интеллекта. Springer. ISBN  978-0-7923-3586-3. С. 176–178, 210, 304–309
  6. ^ "Апрельская книжная полка (Ангус и Робертсон)", Возраст, 7 апреля 1984 г., стр. 181.
  7. ^ "Семейные уведомления", Канберра Таймс, 16 мая 1985 г., стр. 21.
  8. ^ Питер МакБерни, "Чарльз Л. Хэмблин: пионер компьютеров", 27 июля 2008 г.

дальнейшее чтение

  • Грэм Уильямс, «Робкая смесь логики, математики и языков», в: Sydney Morning Herald, 8 июня 1985 г., стр. 44.

внешняя ссылка