Hispanopedia Wiki
Articulo de referencia

Andrzej Ehrenfeucht

[[Eugene Myers]]"},"known_for":{"wt":"[[Ehrenfeucht–Fraïssé game]] [[Ehrenfeucht–Mycielski sequence]]"},"awards":{"wt":""}},"i":0}}]}"> Andrzej Ehrenfeucht ( en polaco: [ ˈand.ʐ...

Hispanopedia WikiContenido en espanolLectura gratuita

Andrzej Ehrenfeucht ( en 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, imparte clases e investiga en la Universidad, donde dirige un proyecto llamado "breaking away" junto con Patricia Baggett; este proyecto, que utiliza actividades prácticas, tiene como objetivo despertar 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 . Junto con Harold Gabow, Ross McConnell y Grzegorz Rozenberg , participaron en un simposio de dos días celebrado en 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 Ina Tarski, hija de Alfred 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 los libros 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 grafos , 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 los grupos abelianos" , Fundamenta Mathematicae , vol. 51, n.º 2, 1962, págs.  141-147.
  • Andrzej Ehrenfeucht, "Una aplicación de los juegos al problema de la completitud para teorías formalizadas" , Fundamenta Mathematicae , vol. 49, n.º 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.

Véase también

Referencias

  1. ↑ "Simposio del 80.º cumpleaños de Andrzej Ehrenfeucht, distinguido profesor de informática" . Universidad de Colorado Boulder . Archivado del 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. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8Páginas IX disponibles para descargar . 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)" . Theoretical Computer Science . 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.
  • Sitio web de Ehrenfeucht en la Universidad de Colorado
  • Ruptura 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 de Genealogía Matemática