Andrzej Ehrenfeucht - Andrzej Ehrenfeucht
Andrzej Ehrenfeucht | |
|---|---|
| narozený | 8. srpna 1932 |
| Národnost | Polský Američan |
| Alma mater | Varšavská univerzita |
| Vědecká kariéra | |
| Pole | Matematika |
| Instituce | University of Colorado v Boulderu |
| Doktorský poradce | Andrzej Mostowski |
| Doktorandi | David Haussler Eugene Myers Ross McConnell |
Andrzej Ehrenfeucht (Polština:[ˈAnd.ʐɛj ˈɛrɛnfɔjxt], narozen 8. srpna 1932) je a Polský Američan matematik a počítačový vědec. Formuloval Hra Ehrenfeucht – Fraïssé, za použití metoda tam a zpět dána Roland Fraïssé ve své disertační práci. The Ehrenfeucht – Mycielski sekvence je také pojmenoval podle něj.
Ehrenfeucht se oženil Alfred Tarski dcera Ina Tarski.[1] V roce 1971 byl zakládajícím členem Katedry výpočetní techniky na VŠE University of Colorado. Ehrenfeucht v současné době učí a provádí výzkum na University of Colorado, kde spolu s Patricií Baggettovou vede projekt „odtržení“. Cílem projektu je zvýšit zájem středoškoláků o matematiku a technologii pomocí praktických projektů.
Dva z jeho studentů, Eugene Myers a David Haussler, byli přispěvateli k sekvenování lidský genom. Haussler a Myers spolu s Haroldem Gabowem, Rossem McConnellem a Grzegorz Rozenberg vystoupil na dvoudenním sympoziu na počest jeho 80. narozenin, které se uskutečnilo na University of Colorado v roce 2012.[2]
Na jeho počest vyšla dvě čísla deníku, jedno k jeho 65. narozeninám v roce Přednášky z informatiky,[3] a jeden v 80. letech Teoretická informatika.[4]
Bibliografie
Knihy, jejichž autorem nebo spoluautorem je Ehrenfeucht, zahrnují:
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott a Grzegorz Rozenberg. Výpočet v živých buňkách: shromáždění genů u nálevníků. Springer, 2004. ISBN 3-540-40795-2
- Patricia Baggett a Andrzej Ehrenfeucht. Breaking Away from the Math Book: creative projects for grades K-6. ISBN 1-56676-299-5
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs. World Scientific, 1999. ISBN 981-02-4042-2
Ehrenfeuchtovy práce publikované v Fundamenta Mathematicae. Přístup prostřednictvím Wirtualna Biblioteka Nauki.
- Chen Chung Chang, Andrzej Ehrenfeucht, „Charakterizace abelianských skupin“, Fundamenta Mathematicae 51, č. 2, ss. 141-147 (1962).
- Andrzej Ehrenfeucht, „Aplikace her na problém úplnosti pro formalizované teorie“, Fundamenta Mathematicae 49, č. 2, ss. 129-141 (1960).
- Andrzej Ehrenfeucht, „Teorie kategorické v moci“, Fundamenta Mathematicae 44, č. 2, ss. 241-248 (1957).
- Andrzej Ehrenfeucht, Andrzej Mostowski, „Modely axiomatických teorií přijímajících automorfismy“, Fundamenta Mathematicae 43, č. 1, ss. 50-68 (1956).
Reference
- ^ Anita B. Feferman a Solomon Feferman, Alfred Tarski: Život a logika, Cambridge University Press, 2004. ISBN 0-521-80240-7, str. 239–242.
- ^ „80. narozeninové sympozium pro Andrzeje Ehrenfeuchta, významného profesora výpočetní techniky“. University of Colorado Boulder. Archivovány od originál dne 04.03.2016. Citováno 2012-08-19.
- ^ Jan Mycielski Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Esays in Honour of Andrzej Ehrenfeucht. Přednášky z informatiky 1261 Springer 1997, ISBN 3-540-63246-8, stránky I-X jsou k dispozici ke stažení. Zpřístupněno 29. 4. 2009
- ^ Rozenberg, G. (5. října 2012). „Formální a přírodní výpočty: pocta 80. narozeninám Andrzeje Ehrenfeuchta (zvláštní vydání)“. Teoretická informatika. 457: 1–180. doi:10.1016 / j.tcs.2012.07.015. Citováno 2012-09-14.
externí odkazy
- Web společnosti Ehrenfeucht na University of Colorado
- Odpoutání se od matematického webu
- Andrzej Ehrenfeucht na DBLP Bibliografický server
- Andrzej Ehrenfeucht na Matematický genealogický projekt
