Joseph Goguen

Joseph Goguen

Joseph Amadee Goguen (28 June,19413 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". [http://www.elsevier.com/locate/issn/0022-247X "Journal of Mathematical Analysis and Applications"] 18(1):145–174, 1967.
* Goguen, J.A., "The logic of inexact concepts". [http://www.springerlink.com/content/1573-0964/ "Synthese"] 19(3/4):325–373, 1969.
* Goguen, J.A., [http://citeseer.ist.psu.edu/goguen91categorical.html A Categorical Manifesto] . "Mathematical Structures in Computer Science", 1(1):49–67, 1991.
* Goguen, J.A. (editor), Art and the Brain. " [http://www.imprint.co.uk/jcs.html Journal of Consciousness Studies] ", 6(6/7), June/July 1999.

ee also

* List of computer scientists

External links

* [http://www.cs.ucsd.edu/~goguen/ Home page]
* [http://www.cs.ucsd.edu/users/goguen/misc/shcv.html Biographical information]
* [http://www.cs.ucsd.edu/users/goguen/pubs/ Publications]
* [http://formal.cs.uiuc.edu/goguenFest/ Algebra, Meaning, and Computation. A Festschrift in Honor of Joseph Goguen]
* [http://www.imprint.co.uk/jcs_full_reviews.html#nature Reviews of the first issues of the Journal of Consciousness Studies] "...there is no other journal quite like it, and one day we shall, I think, look back to its appearance as a defining moment..."
* [http://cseclassic.ucsd.edu/~goguen/images/jgoguen.jpgPhoto]
* [http://www.cse.ucsd.edu/csepeople/other/goguenobit.html Obituary]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Joseph Gueguen — Naissance 2 mai 1741 Morlaix Décès 28 février 1825 (à 83 ans) Cocagne Nationalité Français puis britannique Pays de résidence …   Wikipédia en Français

  • Jean-Baptiste Goguen — Pour les articles homonymes, voir Goguen. Jean Baptiste Goguen est un marchand, un notaire et un homme politique canadien. Biographie Jean Baptiste Goguen est né le 13 novembre 1858 à Cocagne, au Nouveau Brunswick. Son père est Simon P …   Wikipédia en Français

  • Institution (computer science) — The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970 sin order to deal with the population explosion among the logical systems used in computer science . The notion tries to capture the essence of the… …   Wikipedia

  • Journal of Consciousness Studies — Infobox Journal title = Journal of Consciousness Studies editor = Valerie Gray Hardcastle discipline = Cognitive Science, Neurophysiology, Philosophy language = English abbreviation = JCS publisher = Imprint Academic country = United States… …   Wikipedia

  • Fuzzy set — Fuzzy sets are sets whose elements have degrees of membership. Fuzzy sets have been introduced by Lotfi A. Zadeh (1965) as an extension of the classical notion of set. [# L.A. Zadeh (1965) Fuzzy sets. Information and Control 8 (3) 338 353 …   Wikipedia

  • Institutional model theory — generalizes a large portion of first order model theory to an arbitrary logical system. The notion of logical system here is formalized as an institution. Institutions constitute a model oriented meta theory on logical systems similar to how the… …   Wikipedia

  • Fonction caractéristique (théorie des ensembles) — Cet article concerne les fonctions caractéristiques en théorie des ensembles. Pour les articles homonymes, voir Fonction caractéristique. Pour les fonctions indicatrices en analyse convexe, voir Fonction indicatrice (analyse convexe) …   Wikipédia en Français

  • 1941 — This article is about the year 1941. For other uses, see 1941 (disambiguation). Millennium: 2nd millennium Centuries: 19th century – 20th century – 21st century Decades: 1910s  1920s  1930s  – 1 …   Wikipedia

  • Miramichi (electoral district) — Miramichi New Brunswick electoral district Miramichi in relation to other New Brunswick federal electoral districts …   Wikipedia

  • Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”