Mojżesz Presburger

1

Mojżesz Presburger, or Prezburger, (December 27, 1904 – c. 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory. He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his matura from the School of Commerce of the Merchants' Meeting of Warsaw. On October 7, 1930, he was awarded master in mathematics from Warsaw University. He died in the Holocaust, probably 1943. In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him 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.

This article is derived from Wikipedia and licensed under CC BY-SA 4.0. View the original article.

Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.
Bliptext is not affiliated with or endorsed by Wikipedia or the Wikimedia Foundation.

Edit article