Andrzej Ehrenfeucht

Andrzej Ehrenfeucht

Andrzej Ehrenfeucht (* 8. August 1932 in Vilnius) ist ein polnisch-US-amerikanischer Mathematiker und Informatiker (Mathematische Logik, Bioinformatik).

Inhaltsverzeichnis

Leben und Werk

Ehrenfeucht studierte Mathematik an der Universität Warschau und wurde am Institut für Mathematik der Polnischen Akademie der Wissenschaften bei Andrzej Mostowski promoviert[1][2]. Seit 1972 ist er an der University of Colorado at Boulder, wo er Professor für Informatik und Distinguished Professor der Universität ist.[3]

Ehrenfeucht befasste sich mit mathematischer Logik und Modelltheorie. Hier ist er für die Technik der Ehrenfeucht-Fraïssé-Spiele bekannt (mit dem Franzosen Roland Fraïssé aus dessen Dissertation 1950), die es erlaubt die Äquivalenz oder Nicht-Äquivalenz von Strukturen in der Modelltheorie zu zeigen.[4]

Nach Ehrenfeucht und Jan Mycielski ist die Ehrenfeucht-Mycielski Sequenz benannt, eine binäre Folge mit Pseudozufalls-Eigenschaften[5].

Er befasst sich später insbesondere mit Bioinformatik, insbesondere mit der Frage der Informationsverarbeitung in der lebenden Zelle, wobei er auf breiter interdisziplinärer Basis forscht. Außerdem befasst er sich mit der Mathematikpädagogik (kontinuierliche Fortbildung von Mathematiklehrern).[6]

2002 erhielt er den Faculty Research Award der Universität Colorado (College of Engineering and Applied Science) und 2005 den Boulder Faculty Assembly Award. Er ist Mitglied der Academia Europaea.

Zu seinen Doktoranden zählen die Bioinformatiker Eugene Myers und David Haussler.

Er ist mit der Tochter Ina Tarski von Alfred Tarski verheiratet.

Schriften

  • Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg Computation in living cells: gene assembly in ciliates, Springer, 2004, ISBN 3540407952
  • Patricia Baggett, Andrzej Ehrenfeucht Breaking Away from the Math Book: creative projects for grades K-6, ISBN 1566762995
  • Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs, World Scientific, 1999. ISBN 9810240422

Literatur

  • Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Herausgeber): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht, Lecture Notes in Computer Science, Band 1261, Springer Verlag 1997

Weblinks

Einzelnachweise

  1. ↑ Mathematics Genealogy Project
  2. ↑ 2008 war er Mitherausgeber eines Erinnerungsbandes an Mostowski: Andrzej Mostowski and Foundational Studies (Herausgeber A. Ehrenfeucht, V.W. Marek, M. Srebrny), IOS Press 2008
  3. ↑ Ernennung zum Distinguished Professor
  4. ↑ Ehrenfeucht An application of games to the completeness problem for formalized theories, Fundamenta Mathematicae, Band 49, 1961, S.129–141
  5. ↑ Ehrenfeucht, Mycielski A pseudorandom sequence: how random is it?, in American Mathematical Monthly, Band 99, 1992, S. 373 (in der von Richard K. Guy betreuten Sparte Unsolved Problems)
  6. ↑ Projekt Breaking away from the Mathbook

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Andrzej Ehrenfeucht — is a Polish American mathematician. He formulated the Ehrenfeucht Fraïssé game, using the back and forth method given by Roland Fraïssé in his thesis.Ehrenfeucht married Alfred Tarski s daughter. Ehrenfeucht is currently teaching at the… …   Wikipedia

  • Ehrenfeucht-Fraisse Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Ehrenfeucht-Fraïssé-Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Ehrenfeucht-Fraïssé-Spiele — (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als Formalismus zur Beschreibung von… …   Deutsch Wikipedia

  • Ehrenfeucht–Fraïssé game — In the mathematical discipline of model theory, the Ehrenfeucht Fraïssé game is a technique for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht Fraïssé games is in proving the inexpressibility… …   Wikipedia

  • Andrzej Mostowski — (* 1. November 1913 in Lwów (Lemberg); † 22. August 1975 in Vancouver) war ein polnischer Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werke (Auswahl Englischsprachiger Titel) …   Deutsch Wikipedia

  • Ajtai-Fagin-Spiele — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • EF-Spiel — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • EF-Spiele — Ehrenfeucht Fraïssé Spiele (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als… …   Deutsch Wikipedia

  • Lemme de l'étoile — En théorie des langages, le lemme de l étoile (ou encore lemme d itération, lemme de pompage, lemme de la pompe, pumping lemma en anglais) énonce une propriété typique de tout langage rationnel. Informellement, il stipule que tout mot… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”