Joseph Amadee Goguen ( / ˈ ɡ oʊ ɡ ən / GOH -gən ; 28 de junio de 1941 - 3 de julio de 2006) fue un informático estadounidense . Fue profesor de Ciencias de la Computación en la Universidad de California y la Universidad de Oxford , y ocupó cargos de investigación en IBM y SRI International .
En la década de 1960, junto con Lotfi Zadeh , Goguen fue uno de los primeros investigadores en lógica difusa e hizo profundas contribuciones a la teoría de conjuntos difusos . [1] [2] En la década de 1970, el trabajo de Goguen fue uno de los primeros enfoques para la caracterización algebraica de tipos de datos abstractos y originó y ayudó a desarrollar la familia de lenguajes de programación OBJ . [3] [4] Fue autor de A Categorical Manifesto y fundador [5] y editor en jefe del Journal of Consciousness Studies . Su desarrollo de la teoría de la institución impactó el campo de la lógica universal . [6] [7] La implicación estándar en la lógica difusa de productos a menudo se llama "implicación de Goguen". [8] Las categorías de Goguen llevan su nombre. [9] [10]
Estuvo casado con Ryoko Amadee Goguen, quien es compositora, pianista y vocalista. [11]
Goguen recibió su licenciatura en matemáticas de la Universidad de Harvard en 1963, y su doctorado en matemáticas de la Universidad de California, Berkeley en 1968, donde fue alumno del fundador de la teoría de conjuntos difusos , Lotfi Zadeh . [2]
Enseñó en la Universidad de California en Berkeley , la Universidad de Chicago y la Universidad de California en Los Ángeles , donde fue profesor titular de informática . [2] [12] [13] Obtuvo una beca de investigación en ciencias matemáticas en el Centro de Investigación Watson de IBM , donde organizó el grupo "ADJ". [12] También visitó la Universidad de Edimburgo en Escocia en tres becas de visita sénior. [5]
De 1979 a 1988, Goguen trabajó en SRI International en Menlo Park , California. De 1988 a 1996, fue profesor en el Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación, Universidad de Oxford ) en Inglaterra y miembro del St Anne's College, Oxford . [2] En 1996 se convirtió en profesor de Ciencias de la Computación en la Universidad de California, San Diego . [2]
Los intereses de investigación de Goguen incluían la teoría de categorías (una rama de las matemáticas ), la ingeniería de software , la lógica difusa , la semántica algebraica , el diseño de interfaces de usuario , la semiótica algebraica y los aspectos sociales y éticos de la ciencia y la tecnología. En el prefacio de un libro dedicado a Goguen, Futatsugi, Jouannaud y Meseguer afirmaron que el trabajo de Goguen cambió la forma en que pensamos sobre conceptos como los tipos de datos, los lenguajes de programación y la especificación de software. [14]
En una reseña del trabajo de Goguen sobre los conjuntos difusos, Radim Belohlavek escribió que en las primeras etapas del desarrollo de los sistemas difusos, Goguen hizo contribuciones profundas con una influencia duradera. [1] Lotfi Zadeh consideró el enfoque de Goguen de 1968 sobre "La lógica de los conceptos inexactos" como seminal en el campo de la lógica difusa . [2] La disertación de doctorado de Goguen "Categorías de conjuntos difusos" [15] fue el primer trabajo en aplicar la teoría de categorías a la lógica difusa, y llevó a que las categorías de Goguen recibieran su nombre. [9] [10]
La investigación de Goguen en la década de 1970 fue uno de los primeros enfoques para la caracterización de autómatas computacionales desde una perspectiva categórica. [3] La investigación de Goguen con Thatcher, Wagner y Wright (también en la década de 1970) fue uno de los primeros trabajos en formalizar la base algebraica para la abstracción de datos. [4]
A principios de la década de 1990, Goguen y Rod Burstall desarrollaron la teoría de las instituciones , una descripción categorial de los sistemas lógicos en la ciencia informática. [16] La teoría de las instituciones impactó el desarrollo de la lógica universal y se convirtió en uno de sus aspectos más estudiados. [17] El término " goguenismo carnapiano " se utiliza para referirse a la aplicación de las instituciones a las ontologías. [18]
Goguen también estudió la filosofía de la computación y la información, los métodos formales (especialmente el álgebra oculta y la demostración de teoremas ) y la programación relacional y funcional . Escribió una retrospectiva de su trabajo y su contexto, Tossing Algebraic Flowers Down the Great Divide . [19]
Goguen fue un practicante del budismo tibetano . En concreto, desde principios de la década de 1970 fue alumno de Chögyam Trungpa y, tras la muerte de este en 1987, de su hijo Sakyong Mipham . [5] Durante finales de la década de 1970 y principios de la de 1980, fue miembro del profesorado del programa de ciencias del Instituto Naropa de Boulder (Colorado) .