<Back to Index>
- Mathematician, Logician and Philosopher Mojżesz Presburger, 1904
- Mathematician and Computer Scientist Andrzej Ehrenfeucht, 1932
PAGE SPONSOR
Mojżesz Presburger (1904 – 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski and is known for, among other things, having invented Presburger arithmetic as a student in 1929.
He was born in 1904 and died in a concentration camp.
In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award (named after Mojżesz Presburger) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science. Mikołaj Bojańczyk was the first recipient.
Andrzej Ehrenfeucht (born August 8, 1932) is a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht – Fraïssé game, using the back - and - forth method given by Roland Fraïssé in his thesis. The Ehrenfeucht – Mycielski sequence is also named after him.
Ehrenfeucht married Alfred Tarski'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.