Joseph Amadee Goguen (, 28 de junho de 1941 – San Diego, 3 de julho de 2006) foi um cientista da computação americano. Ele era professor de Ciência da Computação na Universidade da Califórnia e na Universidade de Oxford e trabalhou como pesquisador na IBM e na SRI International.
O trabalho realizado por Goguen foi uma das aproximações mais precoces para a caracterização algébrica de tipos de dados abstratos e ele originou e ajudou a desenvolver a família OBJ das linguagens de programação.Bart Jacobs "A Bialgebraic Review of Regular Expressions,Deterministic Automata and Languages" in "Algebra, Meaning, and Computation" Springer 2006 pp 375V. S. Alagar "Specification of Software Systems" Springer 1999 pp 216 Ele foi autor da obra A Categorical Manifesto (Um Manifesto Categórico) e fundador Burstall R.: My friend Joseph Goguen. e editor-chefe do Journal Of Consciousness Studies (Jornal dos Estudos da Consciência). Seu desenvolvimento em teoria institucional impactou o campo da lógica universal.Razvan Diaconescu, "Three decades of institution theory" in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer pp 309-322T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?" Implicações padrões nos produtos da Lógica difusaHájek P.: Metamathematics of Fuzzy Logic. são chamadas de "Implicações de Goguen." "Categorias de Goguen" receberam esse nome em sua homenagem.Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126
Educação e carreira acadêmica Goguem recebeu da Universidade de Harvard o seu grau de bacharelado em matemática em 1963, e PhD em matemática da Universidade da Califórnia, Berkeley em 1968, onde ele foi aluno do fundador da Teoria de Conjuntos Difusos Lotfali Askar-Zadeh.Zadeh L.A.: Joseph Amadee Goguen (1941–2006)—A personal tribute.
Ensinou na UC Berkeley, na Universidade de Chicago e na Universidade da Califórnia, Los Angeles, onde foi professor de ciência da computação.Zadeh L.A.: Joseph Amadee Goguen (1941–2006)—A personal tribute.Goguen, J.A. "Memories of ADJ - Computer Science and Engineering" Bulletin of the European Association for Theoretical Computer Science, Number 36, October 1989 36:96-102Goguen, Joseph (October 23, 2005) Tomou parte na Sociedade de Pesquisadores nas Ciências Matemáticas no Centro de Pesquisas IBM Watson, onde organizou o grupo "ADJ".Goguen, J.A. "Memories of ADJ - Computer Science and Engineering" Bulletin of the European Association for Theoretical Computer Science, Number 36, October 1989 36:96-102 Ele também visitou a Universidade de Edimburgo na Escócia em três visitas de seu grupo.
De 1979 até 1988, Goguen trabalhou na SRI International no Parque Menlo, Califórnia. De 1988 até 1996, foi professor no Laboratório de Computação da Universidade de Oxford (atualmente conhecido como o Departamento de Ciência da Computação da Universidade de Oxford) na Inglaterra e como Fellow no St Anne's College, em Oxford. Em 1996 ele se tornou professor de Ciência da Computação na Universidade da Califórnia, emSan Diego.
Áreas de pesquisa Os interesses de pesquisa de Goguen incluíam a Teoria das Categorias (um ramo da matemática), engenharia de software, lógica difusa, semântica algébrica, design de Interface do utilizador, semiótica algébrica, e os aspectos sociais e éticos da ciência e da tecnologia.
Lotfali Askar-Zadeh descreveu a aproximação de Goguen em 1968 da "Lógica de Conceitos Inexatos" como inspiradora para o campo da lógica difusa. Zadeh L.A.: Joseph Amadee Goguen (1941–2006)—A personal tribute.A dissertação feita por Goguen chamada "Categorias de conjuntos difusos"J. A. Goguen "Categories of fuzzy sets: applications of non-Cantorian set theory" PhD Thesis University of California, Berkeley, 1968 foi o seu primeiro trabalho a aplicar a Teoria das Categorias na Lógica difusa, e levou às "categorias de Goguen", denominadas em sua homenagem.Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126A pesquisa realizada por Goguen em 1970 foi uma das mais precoces aproximações na caracterização de Teoria dos autômatos.Bart Jacobs "A Bialgebraic Review of Regular Expressions,Deterministic Automata and Languages" in "Algebra, Meaning, and Computation" Springer 2006 pp 375 Seu estudo com Thatcher, Wagner e Wright (também nos anos 70) foi um dos primeiros trabalhos a formalizar a base algébrica para a abstração de dados.V. S. Alagar "Specification of Software Systems" Springer 1999 pp 216
No início da década de noventa, Goguen e Burstall desenvolveram a teoria da instituição.J. A. Goguen and R. M. Burstall, Institutions: Abstract Model Theory for Specification and Programming, Journal of the Association for Computing Machinery 39, pp. 95–146, 1992. Essa teoria impactou o desenvolvimetno da lógica universal e tornou-se um de seus aspectos mais estudados.Răzvan Diaconesc, "From Universal Logic to Computer Science, and Back" in Theoretical Aspects of Computing – ICTAC 2014, Lecture Notes in Computer Science 8687 pp 1-16 O termo "Goguenismo Carnapiano" é usado para se referir à aplicação de instituições à ontologias.Oliver Kutz, Till Mossakowski, Dominik Lücke "Carnap, Goguen, and the Hyperontologies" Logica Universalis 11/2010; 4(2):255-333
Goguen também estudou a filosofia da computação e informação, métodos formais (especialmente álgebra escondida e Prova automática de teoremas). Ele escreveu uma retrospectiva de seu trabalho e o seu contexto, Atirando Flores Algébricas na Grande Divisa (Tossing Algebraic Flowers Down the Great Divide).Goguen, J. A., Tossing Algebraic Flowers Down the Great Divide, University of California, San Diego, USA.
Visões pessoais Goguen era praticante do budismo tibetano. Especificamente, desde o início dos anos 70, ele era estudante de Chögyam Trungpa e, após a morte de Chögyam em 1986, de seu filho Sakyong Mipham. Já no fim dos anos 70, já na década de 80, ele foi um membro do corpo docente da programação científica no Instituto Naropa em Boulder, Colorado.
Livros Goguen, Joseph A., "Algebraic Semantics of Imperative Programs" MIT Press 1996 Goguen, Joseph A., Malcolm, Grant "Software Engineering with OBJ" Springer 2000 Kokichi Futatsugi et al. "Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen" Springer 2006
Publicações Selecionadas 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. Thatcher. "Initial algebra semantics". In Proceedings,Fifteenth Symposium on Switching and Automata Theory, pages 63{77. IEEE,1974. Goguen, J.A., J. Thatcher, and E. Wagner. "An initial algebra approach to the specication, correctness and implementation of abstract data types". In Raymond Yeh, editor, Current Trends in Programming Methodology, IV, pages 80–149. Prentice Hall, 1978. 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.
Ver também Lista de cientistas da computação
Referências
Ligações externas
Biographical information Publications Joseph Goguen's publications indexed by theDBLP Bibliography Server at theUniversity of Trier Algebra, Meaning, and Computation.A Festschrift in Honor of Joseph Goguen 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... Photograph
Categoria:Nascidos em 1941 Categoria:Mortos em 2006 Categoria:Professores da Universidade de Edimburgo Categoria:Budistas dos Estados Unidos Categoria:Cientistas da computação dos Estados Unidos Categoria:Alunos da Universidade Harvard Categoria:Alunos da Universidade da Califórnia em Berkeley Categoria:Professores da Universidade da Califórnia em Los Angeles Categoria:Professores da Universidade da Califórnia em San Diego Categoria:Pessoas da IBM