Andrzej Ehrenfeucht

Informático polaco-estadounidense

Andrzej Ehrenfeucht ( polaco: [ˈand.ʐɛj ˈɛrɛnfɔjxt] , nacido el 8 de agosto de 1932) es un matemático e 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, mediante actividades prácticas, tiene como objetivo aumentar el interés de los estudiantes de secundaria por las matemáticas y la tecnología.

Dos de los alumnos de Ehrenfeucht, Eugene Myers y David Haussler , contribuyeron a la secuenciación del genoma humano . Ellos, con Harold Gabow, Ross McConnell y Grzegorz Rozenberg , hablaron en un simposio de dos días de duración 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, 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, La teoría de las 2 estructuras: un marco para la descomposición y transformación de gráficos , World Scientific, 1999, ISBN 981-02-4042-2 

Documentos

(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 de teorías formalizadas", Fundamenta Mathematicae , vol. 49, núm. 2, 1960, págs. 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.

Ver también

• Lista de polacos – Matemáticas

Referencias

1. "El simposio del 80º cumpleaños de Andrzej Ehrenfeucht, profesor distinguido de informática". Universidad de Colorado 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 e informática, una selección de ensayos en honor a Andrzej Ehrenfeucht. Apuntes de conferencias sobre informática 1261 Springer 1997, ISBN 3-540-63246-8 , páginas IX disponibles para descargar. Consultado el 29-04-2009. 
3. 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 .
4. Anita B. Feferman y Solomon Feferman , Alfred Tarski: vida y lógica , Cambridge University Press, 2004. ISBN 0-521-80240-7 , págs. 

enlaces externos

• Sitio web de Ehrenfeucht en la Universidad de Colorado
• Rompiendo con el sitio web del libro 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 Genealogía de Matemáticas