Andrzej Ehrenfeucht (, born 8 August 1932) is a

Polish-American Polish Americans ( pl, Polonia amerykańska) are Americans who either have total or partial Poles, Polish ancestry, or are citizens of the Republic of Poland. There are an estimated 9.15 million self-identified Polish Americans, representing abou ...

mathematician and

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

Life

Andrzej Ehrenfeucht formulated the Ehrenfeucht–Fraïssé game, using the

back-and-forth method In mathematical logic, especially set theory and model theory, the back-and-forth method is a method for showing isomorphism between countably infinite structures satisfying specified conditions. In particular it can be used to prove that * any t ...

given in

Roland Fraïssé Roland Fraïssé (; 12 March 1920 – 30 March 2008) was a French mathematical logician. Fraïssé received his doctoral degree from the University of Paris in 1953. In his thesis, Fraïssé used the back-and-forth method to determine whether t ...

'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 Eugene Wimberly "Gene" Myers, Jr. (born December 31, 1953) is an American computer scientist and bioinformatician, who is best known for contributing to the early development of the NCBI's BLAST tool for sequence analysis. Education Myers receiv ...

and David Haussler, contributed to the sequencing of the human genome. They, with Harold Gabow, Ross McConnell, and

Grzegorz Rozenberg Grzegorz Rozenberg (born 14 March 1942, Warsaw) is a Polish and Dutch computer scientist. His primary research areas are natural computing, formal language and automata theory, graph transformations, and concurrent systems. He is referre ...

, spoke at a 2012 University of Colorado two-day symposium honoring Ehrenfeucht's 80th birthday. Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science, and one at his 80th in Theoretical Computer Science.

Private life

Ehrenfeucht married Alfred Tarski's daughter Ina Tarski. Anita B. Feferman and Solomon Feferman, ''Alfred Tarski: Life and Logic'', Cambridge University Press, 2004. , pp. 239–242.

Bibliography

Books

* Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg, ''Computation in Living Cells: Gene Assembly in Ciliates'', Springer, 2004, * Patricia Baggett, Andrzej Ehrenfeucht, ''Breaking Away from the Math Book: Creative Projects for Grades K-6'', * Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg, ''The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs'', World Scientific, 1999,

Papers

(accessible throug
Wirtualna Biblioteka Nauki
*

Chen Chung Chang Chen Chung Chang (Chinese: 张晨钟) was a mathematician who worked in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He wrote the standard text on model th ...

, 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 Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma. Biography Born in Lemberg, Austria-Hungary, Mostowski entered University of Warsaw in 1931. He was ...

"Models of Axiomatic Theories Admitting Automorphisms"
'' Fundamenta Mathematicae'', 1956, vol. 43, no. 1, pp. 50-68.

References

External links

Ehrenfeucht's website
at the University of Colorado

* * {{DEFAULTSORT:Ehrenfeucht, Andrzej 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 faculty