Joseph Goguen

Origem: Wikipédia, a enciclopédia livre.
Joseph Goguen
Joseph Goguen
Nascimento 28 de junho de 1941
Morte 3 de julho de 2006
San Diego
Cidadania Estados Unidos
Alma mater
Ocupação cientista de computação, engenheiro, professor universitário
Prêmios
Empregador(a) Universidade da Califórnia em Los Angeles, Universidade da Califórnia em San Diego, Universidade de Edimburgo, Naropa University, Universidade de Oxford, SRI International, IBM Research

Joseph Amadee Goguen ([onde?], 28 de junho de 1941San 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.[1][2] Ele foi autor da obra A Categorical Manifesto (Um Manifesto Categórico) e fundador [3] 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.[4][5] Implicações padrões nos produtos da Lógica difusa[6] são chamadas de "Implicações de Goguen." "Categorias de Goguen" receberam esse nome em sua homenagem.[7][8]

Educação e carreira acadêmica[editar | editar código-fonte]

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.[9]

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[9][10][11]. Tomou parte na Sociedade de Pesquisadores nas Ciências Matemáticas no Centro de Pesquisas IBM Watson, onde organizou o grupo "ADJ".[10] 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.[9]

Áreas de pesquisa[editar | editar código-fonte]

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[9]

A dissertação feita por Goguen chamada "Categorias de conjuntos difusos"[12] 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.[7][8]

A pesquisa realizada por Goguen em 1970 foi uma das mais precoces aproximações na caracterização de Teoria dos autômatos.[1] 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.[2]

No início da década de noventa, Goguen e Burstall desenvolveram a teoria da instituição.[13] Essa teoria impactou o desenvolvimetno da lógica universal e tornou-se um de seus aspectos mais estudados.[14] O termo "Goguenismo Carnapiano" é usado para se referir à aplicação de instituições à ontologias.[15]

Goguen também estudou a filosofia da computação e informação, métodos formais (especialmente álgebra escondidaProva 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).[16]

Visões pessoais[editar | editar código-fonte]

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[3]

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[editar | editar código-fonte]

  • Goguen, Joseph A., "Algebraic Semantics of Imperative Programs" ISBN 978-0262071727 MIT Press 1996
  • Goguen, Joseph A., Malcolm, Grant "Software Engineering with OBJ" ISBN 978-1441949653 Springer 2000
  • Kokichi Futatsugi et al. "Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen" ISBN 978-3540354628 Springer 2006

Publicações Selecionadas[editar | editar código-fonte]

  • 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[editar | editar código-fonte]

Referências

  1. a b Bart Jacobs "A Bialgebraic Review of Regular Expressions,Deterministic Automata and Languages" in "Algebra, Meaning, and Computation" ISBN 978-3540354628 Springer 2006 pp 375
  2. a b V. S. Alagar "Specification of Software Systems" ISBN 978-0387984308 Springer 1999 pp 216
  3. a b Burstall R.: My friend Joseph Goguen.
  4. Razvan Diaconescu, "Three decades of institution theory" in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 pp 309-322
  5. T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?"
  6. Hájek P.: Metamathematics of Fuzzy Logic.
  7. a b Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer ISBN 9781402061639
  8. a b Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126
  9. a b c d Zadeh L.A.: Joseph Amadee Goguen (1941–2006)—A personal tribute.
  10. a b 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
  11. Goguen, Joseph (October 23, 2005).
  12. J. A. Goguen "Categories of fuzzy sets: applications of non-Cantorian set theory" PhD Thesis University of California, Berkeley, 1968
  13. 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.
  14. 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
  15. Oliver Kutz, Till Mossakowski, Dominik Lücke "Carnap, Goguen, and the Hyperontologies" Logica Universalis 11/2010; 4(2):255-333
  16. Goguen, J. A., Tossing Algebraic Flowers Down the Great Divide, University of California, San Diego, USA.

Ligações externas[editar | editar código-fonte]