Difference between revisions of "Joseph Goguen"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
(Created page with "'''Joseph Amadee Goguen''' (28 June 1941 – 3 July 2006) was a U.S. computer scientist. He was professor of Computer Science at the University of California and Oxford Un...")
 
(No difference)

Latest revision as of 13:34, 31 August 2016

Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a U.S. computer scientist. He was professor of Computer Science at the University of California and Oxford University and held research positions at IBM and SRI International.

Biography

Goguen's work was one of the earliest approaches to the algebraic characterization of abstract data types and he originated and helped develop the OBJ family of programming languages.

He was author of A Categorical Manifesto and founder and Editor-in-Chief of the Journal of Consciousness Studies.

His development of institution theory impacted the field of universal logic.

Standard implication in product fuzzy logic is often called "Goguen implication".

"Goguen categories" are named after him.

See also

External links