Joseph Amadee Goguen ( / ɡ oʊ ɡ ən / GOH -gən ; 28 junio 1941 a 3 julio 2006) fue un científico de la computación . 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 .
Joseph A. Goguen | |
---|---|
Nació | 28 de junio de 1941 |
Fallecido | 3 de julio de 2006 San Diego, California , EE. UU. | (65 años)
Nacionalidad | nosotros |
alma mater | Universidad de Harvard Universidad de California, Berkeley |
Conocido por | Categorías de Goguen Especificación formal Semántica algebraica Categorías de Goguen Familia OBJ de lenguajes de programación Teoría de la institución / teoría del modelo institucional Estudios de la conciencia |
Esposos) | Ryoko Amadee Goguen |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de California, Berkeley Universidad de Chicago IBM Research University of California, Los Ángeles SRI International University of Oxford University of California, San Diego |
Asesor de doctorado | Lotfi Zadeh |
El trabajo de Goguen fue uno de los primeros enfoques para la caracterización algebraica de tipos de datos abstractos y él originó y ayudó a desarrollar la familia OBJ de lenguajes de programación . [1] [2] Fue autor de A Categorical Manifesto y fundador [3] y editor en jefe del Journal of Consciousness Studies . Su desarrollo de la teoría institucional impactó el campo de la lógica universal . [4] [5] La implicación estándar en la lógica difusa del producto a menudo se denomina "implicación de Goguen". [6] Las categorías de Goguen llevan su nombre. [7] [8]
Estaba casado con Ryoko Amadee Goguen, quien es compositora, pianista y vocalista. [9]
Educación y carrera académica
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 . [10]
Enseñó en UC Berkeley , la Universidad de Chicago y la Universidad de California, Los Ángeles , donde fue profesor titular de informática . [10] [11] [12] Obtuvo una beca de investigación en ciencias matemáticas en el IBM Watson Research Center , donde organizó el grupo "ADJ". [11] También visitó la Universidad de Edimburgo en Escocia en tres becas para visitantes de alto nivel. [3]
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 de la Universidad de Oxford ) en Inglaterra y miembro del St Anne's College de Oxford . [10] En 1996 se convirtió en profesor de Ciencias de la Computación en la Universidad de California, San Diego . [10]
Áreas de investigación
Las investigaciones de Goguen incluyen la teoría de categorías (una rama de las matemáticas ), la ingeniería de software , lógica difusa , la semántica algebraicas , la interfaz de usuario de diseño, la semiótica algebraicas , y los sociales y éticas aspectos de la ciencia y la tecnología.
Lotfi Zadeh consideró el enfoque de Goguen de 1968 de "La lógica de los conceptos inexactos" como fundamental en el campo de la lógica difusa . [10] La disertación de doctorado de Goguen "Categorías de conjuntos difusos" [13] 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 llevaran su nombre. [7] [8]
La investigación de Goguen en la década de 1970 fue uno de los primeros enfoques para la caracterización de los autómatas computacionales desde una perspectiva categórica. [1] 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. [2]
A principios de la década de 1990, Goguen y Rod Burstall desarrollaron la teoría de las instituciones , una descripción de la teoría de categorías de los sistemas lógicos en la informática. [14] La teoría institucional impactó el desarrollo de la lógica universal y se convirtió en uno de sus aspectos más estudiados. [15] El término " goguenismo carnapiano" se utiliza para referirse a la aplicación de instituciones a ontologías. [dieciséis]
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, Lanzando flores algebraicas por la gran brecha . [17]
Vistas personales
Goguen era un practicante del budismo tibetano . En concreto, desde principios de la década de 1970 fue alumno de Chögyam Trungpa y, tras su muerte en 1986, de su hijo Sakyong Mipham . [3] Durante finales de la década de 1970 y principios de la de 1980, fue miembro de la facultad del programa de ciencias en el Instituto Naropa en Boulder, Colorado .
Libros
- Goguen, Joseph A., Semántica algebraica de programas imperativos , MIT Press (1996). ISBN 978-0262071727 .
- Goguen, Joseph A. y Malcolm, Grant, Ingeniería de software con OBJ , Springer (2000). ISBN 978-1441949653 .
- Kokichi Futatsugi et al., Álgebra, significado y computación: ensayos dedicados a Joseph A. Goguen , Springer (2006). ISBN 978-3540354628 .
Publicaciones Seleccionadas
- Goguen, JA, " L -conjuntos difusos", Journal of Mathematical Analysis and Applications 18 (1): 145-174 (1967).
- Goguen, JA, "La lógica de los conceptos inexactos", Synthese 19 (3/4): 325–373 (1969).
- Goguen, JA y JW Thatcher. "Semántica del álgebra inicial", en Actas, Decimoquinto Simposio sobre Teoría de la Conmutación y Autómatas , IEEE , páginas 63-77 (1974).
- Goguen, JA, J. Thatcher y E. Wagner. "Un enfoque de álgebra inicial para la especificación, corrección e implementación de tipos de datos abstractos", en Tendencias actuales en la metodología de programación , vol. IV: Estructuración de datos, Raymond T. Yeh (Ed.), Prentice Hall , págs. 80-149 (1978).
- Goguen, JA, "Un manifiesto categórico", Estructuras matemáticas en la informática 1 (1): 49–67 (1991).
- Goguen, JA (Ed.), El arte y el cerebro , Revista de estudios de la conciencia 6 (6/7) (1999).
Ver también
- Lista de informáticos
Referencias
- ^ a b Bart Jacobs, "Una revisión bialgebraica de expresiones regulares, autómatas deterministas y lenguajes", en Álgebra, significado y computación , Springer , págs. 375 (2006). ISBN 978-3540354628 .
- ^ a b V. S. Alagar, "Especificación de sistemas de software", Springer , págs. 216 (1999). ISBN 978-0387984308 .
- ^ a b c Burstall R., "Mi amigo Joseph Goguen", en Goguen Festschrift , K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer , págs. 25-30 (2006).
- ^ Razvan Diaconescu, "Tres décadas de teoría institucional", en Universal Logic: An Anthology , Jean-Yves Béziau (Ed.), Springer , págs. 309–322 (2012). ISBN 978-3-0346-0144-3 .
- ^ T. Mossakowski; JA Goguen; R. Diaconescu; A. Tarlecki (2007), "¿Qué es una lógica ?: In memoriam Joseph Goguen", en Jean-Yves Beziau (ed.), Logica Universalis: Towards a General Theory of Logic (2ª ed.), Birkhäuser, Basel, págs. 113-133, doi : 10.1007 / 978-3-7643-8354-1_7
- ^ Hájek P., Metamatemáticas de la lógica difusa , Kluwer, Dordrecht, secc. 2.1 (1998). ISBN 0-7923-5238-6 .
- ^ a b Michael Winter, "Categorías de Goguen: un enfoque categórico de las relaciones L-difusas", Springer (2007). ISBN 9781402061639 .
- ^ a b Michael Winter, "Teoría de representación de categorías de Goguen", Sistemas y conjuntos difusos 138 (1): 85-126 (2003).
- ^ Breve biografía de Ryoko Amadee Goguen , Universidad de California, San Diego, 2005 , consultado el 30 de enero de 2021
- ^ a b c d e Zadeh LA, "Joseph Amadee Goguen (1941-2006): un tributo personal", Fuzzy Sets and Systems 158 : 809-810 (2007). doi : 10.1016 / j.fss.2007.01.001 .
- ^ a b Goguen, JA, "Memories of ADJ: Computer Science and Engineering", Boletín de la Asociación Europea de Ciencias de la Computación Teórica 36 : 96-102 (1989).
- ^ Joseph Goguen (23 de octubre de 2005). "Breve biografía de Joseph Goguen" . Universidad de California, San Diego . Consultado el 26 de septiembre de 2011 .
- ^ JA Goguen, "Categorías de conjuntos difusos: aplicaciones de la teoría de conjuntos no cantoriana", Tesis doctoral, Universidad de California, Berkeley (1968).
- ^ JA Goguen y RM Burstall, "Instituciones: teoría de modelos abstractos para la especificación y programación", Revista del ACM 39 : 95-146 (1992).
- ^ Răzvan Diaconesc, "De la lógica universal a la informática yviceversa" en Aspectos teóricos de la informática (ICTAC '14), Lecture Notes in Computer Science 8687, Springer , págs. 1-16 (2014).
- ^ Oliver Kutz, Till Mossakowski y Dominik Lücke, "Carnap, Goguen y las hiperontologías" Logica Universalis 4 (2): 255–333 (2010).
- ^ Goguen, JA, "Arrojar flores algebraicas por la gran brecha" , Universidad de California, San Diego .
enlaces externos
- Página de inicio
- Información biográfica
- Publicaciones
- Joseph A. Goguen en el servidor de bibliografía DBLP
- Álgebra, significado y computación. Un Festschrift en honor de Joseph Goguen
- Reseñas de los primeros números del Journal of Consciousness Studies
- Fotografía