From Wikipedia, the free encyclopedia
Joseph Amadee Goguen (28 June 1941 – 3 July
2006) was a computer science professor in the
Department of Computer Science and Engineering at the University of
California, San Diego, U.S., who helped develop the OBJ family of programming languages. He was
author of A Categorical Manifesto and Editor-in-Chief of
the Journal of Consciousness
Studies. Standard implication in product fuzzy logic
is often called "Goguen implication".
Goguen received his Bachelor's degree in mathematics from Harvard
University in 1963, and his PhD in mathematics from the University of
California, Berkeley, in 1968. From 1979 to 1988, he worked at
SRI
International in Menlo Park, California. From 1988 to
1996, he was a professor at the Oxford University
Computing Laboratory and a Fellow at St. Anne's
College, Oxford.
Goguen's research interests included category theory (a branch of mathematics), software
engineering, fuzzy
logic, algebraic semantics, user interface
design, algebraic semiotics, and the social and ethical aspects of science and
technology. He also studied the philosophy of computation and information,
formal methods
(especially hidden algebra and theorem proving),
relational and functional programming, and the
notion of institution in computer
science.
Goguen was a practitioner of Tibetan Buddhism; specifically, he was
a student of the late Chögyam Trungpa. During the late
seventies and early eighties, he was a faculty member of the
science program at Naropa Institute
in Boulder,
Colorado.
Bibliography
- 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., A Categorical Manifesto.
Mathematical Structures in Computer Science,
1(1):49–67, 1991.
- Goguen, J.A. (editor), Art and the Brain. Journal of Consciousness Studies,
6(6/7), June/July 1999.
See also
External
links
Wikis
Map
Search
