Andrzej Ehrenfeucht (ur. 8 sierpnia 1932 w Wilnie) – amerykański matematyk polskiego pochodzenia.
Życiorys W 1949 r. został laureatem pierwszej Olimpiady Matematycznej zorganizowanej z inicjatywy Polskiego Towarzystwa Matematycznego. W 1950 r. zdał egzaminy maturalne w I Państwowym Liceum i Gimnazjum im. Mikołaja Kopernika w ŁodziJan Kamiński (red.), Nasz Wiek. Gimnazjum i Liceum imienia Mikołaja Kopernika w Łodzi 1906-2006. Zarys historyczny. Wspomnienia., 2006, s. 493, .. Dyplom magisterski uzyskał na Uniwersytecie Warszawskim. Studia doktoranckie odbył w Instytucie Matematyki Polskiej Akademii Nauk.
Zięć Alfreda Tarskiego (poślubił jego córkę InęAnita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. , s. 239–242.). Znany m.in. z zaadapotowania idei Rolanda Fraïssé dotyczącej badania elementarnej równoważności modeli w języku teorii gier (gra Ehrenfeuchta–Fraïsségo)Wilfrid Hodges, „Elementary Predicate Logic”, [w:] Dov M. Gabbay and Franz Guenthner (red.) Handbook of Philosophical Logic, 2nd edition, Vol. 2, Springer, 2001. , s. 1–129. Por. zwłaszcza rozdz. 26 pt. „Back-and-Forth Equivalence”.. Popularyzator matematyki i informatyki wśród uczniów szkół średnich.
Dwóch jego uczniów Eugene Myers oraz David Haussler miało znaczący udział w projekcie badania genomu ludzkiego. Haussler i Myers razem z Haroldem Gabowem, Rossem McConnellem i Grzegorzem Rozenbergiem wygłosili odczyty na dwudniowym sympozium zorganizowanym z okazji 80. urodzin Ehrenfeuchta, które zostało zorganizowane przez University of Colorado w 2012.
Ehrenfeuchtowi poświęcono specjalne wydania dwóch czasopism. Z okazji jego 65. urodzin zrobiła to redakcja „Lecture Notes in Computer Science”Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (red.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science, Vol. 1261, Springer 1997, , spis treści i wstęp. Dostęp 2013-02-01., a z okazji 80. urodzin redakcja „Theoretical Computer Science”Grzegorz Rozenberg, Arto Salomaa (red.) Theoretical Computer Science.Formal and Natural Computing – Honoring the 80th Birthday of Andrzej Ehrenfeucht, Vol. 457, Elsevier B.V. 2012. spis treści i wstęp Dostęp 2013-02-01..
Przypisy
Bibliografia Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg. Computation in living cells: gene assembly in ciliates. Springer, 2004. . Chen Chung Chang, Andrzej Ehrenfeucht, „A Characterization of Abelian Groups”, Fundamenta Mathematicae, Vol. 51, No. 2, s. 141–147 (1962). Andrzej Ehrenfeucht, „An Application of Games to the Completness Problem for Formalized Theories”, Fundamenta Mathematicae, Vol. 49, No. 2, s. 129–141 (1960). Andrzej Ehrenfeucht, „On Theories Categorical in Power”, Fundamenta Mathematicae, Vol. 44, No. 2, s. 241–248 (1957). Andrzej Ehrenfeucht, Andrzej Mostowski, „Models of Axiomatic Theories Admitting Automorphisms”, Fundamenta Mathematicae, Vol. 43, No. 1, s. 50–68 (1956).
Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs. World Scientific, 1999. .
Linki zewnętrzne na stronach Uniwersytetu w Colorado
Andrzej Ehrenfeucht w Mathematics Genealogy Project
Kategoria:Absolwenci I Liceum Ogólnokształcącego im. Mikołaja Kopernika w Łodzi Kategoria:Amerykańscy matematycy XX wieku Kategoria:Amerykańscy matematycy XXI wieku Kategoria:Ludzie urodzeni w Wilnie Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Teoretycy gier Kategoria:Urodzeni w 1932