Джозеф Гоген
Джозеф А. Гоген | |
|---|---|
 Жозеф Гоген в 2004 году | |
| Рожденный | 28 июня 1941 г. |
| Умер | 3 июля 2006 г. (65 лет) Сан-Диего, Калифорния , США |
| Национальность | Американский |
| Альма-матер | Гарвардский университет Калифорнийский университет, Беркли |
| Известный | Категории Гогена Формальная спецификация Алгебраическая семантика Категории Гогена OBJ. Семейство языков программирования Теория институтов / теория институциональных моделей сознания Исследования |
| Супруг | Рёко Амади Гоген |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Калифорнийский университет, Беркли Чикагский университет IBM Исследования Калифорнийский университет, Лос-Анджелес НИИ Международный Оксфордский университет Эдинбургский университет Калифорнийский университет, Сан-Диего |
| Докторантура | Лотфи Заде |
Джозеф Амади Гоген ( / ˈ ɡ oʊ ɡ ən / GOH -gən ; 28 июня 1941 — 3 июля 2006) — американский учёный-компьютерщик . Он был профессором компьютерных наук в Калифорнийском и Оксфордском университетах , а также занимал исследовательские должности в IBM и SRI International .
В 1960-х годах, наряду с Лютфи Заде , Гоген был одним из первых исследователей нечеткой логики и внес глубокий вклад в теорию нечетких множеств . [1] [2] В 1970-х годах работа Гогена была одним из первых подходов к алгебраической характеристике абстрактных типов данных , и он создал и помог разработать OBJ семейство языков программирования . [3] [4] Он был автором «Категорического манифеста» и основателем [5] и главный редактор журнала исследований сознания . Его развитие теории институтов повлияло на область универсальной логики . [6] [7] Стандартную импликацию в нечеткой логике продукта часто называют «импликацией Гогена». [8] Категории Гогена названы в его честь. [9] [10]
Он был женат на Рёко Амади Гоген, композиторе, пианистке и вокалистке. [11]
и академическая карьера Образование
Гоген получил степень бакалавра математики Калифорнийском в Гарвардском университете в 1963 году и докторскую степень по математике в университете в Беркли в 1968 году, где он был студентом основателя теории нечетких множеств Лютфи Заде . [2]
Он преподавал в Калифорнийском университете в Беркли , Чикагском университете и Калифорнийском университете в Лос-Анджелесе , где был профессором информатики . [2] [12] [13] Он провел исследовательскую стажировку в области математических наук в Исследовательском центре IBM Watson , где организовал группу «ADJ». [12] Он также посетил Эдинбургский университет в Шотландии в рамках трех стипендий для пожилых людей. [5]
С 1979 по 1988 год Гоген работал в SRI International в Менло-Парке , Калифорния. С 1988 по 1996 год он был профессором вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ) в Англии и научным сотрудником колледжа Святой Анны в Оксфорде . [2] В 1996 году он стал профессором компьютерных наук Калифорнийского университета в Сан-Диего . [2]
Области исследований [ править ]
Исследовательские интересы Гогена включали теорию категорий (раздел математики ), разработку программного обеспечения , нечеткую логику , алгебраическую семантику , дизайн пользовательского интерфейса , алгебраическую семиотику , а также социальные и этические аспекты науки и техники.В предисловии к книге, посвященной Гогену, Футацуги , Жуанно и Мезегер заявили, что работа Гогена изменила наше представление о таких понятиях, как типы данных,языки программирования и спецификация программного обеспечения. [14]
В обзоре работ Гогена о нечетких множествах Радим Белоглавек писал, чтоНа ранних стадиях разработки нечетких систем Гоген внес огромный вклад. длительное влияние. [1] Лотфи Заде считал подход Гогена 1968 года к «Логике неточных понятий» плодотворным в области нечеткой логики . [2] Кандидатская диссертация Гогена «Категории нечетких множеств». [15] была первой работой, применившей теорию категорий к нечеткой логике, и привела к тому, что категории Гогена были названы в его честь. [9] [10]
Исследования Гогена в 1970-х годах были одним из первых подходов к характеристике вычислительных автоматов с категориальной точки зрения. [3] Исследование Гогена с Тэтчер, Вагнером и Райтом (также в 1970-х годах) было одной из первых работ по формализации алгебраической основы абстракции данных. [4]
В начале 1990-х годов Гоген и Род Берстолл разработали теорию институтов — теоретико-категорное описание логических систем в информатике. [16] Теория институтов повлияла на развитие универсальной логики и стала одним из наиболее изучаемых ее аспектов. [17] Термин « карнаповский гогенизм» используется для обозначения применения институтов к онтологиям. [18]
Гоген также изучал философию вычислений и информации, формальные методы (особенно скрытую алгебру и доказательство теорем ), а также реляционное и функциональное программирование . Он написал ретроспективу своей работы и ее контекста « Бросая алгебраические цветы на великий водораздел» . [19]
Личные взгляды [ править ]
Гоген был практиком тибетского буддизма . В частности, с начала 1970-х годов он был учеником Чогьяма Трунгпы , а после его смерти в 1987 году — его сына Сакьонга Мипхама . [5] В конце 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).
- Гоген, Дж. А. и Дж. В. Тэтчер. «Семантика начальной алгебры», в Трудах, Пятнадцатый симпозиум по теории коммутации и автоматов , IEEE , страницы 63–77 (1974).
- Гоген, Дж. А., Дж. Тэтчер и Э. Вагнер. «Начальный алгебраический подход к спецификации, правильности и реализации абстрактных типов данных», в журнале « Текущие тенденции в методологии программирования» , том. IV: Структурирование данных, Раймонд Т. Йе (ред.), Prentice Hall , стр. 80–149 (1978).
- Гоген, Дж. А., «Категорический манифест», Математические структуры в информатике 1 (1): 49–67 (1991).
- Гоген, Дж. А. (ред.), Искусство и мозг , Журнал исследований сознания 6 (6/7) (1999).
См. также [ править ]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Радим Белоглавек «Вклад Гогена в нечеткую логику в ретроспективе» Международный журнал общих систем. Том 48, 2019 - Выпуск 8
- ^ Jump up to: Перейти обратно: а б с д и ж Заде Л.А., «Джозеф Амади Гоген (1941–2006): личная дань уважения», Fuzzy Sets and Systems 158 : 809–810 (2007). дои : 10.1016/j.fss.2007.01.001 .
- ^ Jump up to: Перейти обратно: а б Барт Джейкобс, «Биалгебраический обзор регулярных выражений, детерминированных автоматов и языков», в журнале «Алгебра, значение и вычисления» , Springer , стр. 375 (2006). ISBN 978-3540354628 .
- ^ Jump up to: Перейти обратно: а б В. С. Алагар, «Спецификация программных систем», Springer , стр. 216 (1999). ISBN 978-0387984308 .
- ^ Jump up to: Перейти обратно: а б с Берстолл Р., «Мой друг Джозеф Гоген», в Goguen Festschrift , К. Футацуги и др. (Ред.), Конспекты лекций по информатике 4060, Springer , стр. 25–30 (2006).
- ^ Разван Дьяконеску, «Три десятилетия теории институтов», в «Универсальной логике: антология» , Жан-Ив Безио (ред.), Springer , стр. 309–322 (2012). ISBN 978-3-0346-0144-3 .
- ^ Т. Моссаковски; Ж. А. Гоген; Р. Дьяконеску; А. Тарлецкий (2007), «Что такое логика?: В память о Жозефе Гогене», в Жан-Иве Безио (ред.), Logica Universalis: На пути к общей теории логики (2-е изд.), Биркхойзер, Базель, стр. . 113–133, номер телефона : 10.1007/978-3-7643-8354-1_7.
- ^ Гайек П., Метаматематика нечеткой логики , Клювер, Дордрехт, раздел. 2.1 (1998). ISBN 0-7923-5238-6 .
- ^ Jump up to: Перейти обратно: а б Майкл Винтер, «Категории Гогена: категориальный подход к L-нечетким отношениям», Springer (2007). ISBN 9781402061639 .
- ^ Jump up to: Перейти обратно: а б Майкл Винтер, «Теория представлений категорий Гогена», Нечеткие множества и системы 138 (1): 85–126 (2003).
- ^ Краткая биография Рёко Амади Гоген , Калифорнийский университет, Сан-Диего, 2005 г. , получено 30 января 2021 г.
- ^ Jump up to: Перейти обратно: а б Ж. А. Гоген (1993). «Воспоминания об А.Д.» . У Г. Розенберга; А. Саломаа (ред.). Современные тенденции в теоретической информатике: очерки и учебные пособия . Всемирная научная . дои : 10.1142/2085 . ISBN 978-981-02-1462-3 . Также Ж. А. Гоген. «Воспоминания об А.Д.» . Калифорнийский университет, Сан-Диего . Проверено 15 июня 2021 г.
- ^ Жозеф Гоген (23 октября 2005 г.). «Краткая биография Жозефа Гогена» . Калифорнийский университет, Сан-Диего . Проверено 26 сентября 2011 г.
- ^ К. Футацуги, Ж. Жуанно и Ж. Месегер «Алгебра, значение и вычисления» Springer, 2006, ISBN 978-3540354628, стр. vii
- ^ Дж. А. Гоген, «Категории нечетких множеств: приложения неканторовой теории множеств», докторская диссертация, Калифорнийский университет, Беркли (1968).
- ^ Дж. А. Гоген и Р. М. Берстолл, «Институты: абстрактная теория моделей для спецификации и программирования», Журнал ACM 39 : 95–146 (1992).
- ^ Рэзван Диаконеск, «От универсальной логики к информатике и обратно» в журнале «Теоретические аспекты вычислений» (ICTAC '14), Конспекты лекций по информатике 8687, Springer , стр. 1–16 (2014).
- ^ Оливер Куц, Тилль Моссаковски и Доминик Люке, «Карнап, Гоген и гиперонтологии» Logica Universalis 4 (2): 255–333 (2010).
- ^ Гоген, Дж. А., «Бросая алгебраические цветы вниз по Великому водоразделу» , Калифорнийский университет, Сан-Диего .
Внешние ссылки [ править ]
- Домашняя страница
- Биографические сведения
- Публикации
- Джозеф А. Гоген на DBLP библиографическом сервере
- Алгебра, смысл и вычисления. Фестиваль в честь Жозефа Гогена
- Рецензии на первые номера журнала Journal of Consciousness Studies
- Фотография
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1941 года рождения
- смертей в 2006 г.
- Выпускники Гарвардского колледжа
- Выпускники Калифорнийского университета в Беркли
- Американские ученые-компьютерщики
- Формальные методы люди
- Стипендиаты Колледжа Святой Анны, Оксфорд
- Редакторы американских академических журналов
- Калифорнийский университет, факультет Лос-Анджелеса
- Академики Эдинбургского университета
- Члены кафедры компьютерных наук Оксфордского университета
- Калифорнийский университет, факультет Сан-Диего
- Преподаватели Университета Наропы
- Члены IBM
- Американские буддисты