Andrzej Ehrenfeucht: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
usunięto bezsensowny odnośnik |
|||
Linia 22:
'''Andrzej Ehrenfeucht''' (ur. [[8 sierpnia]] [[1932]] w [[Wilno|Wilnie]]) - amerykański matematyk polskiego pochodzenia. Zięć [[Alfred Tarski|Alfreda Tarskiego]] (poślubił jego córkę Inę<ref>Anita B. Feferman and Solomon Feferman, ''Alfred Tarski: Life and Logic'', Cambridge University Press, 2004. ISBN 0-521-80240-7, ss. 239–242.</ref>). Znany m.in. z zaadapotowania idei [[Roland Fraïssé|Rolanda Fraïssé]] dotyczącej badania elementarnej równoważności [[model (matematyka)|modeli]] w języku [[teoria gier|teorii gier]] ([[gra Ehrenfeuchta–Fraïsségo]])<ref>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"</ref>. 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 [[Grzegorz Rosenberg|Grzegorzem Rosenbergiem]] wygłosili odczyty na dwudniowym sympozium zorganizowanym z okazji 80
Ehrenfeuchtowi poświęcono specjalne wydania dwóch czasopism. Z okazji jego 65
== Bibliografia ==
|