Английская Википедия:Andrzej Ehrenfeucht
Шаблон:Infobox scientist Andrzej Ehrenfeucht (Шаблон:IPA-pol, born 8 August 1932) is a Polish-American mathematician and computer scientist.
Life
Andrzej Ehrenfeucht formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given in Roland Fraïssé's PhD thesis. Also named for Ehrenfeucht is the Ehrenfeucht–Mycielski sequence.
In 1971 Ehrenfeucht was a founding member of the Department of Computer Science at the University of Colorado at Boulder. He currently teaches and does research at the University, where he runs a project, "breaking away", with Patricia Baggett; the project, using hands-on activities, aims at raising high-school students' interest in mathematics and technology.
Two of Ehrenfeucht's students, Eugene Myers and David Haussler, contributed to the sequencing of the human genome. They, with Harold Gabow, Ross McConnell, and Grzegorz Rozenberg, spoke at a 2012 University of Colorado two-day symposium honoring Ehrenfeucht's 80th birthday.[1]
Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science,[2] and one at his 80th in Theoretical Computer Science.[3]
Private life
Ehrenfeucht married Alfred Tarski's daughter Ina Tarski.[4]
Bibliography
Books
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg, Computation in Living Cells: Gene Assembly in Ciliates, Springer, 2004, Шаблон:ISBN
- Patricia Baggett, Andrzej Ehrenfeucht, Breaking Away from the Math Book: Creative Projects for Grades K-6, Шаблон:ISBN
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg, The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs, World Scientific, 1999, Шаблон:ISBN
Papers
(accessible through Wirtualna Biblioteka Nauki)
- Chen Chung Chang, Andrzej Ehrenfeucht, "A Characterization of Abelian Groups", Fundamenta Mathematicae, vol. 51, no. 2, 1962, pp. 141-147.
- Andrzej Ehrenfeucht, "An Application of Games to the Completeness Problem for Formalized Theories", Fundamenta Mathematicae, vol. 49, no. 2, 1960, pp. 129-141.
- Andrzej Ehrenfeucht, "On Theories Categorical in Power", Fundamenta Mathematicae, vol. 44, no. 2, 1957, pp. 241-248.
- Andrzej Ehrenfeucht, Andrzej Mostowski, "Models of Axiomatic Theories Admitting Automorphisms", Fundamenta Mathematicae, 1956, vol. 43, no. 1, pp. 50-68.
See also
- List of Poles – Mathematics
References
External links
- Ehrenfeucht's website at the University of Colorado
- Breaking away from the mathbook website Шаблон:Webarchive
- Шаблон:DBLP
- Шаблон:MathGenealogy
- ↑ Шаблон:Cite web
- ↑ Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261 Springer 1997, Шаблон:ISBN, pages I-X available for download. Accessed 04-29-2009
- ↑ Шаблон:Cite journal
- ↑ Anita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. Шаблон:ISBN, pp. 239–242.
- Английская Википедия
- 1932 births
- Living people
- Scientists from Vilnius
- People from Wilno Voivodeship (1926–1939)
- 20th-century American mathematicians
- American computer scientists
- Polish emigrants to the United States
- Polish computer scientists
- University of Warsaw alumni
- University of Colorado Boulder faculty
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Английской Википедии