Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Джозеф А. Гогуэн
JosephGoguen.png
Джозеф Гогуэн в 2004 году
Родившийся( 1941-06-28 )28 июня 1941 г.
Умер3 июля 2006 г. (2006-07-03)(65 лет)
Сан-Диего, Калифорния , США
Национальностьнас
Альма-матерГарвардский университет
Калифорнийского университета, Беркли
ИзвестенКатегории Гогена
Формальная спецификация
Алгебраическая семантика
Категории Гогена
OBJ Семейство языков программирования
Теория институтов / теория институциональных моделей Исследования
сознания
Супруг (а)Рёко Амади Гогуэн
Научная карьера
ПоляИнформатика
УчрежденияКалифорнийский
университет, Чикагский университет Беркли, Калифорнийский
исследовательский
университет IBM , Лос-Анджелес,
SRI, Международный
университет Оксфордского
университета, Калифорния, Сан-Диего
ДокторантЛотфи Заде

Джозеф Amadee Гоген ( / ɡ oʊ ɡ ən / ГОХ -gən ; 28 июня 1941 - 3 июля 2006) был американский ученый . Он был профессором компьютерных наук в Калифорнийском и Оксфордском университетах , а также занимал исследовательские должности в IBM и SRI International .

Работа Гогуэна была одним из самых ранних подходов к алгебраической характеристике абстрактных типов данных, он создал и помог разработать семейство языков программирования OBJ . [1] [2] Он был автором Категорического манифеста и основателем [3] и главным редактором журнала исследований сознания . Его развитие теории институтов повлияло на область универсальной логики . [4] [5] Стандартная импликация в нечеткой логике произведения часто называется «импликацией Гогена». [6] Категории Гогена названы в его честь. [7] [8]

Он был женат на Рёко Амади Гогуэн, композиторе, пианистке и вокалистке. [9]

Образование и академическая карьера [ править ]

Гоген получил его степень бакалавра в области математики из Гарвардского университета в 1963 году, и его доктор философии в области математики из Калифорнийского университета в Беркли в 1968 году, где он был учеником основателя теории нечетких множеств Лютфи Заде . [10]

Он преподавал в Калифорнийском университете в Беркли , Чикагском университете и Калифорнийском университете в Лос-Анджелесе , где был профессором компьютерных наук . [10] [11] [12] У него была стипендия по математическим наукам в исследовательском центре IBM Watson Research Center , где он организовал группу «ADJ». [11] Он также посетил Эдинбургский университет в Шотландии в рамках трех стипендий для старших приглашенных. [3]

С 1979 по 1988 год Гогуэн работал в SRI International в Менло-Парке , Калифорния. С 1988 по 1996 год он был профессором в вычислительной лаборатории Оксфордского университета (ныне факультет информатики Оксфордского университета ) в Англии и сотрудник в колледже Сент - Энн, Оксфорд . [10] В 1996 году он стал профессором компьютерных наук Калифорнийского университета в Сан-Диего . [10]

Области исследований [ править ]

Научные интересы Гогуэна включали теорию категорий (раздел математики ), разработку программного обеспечения , нечеткую логику , алгебраическую семантику , дизайн пользовательского интерфейса , алгебраическую семиотику , а также социальные и этические аспекты науки и технологий.

Лотфи Заде рассматривал подход Гогуэна 1968 года к «Логике неточных концепций» как основополагающий в области нечеткой логики . [10] Кандидатская диссертация Гогена «Категории нечетких множеств» [13] была первой работой, применившей теорию категорий к нечеткой логике, и привела к тому, что категории Гогуэна были названы в его честь. [7] [8]

Исследования Гогуэна 1970-х годов были одним из первых подходов к характеристике вычислительных автоматов с категориальной точки зрения. [1] Исследования Гогуэна с Тэтчер, Вагнером и Райтом (также в 1970-х годах) были одной из самых ранних работ по формализации алгебраической основы абстракции данных. [2]

В начале 1990-х Гогуэн и Род Берстолл разработали теорию институтов - теоретико-категориальное описание логических систем в информатике. [14] Теория институтов повлияла на развитие универсальной логики и стала одним из ее наиболее изученных аспектов. [15] Термин « карнапский гогенизм» используется для обозначения приложения институтов к онтологиям. [16]

Гогуэн также изучал философию вычислений и информации, формальные методы (особенно скрытую алгебру и доказательство теорем ), а также реляционное и функциональное программирование . Он написал ретроспективу своей работы и ее контекста, « Бросая алгебраические цветы вниз по великому водоразделу» . [17]

Личные взгляды [ править ]

Гогуэн был практикующим тибетского буддизма . В частности, с начала 1970-х годов он был учеником Чогьяма Трунгпы, а после его смерти в 1986 году - его сына Сакьонга Мипхама . [3] В конце 1970-х - начале 1980-х он был преподавателем научной программы в Институте Наропа в Боулдере, штат Колорадо .

