User:LBehounek/Sandbox

From Wikipedia, the free encyclopedia

You have new messages (last change).

This is a personal sandbox for User:LBehounek.

This is a Wikipedia user page.

This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user this page belongs to may have no personal affiliation with any site other than Wikipedia itself. The original page is located at http://en.wikipedia.org/wiki/User:LBehounek/Sandbox.

A draft of an expansion of Joseph Goguen, based on the obituary by Lotfi Zadeh in Fuzzy Sets and Systems; only the main section included


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, USA, 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. 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 practicioner of Tibetan Buddhism and he actively participated in summer retreats at Naropa Institute in Boulder, Colorado.


  • Goguen J.A., "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18:145–174, 1967.
  • Goguen J.A., "The logic of inexact concepts". Synthese 19:325–373, 1969.
Retrieved from "http://en.wikipedia.org../../../l/b/e/User%7ELBehounek_Sandbox_03b6.html"