Andrzej Ehrenfeucht (ˈand.ʐɛj ˈɛrɛnfɔjxt, born August 8, 1932) is a Polish American

Polish American

A Polish American , is a citizen of the United States of Polish descent. There are an estimated 10 million Polish Americans, representing about 3.2% of the population of the United States...

 mathematician and computer scientist

Computer scientist

A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....

. He formulated the Ehrenfeucht–Fraïssé game

Ehrenfeucht–Fraïssé game

In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game is a technique for determining whether two structures...

, using the back-and-forth method

Cantor's 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...

 given by Roland Fraïssé

Roland Fraïssé

Roland Fraïssé was a French mathematical logician. He 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 two model-theoretic structures were elementarily equivalent...

 in his thesis. The Ehrenfeucht–Mycielski sequence

Ehrenfeucht–Mycielski sequence

The Ehrenfeucht–Mycielski sequence is a recursively defined sequence of binary digits with pseudorandom properties, defined by .-Definition:The sequence starts with the three bits 010; each successive digit is formed by finding the longest suffix of the sequence that also appears earlier within the...

 is also named after him.

Ehrenfeucht married Alfred Tarski

Alfred Tarski

Alfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...

's daughter Ina Tarski. Ehrenfeucht is currently teaching at the University of Colorado, where he runs the project "breaking away" together with Patricia Baggett. The project aims at raising high school students' interest in mathematics and technology with hands-on projects.

External links

• Ehrenfeucht's website at the University of Colorado
• Breaking away from the mathbook website