Andrzej Ehrenfeucht
| Data i miejsce urodzenia | 8 sierpnia 1932 | ||
|---|---|---|---|
| Zawód, zajęcie | Matematyka | ||
| Narodowość | Polsko-amerykańska | ||
| Alma Mater | Uniwersytet Warszawski | ||
| Uczelnia | |||
| Małżeństwo | Ina Ehrenfeucht (z domu Tarski) | ||
| |||
| |||
| Strona internetowa | |||
Andrzej Ehrenfeucht (ur. 8 sierpnia 1932 w Wilnie) – amerykański matematyk polskiego pochodzenia.
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 Łodzi[1]. Dyplom magisterski uzyskał na Uniwersytecie Warszawskim. Studia doktoranckie odbył w Instytucie Matematyki Polskiej Akademii Nauk.
Zięć Alfreda Tarskiego (poślubił jego córkę Inę[2]). 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)[3]. 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”[4], a z okazji 80. urodzin redakcja „Theoretical Computer Science”[5].
Przypisy
- ↑ Jan Kamiński (red.), Nasz Wiek. Gimnazjum i Liceum imienia Mikołaja Kopernika w Łodzi 1906-2006. Zarys historyczny. Wspomnienia., 2006, s. 493, ISBN 83-908655-0-5.
- ↑ Anita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. ISBN 0-521-80240-7, s. 239–242.
- ↑ Wilfrid Hodges, „Elementary Predicate Logic”, [w:] Dov M. Gabbay and Franz Guenthner (red.) Handbook of Philosophical Logic, 2nd edition, Vol. 2, Springer, 2001. ISBN 978-0-7923-7126-7, s. 1–129. Por. zwłaszcza rozdz. 26 pt. „Back-and-Forth Equivalence”.
- ↑ 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, ISBN 3-540-63246-8, spis treści i wstęp. Dostęp 2013-02-01.
- ↑ 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.
Bibliografia
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg. Computation in living cells: gene assembly in ciliates. Springer, 2004. ISBN 3-540-40795-2.
- 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).
- PatriciaP. Baggett PatriciaP., Breaking Away from the Math Book: creative projects for grades K-6, AndrzejA. Ehrenfeucht, Lancaster, PA: Technomic Pub. Co, 1995, ISBN 1-56676-299-5, OCLC 33851862 .
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs. World Scientific, 1999. ISBN 981-02-4042-2.
Linki zewnętrzne
- strona prof. Ehrenfeuchta. cs.colorado.edu. [zarchiwizowane z tego adresu (2016-07-20)]. na stronach Uniwersytetu w Colorado
- strona projektu popularyzjącego matematykę „Breaking away from the mathbook”. math.nmsu.edu. [zarchiwizowane z tego adresu (2010-03-10)].
- Andrzej Ehrenfeucht w Mathematics Genealogy Project
Kontrola autorytatywna (osoba):
Identyfikatory zewnętrzne:
- identyfikator osoby w bazie „Ludzie nauki” (dawnej): 209465
