Andrzej Ehrenfeucht
Encyclopedia
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

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK