Andrzej Ehrenfeucht

Andrzej Ehrenfeucht
Data i miejsce urodzenia

8 sierpnia 1932
Wilno, Polska

Zawód, zajęcie

matematyk

Narodowość

polska

Alma Mater

Uniwersytet Warszawski

Uczelnia

Uniwersytet Kolorado w Boulder

Małżeństwo

Ina Ehrenfeucht (z domu Tarski)

Strona internetowa

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 Ł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

  1. ↑ 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.
  2. ↑ Anita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. ISBN 0-521-80240-7, s. 239–242.
  3. ↑ 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”.
  4. ↑ 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.
  5. ↑ 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).
  • Patricia Baggett, Breaking Away from the Math Book: creative projects for grades K-6, Andrzej 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

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.