АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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

Джозеф Амади Гоген (англ. Joseph Amadee Goguen; 28 июня 1941 — 3 июля 2006[2], Сан-Диего, Калифорния, США) — американский учёный в области информатики. Известен как один из первых исследователей нечёткой логики и создатель семейства языков программирования OBJ.

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

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

Общие сведения
Джозеф Гоген
англ. Joseph Amadee Goguen
Имя при рождении Джозеф Амади Гоген
Дата рождения 28 июня 1941(1941-06-28)
Дата смерти 3 июля 2006(2006-07-03) (65 лет)
Место смерти Сан-Диего, Калифорния, США
Страна
Образование
Род деятельности специалист в области информатики, инженер, преподаватель университета, математик
Супруга Рёко Амади Гоген

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

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

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

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

Области исследований

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

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

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

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

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

Личные взгляды

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

Примечания

  1. ↑ Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ https://web.archive.org/web/20060830004841/http://www.cse.ucsd.edu/csepeople/other/goguenobit.html
  3. ↑ 1 2 Radim Belohlavek "Goguen's contributions to fuzzy logic in retrospect" International Journal of General Systems. Volume 48, 2019 - Issue 8
  4. ↑ 1 2 3 4 5 6 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.
  5. ↑ Joseph A. Goguen, "The Logic of Inexact Concepts" Synthese, Vol. 19, No. 3/4 (Apr., 1969), pp. 325-373
  6. ↑ 1 2 Bart Jacobs, "A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages", in Algebra, Meaning, and Computation, Springer, pp. 375 (2006). ISBN 978-3540354628.
  7. ↑ 1 2 V. S. Alagar, "Specification of Software Systems", Springer, pp. 216 (1999). ISBN 978-0387984308.
  8. ↑ 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.
  9. ↑ 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.
  10. ↑ Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, sect. 2.1 (1998). ISBN 0-7923-5238-6.
  11. ↑ 1 2 Michael Winter, "Goguen Categories: A Categorical Approach to L-fuzzy Relations", Springer (2007). ISBN 9781402061639.
  12. ↑ 1 2 Michael Winter, "Representation theory of Goguen categories", Fuzzy Sets and Systems 138 (1): 85–126 (2003).
  13. ↑ Brief Biography of Ryoko Amadee Goguen. University of California, San Diego (2005). Дата обращения: 18 июня 2026.
  14. ↑ Joseph Goguen. Brief Biography of Joseph Goguen. University of California, San Diego (23 октября 2005). Дата обращения: 18 июня 2026.
  15. ↑ K. Futatsugi, J. Jouannaud, and J. Meseguer "Algebra, Meaning, and Computation" Springer, 2006, ISBN 978-3540354628, pp vii
  16. ↑ Oliver Kutz, Till Mossakowski, and Dominik Lücke, "Carnap, Goguen, and the Hyperontologies" Logica Universalis 4 (2): 255–333 (2010).
  17. ↑ 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).

Ссылки

Дополнительно по теме

Категории