stringtranslate.com

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

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

Среди его наиболее известных достижений в области компьютерных наук было введение обратной польской нотации [2] [3] и использование в 1957 году стека push-down pop . [4] Это предшествовало работе Фридриха Людвига Бауэра и Клауса Самельсона по использованию стека push-pop. [5] Стек был изобретен Аланом Тьюрингом в 1946 году, когда он представил такой стек в своей конструкции компьютера ACE. В философии Хэмблин известен своей книгой Fallacies , стандартной работой в области ложных заключений в логике. В формальной семантике Хэмблин известен своей вычислительной моделью дискурса , а также семантикой Хэмблина (или альтернативной семантикой), подходом к семантике вопросов.

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

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

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

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

Вторым прямым результатом его работы по разработке компиляторов стала концепция стека push-pop (ранее изобретенная Аланом М. Тьюрингом для ACE в 1945 году), которую Хэмблин разработал независимо от Фридриха Людвига Бауэра и Клауса Самельсона. В том же 1957 году Хэмблин представил свою концепцию стека на первой Австралийской компьютерной конференции. Компилятор работал до этой конференции. Работа Хэмблина повлияла на разработку компьютеров на основе стека, их машинных инструкций, их аргументов в стеке и ссылочных адресов. Проект был взят на вооружение компанией English Electric в их компьютере KDF9, поставленном в 1963 году.

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

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

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

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

Он умер в Дарлинг-Пойнте, Новый Южный Уэльс, 14 мая 1985 года.

Публикации

Монографии

Статьи

Упорядочено по дате заказа

Следующий список монографий, докладов и статей основан на списке Питера Макберни в книге «Чарльз Л. Хэмблин: Пионер компьютеров», опубликованной в сети 27 июля 2008 г.:

Патенты

Ссылки

  1. ↑ Джим Маккензи и Филип Стейнс, «Чарльз Леонард Хэмблин, 1922–1985», Australasian Journal of Philosophy , том 63, 1985, выпуск 3, стр. 384. Получено 31 июля 2022 г.
  2. ↑ Питер Макберни, «Посвящение австралийскому пионеру компьютерной науки», The Sydney Morning Herald , 25 ноября 2003 г. Получено 25 ноября 2003 г.
  3. ^ К середине 1970-х годов большинство ученых в западном мире использовали калькуляторы, основанные на логической системе обратной польской нотации, разработанной профессором Университета Нового Южного Уэльса Чарльзом Хэмблином, UNSW Newsroom, unsw.edu.au. Получено 31 июля 2022 г.
  4. ↑ CL Hamblin, «Схема безадресного кодирования на основе математической нотации», май 1957 г., Технологический университет Нового Южного Уэльса. (машинопись)
  5. ^ Бауэр, Ф. Л. и Самельсон, К., Последовательный перевод формул , Communications of the ACM 3(2): 76–83, 1960. Очень влиятельная статья для составителей.
  6. ^ Чарльз Леонард Хэмблин 1922-1985, ancestry.com. Получено 31 июля 2022 г.
  7. ^ ab «Салют Чарльзу Хэмблину». Австралийское общество компьютерных музеев.
  8. ^ Язык программирования ДЖОРДЖ - FOLDOC
  9. ^ Питер Эрстрём; Пер Ф. В. Хасле (1995). Временная логика: от древних идей до искусственного интеллекта . Springer. ISBN 978-0-7923-3586-3.стр. 176–178, 210, 304–309
  10. ^ «April Bookshelf (Angus & Robertson)», The Age , 7 апреля 1984 г., стр. 181.
  11. ↑ Джули Хэмблин, «Рита Хэмблин, голос ABC в мире мужчин», The Sydney Morning Herald , 29 ноября 2021 г. Получено 31 июля 2022 г.
  12. ↑ «Семейные уведомления», The Canberra Times , 16 мая 1985 г., стр. 21.

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

Внешние ссылки