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)
	Multimedia w Wikimedia Commons
	Cytaty w Wikicytatach
	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

↑ 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

[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.

[1]

[2]

[3]

[4]

[5]