Andrzej Ehrenfeucht ( polaco: [ˈand.ʐɛj ˈɛrɛnfɔjxt] , nacido el 8 de agosto de 1932) es un matemático e informático polaco-estadounidense . Formuló el juego Ehrenfeucht-Fraïssé , utilizando el método de ida y vuelta dado por Roland Fraïssé en su tesis doctoral. La secuencia Ehrenfeucht-Mycielski también lleva su nombre.
Andrzej Ehrenfeucht | |
---|---|
Nació | |
Nacionalidad | Polaco americano |
alma mater | Universidad de Varsovia |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Colorado en Boulder |
Asesor de doctorado | Andrzej Mostowski |
Estudiantes de doctorado | David Haussler Eugene Myers Ross McConnell |
Ehrenfeucht se casó con la hija de Alfred Tarski , Ina Tarski. [1] En 1971 fue miembro fundador del Departamento de Ciencias de la Computación de la Universidad de Colorado . Ehrenfeucht actualmente enseña e investiga en la Universidad de Colorado, donde dirige el proyecto "ruptura" junto con Patricia Baggett. El proyecto tiene como objetivo aumentar el interés de los estudiantes de secundaria en las matemáticas y la tecnología con proyectos prácticos.
Dos de sus estudiantes, Eugene Myers y David Haussler , contribuyeron a la secuenciación del genoma humano . Haussler y Myers, junto con Harold Gabow, Ross McConnell y Grzegorz Rozenberg hablaron en un simposio de dos días en honor a su 80 cumpleaños, que se organizó en la Universidad de Colorado en 2012. [2]
Se han publicado dos números de revistas en su honor, uno en su 65º cumpleaños en Lecture Notes in Computer Science , [3] y otro en su 80º en Theoretical Computer Science . [4]
Bibliografía
Los libros de autoría o coautoría de Ehrenfeucht incluyen:
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott y Grzegorz Rozenberg. Computación en células vivas: ensamblaje de genes en ciliados. Springer, 2004. ISBN 3-540-40795-2
- Patricia Baggett y Andrzej Ehrenfeucht. Rompiendo con el libro de matemáticas: proyectos creativos para los grados K-6. ISBN 1-56676-299-5
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs. World Scientific, 1999. ISBN 981-02-4042-2
Los artículos de Ehrenfeucht publicados en Fundamenta Mathematicae . Acceso a través de Wirtualna Biblioteka Nauki .
- Chen Chung Chang , Andrzej Ehrenfeucht, "Una caracterización de los grupos abelianos" , Fundamenta Mathematicae 51, No. 2, ss. 141-147 (1962).
- Andrzej Ehrenfeucht, "Una aplicación de los juegos al problema de la completitud de las teorías formalizadas" , Fundamenta Mathematicae 49, No. 2, ss. 129-141 (1960).
- Andrzej Ehrenfeucht, "Sobre las teorías categóricas en el poder" , Fundamenta Mathematicae 44, No. 2, ss. 241 - 248 (1957).
- Andrzej Ehrenfeucht, Andrzej Mostowski , "Modelos de teorías axiomáticas que admiten automorfismos" , Fundamenta Mathematicae 43, No. 1, ss. 50-68 (1956).
Referencias
- ^ Anita B. Feferman y Solomon Feferman , Alfred Tarski: Vida y lógica , Cambridge University Press, 2004. ISBN 0-521-80240-7 , págs. 239–242.
- ^ "El Simposio del 80º aniversario de Andrzej Ehrenfeucht, Profesor Distinguido de Ciencias de la Computación" . Universidad de Colorado Boulder . Archivado desde el original el 4 de marzo de 2016 . Consultado el 19 de agosto de 2012 .
- ^ Jan Mycielski , Grzegorz Rozenberg, Arto Salomaa (Eds.): Estructuras en lógica y ciencias de la computación, una selección de ensayos en honor a Andrzej Ehrenfeucht. Notas de conferencias en Ciencias de la Computación 1261 Springer 1997, ISBN 3-540-63246-8 , páginas IX disponibles para descargar . Consultado el 29-04-2009
- ^ Rozenberg, G. (5 de octubre de 2012). "Computación formal y natural: en honor al 80 cumpleaños de Andrzej Ehrenfeucht (número especial)" . Informática Teórica . 457 : 1–180. doi : 10.1016 / j.tcs.2012.07.015 . Consultado el 14 de septiembre de 2012 .
enlaces externos
- Sitio web de Ehrenfeucht en la Universidad de Colorado
- Rompiendo con el sitio web de Mathbook
- Andrzej Ehrenfeucht en el servidor de bibliografía DBLP
- Andrzej Ehrenfeucht en el Proyecto de genealogía matemática