Joseph Goguen
Joseph A. Goguen | |
---|---|
Lotfi Zadeh |
Joseph Amadee Goguen (/ˈɡoʊɡən/ GOH-gən; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.
In the 1960s, along with
In the 1970s Goguen's work was one of the earliest approaches to the algebraic characterisation ofHe was married to Ryoko Amadee Goguen, who is a composer, pianist, and vocalist.[11]
Education and academic career
Goguen received his
He taught at
From 1979 to 1988, Goguen worked at SRI International in Menlo Park, California. From 1988 to 1996, he was a professor at the Oxford University Computing Laboratory (now the Department of Computer Science, University of Oxford) in England and a Fellow at St Anne's College, Oxford.[2] In 1996 he became professor of Computer Science at the University of California, San Diego.[2]
Research areas
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. In the preface to a book dedicated to Goguen, Futatsugi, Jouannaud and Meseguer stated that Goguen's work changed the way we think about concepts such as data types, programming languages and software specification.[14]
In a review of Goguen's work on fuzzy sets Radim Belohlavek wrote that In the early stages of the development of fuzzy systems, Goguen made profound contributions with lasting influence.[1]
Goguen's research in the 1970s was one of the earliest approaches to the characterisation of computational automata from a categorical perspective.[3] Goguen's research with Thatcher, Wagner and Wright (also in the 1970s) was one of the earliest works to formalise the algebraic basis for data abstraction.[4]
In the early 1990s Goguen and Rod Burstall developed the theory of institutions, a category-theoretic description of logical systems in computer science.[16] Institution theory impacted the development of universal logic and became one of its most studied aspects.[17] The term "Carnapian Goguenism" is used to refer to the application of institutions to ontologies.[18]
Goguen also studied the philosophy of computation and information,
Personal views
Goguen was a practitioner of
Books
- Goguen, Joseph A., Algebraic Semantics of Imperative Programs, ISBN 978-0262071727.
- Goguen, Joseph A., and Malcolm, Grant, Software Engineering with OBJ, ISBN 978-1441949653.
- Kokichi Futatsugi et al., Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen, ISBN 978-3540354628.
Selected publications
- 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).
See also
References
- ^ a b Radim Belohlavek "Goguen's contributions to fuzzy logic in retrospect" International Journal of General Systems. Volume 48, 2019 - Issue 8
- ^ .
- ^ ISBN 978-3540354628.
- ^ ISBN 978-0387984308.
- ^ a b c Burstall R., "My friend Joseph Goguen", in Goguen Festschrift, K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer, pp. 25–30 (2006).
- ISBN 978-3-0346-0144-3.
- ISBN 0-7923-5238-6.
- ^ ISBN 9781402061639.
- ^ a b Michael Winter, "Representation theory of Goguen categories", Fuzzy Sets and Systems 138 (1): 85–126 (2003).
- ^ Brief Biography of Ryoko Amadee Goguen, University of California, San Diego, 2005, retrieved January 30, 2021
- ^ . Retrieved June 15, 2021.
- ^ Joseph Goguen (October 23, 2005). "Brief Biography of Joseph Goguen". University of California, San Diego. Retrieved September 26, 2011.
- ^ K. Futatsugi, J. Jouannaud, and J. Meseguer "Algebra, Meaning, and Computation" Springer, 2006, ISBN 978-3540354628, pp vii
- ^ J. A. Goguen, "Categories of fuzzy sets: Applications of non-Cantorian set theory", PhD Thesis, University of California, Berkeley (1968).
- Journal of the ACM39: 95–146 (1992).
- ^ Răzvan Diaconesc, "From Universal Logic to Computer Science, and Back" in Theoretical Aspects of Computing (ICTAC '14), Lecture Notes in Computer Science 8687, Springer, pp. 1–16 (2014).
- ^ Oliver Kutz, Till Mossakowski, and Dominik Lücke, "Carnap, Goguen, and the Hyperontologies" Logica Universalis 4 (2): 255–333 (2010).
- ^ Goguen, J. A., "Tossing Algebraic Flowers Down the Great Divide", University of California, San Diego.