Кіріспе

Джозеф Амади Гоген (ағылш. Joseph Amadee Goguen; 28 маусым 1941 – 3 шілде 2006) – американдық компьютер ғалымы. Ол Калифорния университеті мен Оксфорд университетінде компьютер ғылымының профессоры болды, сондай-ақ IBM және SRI International ұйымдарында зерттеуші қызметтер атқарды. 1960 жылдары Лотфи Задемен бірге Гоген бұлыңғыр логиканы зерттеушілердің алғашқыларының бірі болды және бұлыңғыр жиын теориясына маңызды үлес қосты. Сондай-ақ ол "Жаңару зерттеулері журналының" бас редакторы болды. Оның институционалдық теорияны дамытуы жалпы логика саласына әсер етті. Көбейтінді бұлыңғыр логикасындағы стандартты импликация көбінесе "Гоген импликациясы" деп аталады. Гоген категориялары оның құрметіне аталған. Ол композитор, пианист және вокалист Риоко Амади Гогенге үйленген.

Жеке пікірлер

Гогонь тибет буддизмін ұстанатын. Атап айтқанда, 1970 жылдардың басынан бері Чогьям Трунгпаның шәкірті болды, ал 1987 жылы оның қайтысынан кейін оның ұлы Сакионг Мифамнан тәлім алды. 1970 жылдардың соңы мен 1980 жылдардың басында Колорадо штатының Боулдер қаласындағы Наропа институтының ғылым бағдарламасында оқытушы болып жұмыс істеді.

Таңдалған жарияланымдар

Гоген, Дж. А., "L fuzzy sets", Journal of Mathematical Analysis and Applications 18 (1): 145–174 (1967). Гоген, Дж. А., "Дұрыс емес ұғымдардың логикасы", Synthese 19 (3/4): 325–373 (1969). Гоген, Дж. А. және Дж. В. Тэтчер. "Initial algebra semantics", Proceedings, Fifteenth Symposium on Switching and Automata Theory, IEEE, 63–77 беттер (1974). Гоген, Дж. А., Дж. Тэтчер және Э. Вагнер. "Абстрактілі деректер түрлерін сипаттау, дұрыстығын тексеру және іске асыруға арналған бастапқы алгебралық тәсіл", Current Trends in Programming Methodology, vol. IV: Деректерді құрылымдау, Раймонд Т. Йе (ред.), Prentice Hall, 80–149 беттер (1978). Гоген, Дж. А., "Категориялық манифест", Mathematical Structures in Computer Science 1 (1): 49–67 (1991). Гоген, Дж. А. (ред.), "Өнер және ми", Journal of Consciousness Studies 6 (6/7) (1999).