Книги [ править ]

  • Гогуэн, Джозеф А., Алгебраическая семантика императивных программ , MIT Press (1996). ISBN  978-0262071727 .
  • Гогуэн, Джозеф А. и Малкольм, Грант, Разработка программного обеспечения с OBJ , Springer (2000). ISBN 978-1441949653 . 
  • Кокичи Футацуги и др., Алгебра, значение и вычисления: эссе, посвященные Джозефу А. Гогуэну , Springer (2006). ISBN 978-3540354628 . 

Избранные публикации [ править ]

  • Гогуэн, Дж. А., " L- нечеткие множества", Журнал математического анализа и приложений 18 (1): 145–174 (1967).
  • Гогуэн, Дж. А., "Логика неточных понятий", Synthese 19 (3/4): 325–373 (1969).
  • Гогуэн, Дж. А. и Дж. У. Тэтчер. «Начальная семантика алгебры», в Proceedings, Пятнадцатый симпозиум по теории переключений и автоматов , IEEE , страницы 63-77 (1974).
  • Гогуэн, Дж. А., Дж. Тэтчер и Э. Вагнер. «Начальный алгебраический подход к спецификации, правильности и реализации абстрактных типов данных», в Current Trends in Programming Methodology , vol. IV: Структурирование данных, Раймонд Т. Йе (ред.), Прентис Холл , стр. 80–149 (1978).
  • Гогуэн, Дж. А., «Категорический манифест», « Математические структуры в компьютерных науках» 1 (1): 49–67 (1991).
  • Гогуэн, Дж. А. (ред.), Искусство и мозг , Журнал исследований сознания 6 (6/7) (1999).

См. Также [ править ]

  • Список компьютерных ученых

Ссылки [ править ]

  1. ^ a b Барт Джейкобс, «Биалгебраический обзор регулярных выражений, детерминированных автоматов и языков», в « Алгебре, значении и вычислениях» , Springer , стр. 375 (2006). ISBN 978-3540354628 . 
  2. ^ a b В. С. Алагар, "Спецификация программных систем", Springer , стр. 216 (1999). ISBN 978-0387984308 . 
  3. ^ a b c Берстолл Р., «Мой друг Джозеф Гогуэн», в Goguen Festschrift , K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer , pp. 25–30 (2006).
  4. ↑ Разван Диаконеску, «Три десятилетия теории институтов», в Универсальной логике: антология , Жан-Ив Безио (ред.), Springer , стр. 309–322 (2012). ISBN 978-3-0346-0144-3 . 
  5. ^ Т. Мосаковски; Я.А. Гогуэн; Р. Диаконеску; A. Tarlecki (2007), «Что такое логика ?: In memoriam Joseph Goguen», в Жан-Иве Безиау (ред.), Logica Universalis: На пути к общей теории логики (2-е изд.), Birkhäuser, Базель, стр. . 113-133, DOI : 10.1007 / 978-3-7643-8354-1_7
  6. ^ Hájek P., Метаматематика нечеткой логики , Kluwer, Dordrecht, sect. 2.1 (1998). ISBN 0-7923-5238-6 . 
  7. ^ a b Майкл Винтер, "Категории Гогена: категориальный подход к L-нечетким отношениям", Springer (2007). ISBN 9781402061639 . 
  8. ^ a b Майкл Винтер, "Теория представлений категорий Гогена", Нечеткие множества и системы 138 (1): 85–126 (2003).
  9. ^ Краткая биография Ryoko Amadee Гоген , Университет Калифорнии, Сан - Диего, 2005 , извлеченной Январю +30, 2021
  10. ^ Б с д е Заде Л.А., "Джозеф Amadee Гоген (1941-2006): Личный дань", Fuzzy Sets и системы 158 : 809-810 (2007). DOI : 10.1016 / j.fss.2007.01.001 .
  11. ^ a b Goguen, JA, «Воспоминания об ADJ: информатика и инженерия», Бюллетень Европейской ассоциации теоретической информатики 36 : 96–102 (1989).
  12. ^ Джозеф Гоген (23 октября 2005). «Краткая биография Джозефа Гогуэна» . Калифорнийский университет в Сан-Диего . Проверено 26 сентября 2011 года .
  13. ^ JA Goguen, "Категории нечетких множеств: приложения неканторовской теории множеств", докторская диссертация, Калифорнийский университет, Беркли (1968).
  14. ^ JA Goguen и RM Burstall, "Учреждения: абстрактная теория моделей для спецификации и программирования", журнал ACM 39 : 95–146 (1992).
  15. ^ Рэзван Диаконеск, «От универсальной логики к информатике и обратно» в теоретических аспектах вычислений (ICTAC '14), конспект лекций по информатике 8687, Springer , стр. 1–16 (2014).
  16. ^ Оливер Куц, До Mossakowski и Dominik Люке "Карнапа, Гоген, и Hyperontologies" Logica Universalis 4 (2): 255-333 (2010).
  17. ^ Гоген, JA, «бросание Алгебраические Цветы Вниз Great Divide» , Университет Калифорнии, Сан - Диего .

Внешние ссылки [ править ]

  • Домашняя страница
  • Биографическая информация
  • Публикации
  • Джозеф А. Гогуэн на сервере библиографии DBLP
  • Алгебра, смысл и вычисления. Festschrift в честь Джозефа Гогуэна
  • Рецензии на первые выпуски журнала исследований сознания
  • Фотография