Quelltext der Seite Andrzej Ehrenfeucht

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

==Leben und Werk==

Ehrenfeucht studierte Mathematik an der [[Universität Warschau]] und wurde am Institut für Mathematik der [[Polnische Akademie der Wissenschaften|Polnischen Akademie der Wissenschaften]] bei [[Andrzej Mostowski]] promoviert.<ref>[http://genealogy.math.ndsu.nodak.edu/id.php?id=22604 Mathematics Genealogy Project]</ref><ref>2008 war er Mitherausgeber eines Erinnerungsbandes an Mostowski: ''Andrzej Mostowski and Foundational Studies'' (Herausgeber A. Ehrenfeucht, V.W. Marek, M. Srebrny), IOS Press 2008</ref> Seit 1972 ist er an der [[University of Colorado at Boulder]], wo er Professor für Informatik und ''Distinguished Professor'' der Universität ist.<ref>[http://www.cs.colorado.edu/department/news/ehrenfeuchtdp.html Ernennung zum Distinguished Professor]</ref>

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 [[Elementare Äquivalenz|Äquivalenz]] oder Nicht-Äquivalenz von Strukturen in der [[Modelltheorie]] zu zeigen.<ref>Ehrenfeucht ''An application of games to the completeness problem for formalized theories'', Fundamenta Mathematicae, Band 49, 1961, S.&nbsp;129–141.</ref>

Nach Ehrenfeucht und [[Jan Mycielski]] ist die Ehrenfeucht-Mycielski-Folge benannt, eine binäre Folge mit Pseudozufalls-Eigenschaften<ref>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'')</ref>.

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).<ref>[https://web.nmsu.edu/~pbaggett/ Projekt ''Breaking away from the Mathbook'']</ref>

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

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

Er ist mit Ina Tarski, der Tochter 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==
*[https://home.cs.colorado.edu/~andrzej/ Homepage] an der University of Colorado, Boulder
*[https://zbmath.org/authors/ehrenfeucht.andrzej Andrzej Ehrenfeucht] in der Datenbank [[zbMATH]]

==Einzelnachweise==
<references />

{{Normdaten|TYP=p|GND=1026953294|LCCN=n/95/119816|VIAF=7669240}}

{{SORTIERUNG:Ehrenfeucht, Andrzej}}
[[Kategorie:Informatiker]]
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (University of Colorado at Boulder)]]
[[Kategorie:Pole]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1932]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Ehrenfeucht, Andrzej
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=polnisch-US-amerikanischer Informatiker und Mathematiker
|GEBURTSDATUM=8. August 1932
|GEBURTSORT=[[Vilnius]]
|STERBEDATUM=
|STERBEORT=
}}