Гоген, Джозеф

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Джозеф Гоген

англ. Joseph Amadee Goguen
Файл:JosephGoguen.png
Джозеф Гоген в 2004 году
Имя при рождении
Джозеф Амади Гоген
Дата рождения
28 июня 1941 года
Дата смерти
3 июля 2006 года
Место смерти
Сан-Диего, Калифорния, США






Супруга
Рёко Амади Гоген


Джозеф Амади Гоген (англ. Joseph Amadee Goguen; [Нет даты!]) — американский учёный в области информатики. Известен как один из первых исследователей нечёткой логики и создатель семейства языков программирования OBJ.

В 1960-х годах вместе с Лотфи Заде Гоген был одним из первых исследователей нечёткой логики и внёс вклад в теорию нечётких множеств[1][2][3]. В 1970-х годах работа Гогена стала одним из первых подходов к алгебраической характеризации абстрактных типов данных. Он создал и помог разработать семейство языков программирования OBJ[4][5]. Гоген был автором A Categorical Manifesto, а также основателем и главным редактором Journal of Consciousness Studies. Его разработка теории институтов повлияла на область универсальной логики[6][7]. Стандартная импликация в произведении нечёткой логики часто называется «импликацией Гогена»[8]. В его честь названы категории Гогена[9][10].

Был женат на Рёко Амади Гоген, композиторе, пианистке и вокалистке[11].

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

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

Он преподавал в Калифорнийском университете в Беркли, Чикагском университете и Калифорнийском университете в Лос-Анджелесе, где был профессором информатики[2][12]. Гоген занимал должность научного сотрудника по математическим наукам в Исследовательском центре IBM имени Томаса Дж. Уотсона, где организовал группу «ADJ». Он также посещал Эдинбургский университет в Шотландии в качестве старшего приглашённого научного сотрудника.

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

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

Научные интересы Гогена включали теорию категорий (раздел математики), программную инженерию, нечёткую логику, алгебраическую семантику, дизайн пользовательского интерфейса, алгебраическую семиотику, а также социальные и этические аспекты науки и технологий. В предисловии к книге, посвящённой Гогену, Футацуги, Жуанно и Месегер отметили, что работа Гогена изменила представление о таких концепциях, как типы данных, языки программирования и спецификация программного обеспечения[13].

В обзоре работы Гогена по нечётким множествам Радим Белоглавек написал, что на ранних этапах развития нечётких систем Гоген внёс вклад, оказавший длительное влияние[1]. Лотфи Заде рассматривал подход Гогена 1968 года к «Логике неточных концепций» как основополагающий в области нечёткой логики[2]. Докторская диссертация Гогена «Категории нечётких множеств» стала первой работой, применившей теорию категорий к нечёткой логике, и привела к тому, что категории Гогена были названы в его честь[9][10].

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

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

Гоген также изучал философию вычислений и информации, формальные методы (особенно скрытую алгебру и доказательство теорем), а также реляционное и функциональное программирование. Он написал ретроспективу своей работы и её контекста Tossing Algebraic Flowers Down the Great Divide[15].

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

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

Примечания[править]

  1. ↑ 1,0 1,1 Radim Belohlavek "Goguen's contributions to fuzzy logic in retrospect" International Journal of General Systems. Volume 48, 2019 - Issue 8
  2. ↑ 2,0 2,1 2,2 2,3 2,4 2,5 Zadeh L.A., "Joseph Amadee Goguen (1941–2006): A personal tribute", Fuzzy Sets and Systems 158: 809–810 (2007). DOI:10.1016/j.fss.2007.01.001.
  3. ↑ Joseph A. Goguen, "The Logic of Inexact Concepts" Synthese, Vol. 19, No. 3/4 (Apr., 1969), pp. 325-373
  4. ↑ 4,0 4,1 Bart Jacobs, "A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages", in Algebra, Meaning, and Computation, Springer, pp. 375 (2006). ISBN 978-3540354628.
  5. ↑ 5,0 5,1 V. S. Alagar, "Specification of Software Systems", Springer, pp. 216 (1999). ISBN 978-0387984308.
  6. ↑ Razvan Diaconescu, "Three decades of institution theory", in Universal Logic: An Anthology, Jean-Yves Béziau (Ed.), Springer, pp. 309–322 (2012). ISBN 978-3-0346-0144-3.
  7. ↑ What is a logic?: In memoriam Joseph Goguen // Logica Universalis: Towards a General Theory of Logic. — 2nd. — Birkhäuser, Basel, 2007. — С. 113–133. — DOI:10.1007/978-3-7643-8354-1_7
  8. ↑ Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, sect. 2.1 (1998). ISBN 0-7923-5238-6.
  9. ↑ 9,0 9,1 Michael Winter, "Goguen Categories: A Categorical Approach to L-fuzzy Relations", Springer (2007). ISBN 9781402061639.
  10. ↑ 10,0 10,1 Michael Winter, "Representation theory of Goguen categories", Fuzzy Sets and Systems 138 (1): 85–126 (2003).
  11. ↑ Brief Biography of Ryoko Amadee Goguen. University of California, San Diego (2005). Проверено 18 июня 2026.
  12. ↑ Joseph Goguen Brief Biography of Joseph Goguen. University of California, San Diego (October 23, 2005). Проверено 18 июня 2026.
  13. ↑ K. Futatsugi, J. Jouannaud, and J. Meseguer "Algebra, Meaning, and Computation" Springer, 2006, ISBN 978-3540354628, pp vii
  14. ↑ Oliver Kutz, Till Mossakowski, and Dominik Lücke, "Carnap, Goguen, and the Hyperontologies" Logica Universalis 4 (2): 255–333 (2010).
  15. ↑ Goguen, J. A., "Tossing Algebraic Flowers Down the Great Divide", University of California, San Diego.

Литература[править]

  • Goguen, Joseph A., Algebraic Semantics of Imperative Programs, MIT Press (1996). ISBN 978-0262071727.
  • Goguen, Joseph A., and Malcolm, Grant, Software Engineering with OBJ, Springer (2000). ISBN 978-1441949653.
  • Kokichi Futatsugi et al., Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen, Springer (2006). ISBN 978-3540354628.
  • Goguen, J.A., "L-fuzzy sets", Journal of Mathematical Analysis and Applications 18 (1): 145–174 (1967).
  • Goguen, J.A., "The logic of inexact concepts", Synthese 19 (3/4): 325–373 (1969).
  • Goguen, J.A. and J.W. Thatcher. "Initial algebra semantics", in Proceedings, Fifteenth Symposium on Switching and Automata Theory, IEEE, pages 63–77 (1974).
  • Goguen, J.A., J. Thatcher, and E. Wagner. "An initial algebra approach to the specification, correctness and implementation of abstract data types", in Current Trends in Programming Methodology, vol. IV: Data Structuring, Raymond T. Yeh (Ed.), Prentice Hall, pp. 80–149 (1978).
  • Goguen, J.A., "A Categorical Manifesto", Mathematical Structures in Computer Science 1 (1): 49–67 (1991).
  • Goguen, J.A. (Ed.), Art and the Brain, Journal of Consciousness Studies 6 (6/7) (1999).

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

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Гоген, Джозеф», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Гоген,_Джозеф

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Гоген,_Джозеф&oldid=2679939