Andrzej Ehrenfeucht

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Andrzej Ehrenfeucht
Data i miejsce urodzenia 8 sierpnia 1932
Wilno, Polska
Data śmierci żyje
Zawód Matematyka
Narodowość Polsko-amerykańska
Alma Mater Uniwersytet Warszawski
Uczelnia University of Colorado at Boulder
Małżeństwo Ina Ehrenfeucht (z domu Tarski)
Commons Multimedia w Wikimedia Commons
Wikicytaty Andrzej Ehrenfeucht w Wikicytatach
Strona internetowa

Andrzej Ehrenfeucht (ur. 8 sierpnia 1932 w Wilnie) - amerykański matematyk polskiego pochodzenia. Zięć Alfreda Tarskiego (poślubił jego córkę Inę[1]). 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)[2]. 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 Rosenbergiem wygłosili odczyty na dwudniowym sympozium zorganizowanym z okazji 80. urodzin Ehrenfeuchta, które zostało zorganizowane przez Univeristy of Colorado w 2012r.

Ehrenfeuchtowi poświęcono specjalne wydania dwóch czasopism. Z okazji jego 65. urodzin zrobiła to redakcja Lecture Notes in Computer Science[3], a z okazji 80. urodzin redakcja Theoretical Computer Science[4].

Bibliografia[edytuj | edytuj kod]

Przypisy

  1. Anita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. ISBN 0-521-80240-7, ss. 239–242.
  2. 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, ss. 1-129. Por. zwłaszcza rozdz. 26 pt. "Back-and-Forth Equivalence"
  3. 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 01.02.2013
  4. 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 01.02.2013.

Linki zewnętrzne[edytuj | edytuj kod]