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

Чарльз Леонард Хэмблин
Рожденный	Чарльз Леонард Хэмблин ( 1922-11-20 ) 20 ноября 1922 г. Питершам, Новый Южный Уэльс , Новый Южный Уэльс
Умер	14 мая 1985 г. (14 мая 1985 г.) (62 года) Дарлинг-Пойнт, Новый Южный Уэльс , Новый Южный Уэльс , Австралия
Род занятий	Философ Логик Ученый-компьютерщик
Известный	Обратная польская запись

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

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

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

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

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

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

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

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

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

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

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

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

Публикации

Монографии

• Заблуждения . Метуэн Лондон 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 г.
• Языки Азии и Тихого океана: Разговорник для путешественников . Лондон: Издательство Angus & Robertson, 1984, ISBN   0-207-13628-9 .
• Лингвистика и части разума: или как построить машину, с которой стоит поговорить . Издательство Cambridge Scholars, Кембридж, 2017 г., ISBN   1-527-50292-9 под редакцией доктора Филиппа Стейнса.

Статьи

• «Перевод на польскую нотацию и обратно». Компьютерный журнал 5/3, октябрь 1962 г., стр. 210–213.
• «Схема безадресного кодирования, основанная на математической записи». Конференция WRE по вычислительной технике: материалы , Солсбери, Исследовательский институт оружия, 1957 г.
• «ДЖОРДЖ, схема безадресного кодирования для DEUCE». Австралийский национальный комитет по вычислениям и автоматическому управлению, Краткое изложение материалов первой конференции , документ C6.1, 1960 г.
• «Компьютерные языки». Австралийский научный журнал 20, стр. 135–139. Перепечатано в The Australian Computer Journal 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.
• CL Hamblin [1958]: Обзор книги «Время и модальность» А.Н. Прайора. Австралазийский философский журнал, 36: 232–234.
• К. Л. Хэмблин [1958]: Сюрпризы, инновации и вероятности. Материалы симпозиума ANU по сюрпризам, Канберра, июль 1958 г.
• К. Л. Хэмблин [1958]: Обзор: Формальный анализ нормативных систем А. Р. Андерсона. Австралазийский философский журнал, 36.
• К. Л. Хэмблин [1958]: Руководство по программированию ДЖОРДЖ. Дублировано, 1958 г. Переработано и дополнено, 1959 г.
• К. Л. Хэмблин [1959]: Модальное слово «вероятно». Разум, Новая серия, 68: 234–240.
• CL Hamblin [1962]: Перевод с польской нотации. Компьютерный журнал, 5: 210–213.
• К. Л. Хэмблин [1963]: Вопросы – это не утверждения. Философия науки, 30 (1): 62–63.
• Р. Дж. Гиллингс и К. Л. Хэмблин [1964]: Вавилонские обратные таблицы по UTECOM. Technology, 9 (2): 41–42, август 1964 г. Расширенная версия появилась в Australian Journal of Science, 27, 1964 г.
• К. Л. Хэмблин [1964]: Имеет ли вероятность какое-либо основание? Материалы симпозиума по теории вероятностей Статистического общества Нового Южного Уэльса, май 1964 г. Воспроизведено в Science Yearbook, Университет Нового Южного Уэльса, Сидней, 1964 г.
• К. Л. Хэмблин [1964]: Обзор книги «Коммуникация: логическая модель», Д. Харра. Австралазийский философский журнал, 42.
• К. Л. Хэмблин [1964]: Обзор: Анализ вопросов Н. Д. Белнапа. Австралазийский философский журнал, 42.
• К. Л. Хэмблин [1965]: Обзор: Предисловие к логике науки П. Александера. Британский журнал философии науки, 15 (60): 360–362.
• К. Л. Хэмблин [1966]: Элементарная формальная логика, программный курс. (Сидней: Хикс Смит). Переиздано Метуэном в Лондоне, Великобритания, 1967 г. Также переведено на шведский язык Дж. Маннергеймом под названием: Element'ar Logik, ein programad kurs. (Стокгольм: Laromedelsf'orlagen, 1970).
• К. Л. Хэмблин [1967]: Однозначная логика. Философский ежеквартальный журнал, 17: 38–45.
• К. Л. Хэмблин [1967]: Вопросы логики. Энциклопедия философии. (Нью-Йорк: Коллиер Макмиллан).
• К. Л. Хэмблин [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.
• CL Hamblin [1973]: Удачный фрагмент исчисления предикатов. Журнал формальной логики Нотр-Дама. 14: 433–446.
• К. Л. Хэмблин [1974]: Логика начала и прекращения. Итальянский перевод К. Пицци неопубликованной статьи: Логика запуска и остановки. Страницы 295–317 в: К. Пицци (редактор): Логика времени. Турин: Брингьери.
• К. Л. Хэмблин [1975]: коллега Кресвелла, TLM. Ноус, 9 (2): 205–210.
• К. Л. Хэмблин [1975]: Сакшерианские аргументы и самостоятельное применение логики. Австралазийский философский журнал, 53: 157–160.
• К. Л. Хэмблин [1976]: Улучшенный «Pons Asinorum»? Журнал истории философии, 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.
• С.А. Грейс, История философии в Австралии , Сент-Люсия, Квинсленд, Австралия: University of Queensland Press, 1984, глава «Логика и смежные области» , стр. 183.
• Джим Маккензи, «О чем были книжные заблуждения Хэмблина» , в: Informal Logic , 31 (4): 262-278 (2011).
• Грег Ресталл, «Классическая логика», в: в: Грэм Оппи и Н. Н. Тракакис, «Спутник философии в Австралии и Новой Зеландии» , Издательство Университета Монаша, 2010, стр. 109–110.
• Грэм Уильямс, «Застенчивая смесь логики, математики и языков» , в: The Sydney Morning Herald , 8 июня 1985 г., стр. 44 и перепечатано как «Застенчивая смесь логики, математики и языков» , The Age , 17 июня 198, стр. 15.

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

• Аллен, Мюррей В. (1985), «Чарльз Хэмблин (1922–1985)» , Австралийский компьютерный журнал , 17 (4): 194–195.
• Специальный выпуск о Чарльзе Хэмблине , Неформальная логика , Том. 31, № 4 (2011).
• Макберни, Питер, Приветствие Чарльзу Хэмблину , vukutu.com, 10 января 2011 г.
• Макберни, Питер, Чарльз Л. Хэмблин , Ливерпульский университет .
• Фон Финтель, Кай, Чарльз Леонард Хэмблин , 5 июля 2013 г.
• К. Л. Хэмблин в PhilPapers