Andrzej Ehrenfeucht (* 8. August 1932 in Vilnius) ist ein polnisch-US-amerikanischer Mathematiker und Informatiker. Er arbeitet hauptsächlich auf den Gebieten der mathematischen Logik und der Bioinformatik.

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-Folge 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 Ina Tarski, der Tochter von Alfred Tarski, verheiratet.

• 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

• 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

• Homepage an der University of Colorado, Boulder
• Andrzej Ehrenfeucht in der Datenbank zbMATH

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