Andrzej Ehrenfeucht

Científico informático polaco-estadounidense

Andrzej Ehrenfeucht ( en polaco: [ˈand.ʐɛj ˈɛrɛnfɔjxt] , nacido el 8 de agosto de 1932) es un matemático y científico informático polaco-estadounidense .

Vida

Andrzej Ehrenfeucht formuló el juego Ehrenfeucht-Fraïssé , utilizando el método de ida y vuelta expuesto en la tesis doctoral de Roland Fraïssé . También lleva el nombre de Ehrenfeucht la secuencia Ehrenfeucht-Mycielski .

En 1971, Ehrenfeucht fue miembro fundador del Departamento de Ciencias de la Computación de la Universidad de Colorado en Boulder . Actualmente enseña e investiga en la Universidad, donde dirige un proyecto, "Breaking Away", con Patricia Baggett; el proyecto, que utiliza actividades prácticas, tiene como objetivo aumentar el interés de los estudiantes de secundaria en las matemáticas y la tecnología .

Dos de los estudiantes de Ehrenfeucht, Eugene Myers y David Haussler , contribuyeron a la secuenciación del genoma humano . Junto con Harold Gabow, Ross McConnell y Grzegorz Rozenberg , hablaron en un simposio de dos días de la Universidad de Colorado en 2012 en honor al 80.º cumpleaños de Ehrenfeucht. ^[1]

Se han publicado dos números de revistas en su honor: uno en su 65.° cumpleaños, en Lecture Notes in Computer Science , ^[2] y otro en su 80.° cumpleaños, en Theoretical Computer Science . ^[3]

Vida privada

Ehrenfeucht se casó con la hija de Alfred Tarski , Ina Tarski. ^[4]

Bibliografía

Libros

• Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg, Computación en células vivas: ensamblaje de genes en ciliados , Springer, 2004, ISBN  3-540-40795-2
• Patricia Baggett, Andrzej Ehrenfeucht, Cómo romper con el libro de matemáticas: proyectos creativos para los grados K-6 , ISBN 1-56676-299-5 
• Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg, La teoría de 2 estructuras: un marco para la descomposición y transformación de gráficos , World Scientific, 1999, ISBN 981-02-4042-2 

Papeles

(accesible a través de Wirtualna Biblioteka Nauki)

• Chen Chung Chang , Andrzej Ehrenfeucht, "Una caracterización de grupos abelianos", Fundamenta Mathematicae , vol. 51, núm. 2, 1962, págs. 141-147.
• Andrzej Ehrenfeucht, "Una aplicación de juegos al problema de completitud para teorías formalizadas", Fundamenta Mathematicae , vol. 49, no. 2, 1960, pp. 129-141.
• Andrzej Ehrenfeucht, "Sobre las teorías categóricas del poder", Fundamenta Mathematicae , vol. 44, núm. 2, 1957, págs. 241-248.
• Andrzej Ehrenfeucht, Andrzej Mostowski , "Modelos de teorías axiomáticas que admiten automorfismos", Fundamenta Mathematicae , 1956, vol. 43, núm. 1, págs. 50-68.

Véase también

• Lista de polos – Matemáticas

Referencias

1. "Simposio por el 80 aniversario del nacimiento de Andrzej Ehrenfeucht, distinguido profesor de informática". Universidad de Colorado en Boulder . Archivado desde el original el 4 de marzo de 2016. Consultado el 19 de agosto de 2012 .
2. 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. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8 , páginas IX disponibles para descarga. Consultado el 29-04-2009 
3. Rozenberg, G. (5 de octubre de 2012). "Computación formal y natural: homenaje al 80.º cumpleaños de Andrzej Ehrenfeucht (número especial)". Ciencias de la computación teórica . 457 : 1–180. doi : 10.1016/j.tcs.2012.07.015 .
4. 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. 

Enlaces externos

• Sitio web de Ehrenfeucht en la Universidad de Colorado
• Rompiendo con el sitio web de libros de matemáticas Archivado el 10 de marzo de 2010 en Wayback Machine
• Andrzej Ehrenfeucht en el servidor de bibliografía DBLP
• Andrzej Ehrenfeucht en el Proyecto de Genealogía Matemática